Opens in a new tab.
Home Notes About Projects
GitHub LinkedIn

#include "projects.h"

Things I’m making.

Tools, libraries, and experiments. Each card goes straight to its source.

struct project rescript_chai;
ReScript

rescript-chai

The Elm Architecture in ReScript, built on React and Zustand.

github.com/elias-michaias/rescript-chai →
struct project cpp_fx;
C++23

cpp-fx

Single-header algebraic effects with typed rows and compile-time checked handlers.

github.com/elias-michaias/cpp-fx →
struct project rrvm;
C

rrvm

A small zero-address VM that reconstructs stack code into Prolog-based SSA for optimization.

github.com/elias-michaias/rrvm →
struct project cpp_datatype;
C++20

cpp-datatype

Algebraic data types and exhaustive pattern matching without a heap or C++ runtime.

github.com/elias-michaias/cpp-datatype →
struct project c_trait;
C99–C23

c-trait

Header-only traits for C with zero-cost static and opt-in dynamic dispatch.

github.com/elias-michaias/c-trait →
struct project cpp_trait;
C++20

cpp-trait

Traits for C-style C++ with static dispatch, mixins, and optional type erasure.

github.com/elias-michaias/cpp-trait →