Research project: directed/modal type theory without the complexity.

general code generator

MARS.EXE to MARS.COM

A programming language for transpiled libraries.

Components of programming languages, all implemented in self-contained files

Use Zod Schemas to create OpenAPI v3.x documentation

🚀 A hand-curated list of free, open, and developer-friendly APIs

egg is a flexible, high-performance e-graph library

A fast, flexible, fused effect system for Haskell

Platform independent low-level JIT compiler

A markup-based typesetting system that is powerful and easy to learn.

A work-in-progress language and compiler for verified low-level programming

A fast high-compression read-only file system for Linux, FreeBSD, macOS and Windows

An overview of property-based testing functionality

Spacedrive is an open source cross-platform file explorer, powered by a virtual distributed filesystem written in Rust.

A scalable, distributed, collaborative, document-graph database, for the realtime web

A blend of @preact/signals-core and solid-js basic reactivity API

The best C-like language that can be implemented in 10kLOC.

Array of Struct to Struct of Array helpers in Rust

Ultra-compact storage for collections of enums 🌱

Fast equality saturation in Haskell

Koka language compiler and interpreter

A fast, friendly, functional language.

A statically-typed functional language with generics, typeclasses, sum types, pattern-matching, first-class functions, currying, algebraic effects, associated types, good diagnostics, etc.

An automatic and non-domain-specific image morphing algorithm that doesn't require manual keypoints

Filters to block and remove copycat-websites from DuckDuckGo, Google and other search engines. Specific to dev websites like StackOverflow or GitHub.

😵 GitHub achievements that did not make the cut.