leostera

followers

following

stars

@AbstractMachinesLab

Stockholm

https://abstractmachines.dev

Organizations

AbstractMachinesLab

esl

ocaml-tui

preservim

serde-ml

warp-build

Leandro Ostera's repositories

tldr.jsx

📚 A Reactive web client for tldr-pages

Language:JavaScriptMIT1537 15 76

httpkit

⚡️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml

Language:OCaml202 14 11

cactus

🌵A composable static site generator

Language:Reason66 3 5

hotstuff

:fire: Composable, incremental, turnkey document compiler

Language:RustMIT21 30

erlang-gui

An experiment in building high-performance, native graphical user interfaces in Erlang

Language:Erlang6 2 1

asdf

:bug: Random code snippets

Language:IdrisMIT4 20

PhantomSDL

:space_invader: A game engine I was building when I was 14

Language:C3 20

monaco-editor

A browser based code editor

Language:JavaScriptMIT1 10

ocaml-rs

OCaml extensions in Rust

Language:RustISC1 10

rust-nif-dojo

Small dojo to write Safe and Fast NIFs in Rust(ler)

Language:Elixir100

atom

:atom: The hackable text editor

Language:JavaScriptMIT010

bisect-starter-dune

Bisect_ppx + Dune starter repo

Language:OCaml010

dune

A composable build system for OCaml.

Language:OCamlMIT010

env_logger

A logging implementation for `log` which is configured via an environment variable.

Language:RustApache-2.0010

erlyberly

erlang tracing for the masses

Language:JavaGPL-3.0010

flate2-rs

DEFLATE, gzip, and zlib bindings for Rust

Language:CApache-2.0010

fluro

Fluro is a Flutter routing library that adds flexible routing options like wildcards, named parameters and clear route definitions.

Language:DartNOASSERTION010

gleam

⭐️ A statically typed language for the Erlang VM

Language:RustApache-2.0010

hamler

Haskell-style functional programming language running on Erlang VM.

Language:HaskellBSD-3-Clause010

hardcaml

Hardcaml is an OCaml library for designing hardware.

Language:OCamlMIT010

LISP-Machine

Archive of LISP Machine, Inc.

Language:Common Lisp010

neovim

Vim-fork focused on extensibility and agility.

Language:Vim ScriptNOASSERTION020

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

Language:SchemeApache-2.0010

opentelemetry-erlang-api

Erlang/Elixir OpenTelemetry API

Language:ErlangApache-2.0010

opentelemetry_zipkin

Zipkin exporter for OpenTelemetry Erlang/Elixir

Apache-2.0000

org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Language:JavaNOASSERTION010

rust-skia

Safe Skia Bindings for Rust

MIT000

serbet

A simple ReasonML server on top of Express.js and Node.js

000

skulpin

Skia + Vulkan = Skulpin

Apache-2.0000

tree-sitter

An incremental parsing system for programming tools

Language:RustMIT010