leostera.com

Coding.

Apps I've built and open-source projects I've made, from inbox tools to actor runtimes and language experiments.

Apps

Open source

19 projects
Selected GitHub repositories
DescriptionRepository
RiotArchivedA multicore actor scheduler for OCaml 5.CategoryPLT & runtimesLanguagesOCamlGitHub
CaramelArchivedA language and compiler for building type-safe applications on the Erlang VM.CategoryPLT & runtimesLanguagesOCaml, ErlangGitHub
LAMArchivedA lightweight actor-model VM for native and WebAssembly targets.CategoryPLT & runtimesLanguagesRustGitHub
ReActorArchivedNative actors for Reason and OCaml.CategoryPLT & runtimesLanguagesOCamlGitHub
Riot stackAn opinionated OCaml stack for tooling, packages, and applications.CategoryDeveloper toolsLanguagesOCaml, TypeScriptGitHub
MintteaA terminal UI framework for OCaml.CategoryLibrariesLanguagesOCamlGitHub
Reason Design PatternsAn unofficial collection of design patterns for ReScript, Reason, and OCaml.CategoryWeb & referenceLanguagesReasonGitHub
EmDash PluginsEmDash plugins, starting with a Substack importer.CategoryDeveloper toolsLanguagesTypeScript, JavaScriptGitHub
EvalKitAgent evaluations as TypeScript, with scenarios, checkpoints, and reports.CategoryAgent toolingLanguagesTypeScriptGitHub
LibClankTyped agentic workflows with durable local execution.CategoryAgent toolingLanguagesTypeScriptGitHub
FlareMLA finite systems modeling language with a Rust model checker.CategoryPLT & runtimesLanguagesRust, TypeScriptGitHub
Riot LangAn experimental language implementation in Rust.CategoryPLT & runtimesLanguagesRustGitHub
LintbookA reproducible multi-language linter.CategoryDeveloper toolsLanguagesRust, PythonGitHub
DatafoxA Datalog parser and streaming query engine for caller-owned facts.CategoryPLT & runtimesLanguagesRustGitHub
ZerdeA comptime-fused serialization library for Zig.CategoryLibrariesLanguagesZigGitHub
AgentsA Rust toolkit for building and evaluating type-safe, composable agents.CategoryAgent toolingLanguagesRustGitHub
tldr.jsxArchivedA reactive web client for the tldr-pages collection.CategoryWeb & referenceLanguagesJavaScript, SassGitHub
WarpA build system written primarily in Rust.CategoryDeveloper toolsLanguagesRust, Elixir, JavaScriptGitHub
HTTPKitArchivedHTTP clients and servers for Reason and OCaml.CategoryLibrariesLanguagesOCamlGitHub
More projects on GitHub