Projects
-
Cure
Dependently typed programming language for the BEAM with first-class FSMs and OTP concurrency.
Active BEAMErlangElixirDependent TypesFSMCompiler -
ArtShrink
Interactive psychographic temperament sorter mapping MBTI and Keirsey archetypes via Decathlon betting choices.
Active ElixirPhoenixLiveViewPsychometricsTailwind CSS -
Yoke
An agentic CLI coding harness for DeepSeek models β Agentic coding on the BEAM.
Active ElixirErlang/OTPDeepSeekMCP -
Ragex
Ask your codebase anything. In any language.
Active ElixirMCPBumblebeeETSRAG -
dllb
AST-oriented database engine with comprehensive query language
Active RustredbTantivyHNSWElixir client -
Marcli
Markdown, but it belongs in your terminal.
Active ElixirMDExANSIMakeup -
Finitomata
Stop writing FSM plumbing. Start writing business logic.
Active ElixirOTPGenServerFSM -
Metastatic
Cross-language code analysis through unified MetaAST representation.
Active ElixirMetaASTMOFAST -
Joerl
Erlang/OTP-inspired lightweight actor framework in Rust.
Active RustActorsOTPAsync -
Telemetria
Automatic function telemetry macro with compile-time instrumentations.
Active ElixirTelemetryMacrosObservability -
Muex
AST-driven mutation testing tool for Elixir applications.
Active ElixirMutation TestingASTQuality Assurance -
Oeditus Credo
58 custom static analysis checks for Credo in Elixir codebase quality.
Active ElixirCredoStatic AnalysisCode Quality -
Propwise
AST-based property-based testing candidate analyzer for Elixir.
Active ElixirProperty TestingStreamDataAST Analysis -
Typle
Expression-level compile-time type query and introspection library.
Active ElixirType SystemMacrosCompile-Time -
Yeesh
LiveView xterm.js terminal integration with Dune sandbox isolation.
Active ElixirPhoenix LiveViewxterm.jsSandboxDune -
ExPanda
Full macro expansion engine for Elixir AST introspection and debugging.
Active ElixirMacro ExpansionASTDebugging