Stars
A compiler for an experimental programming language that produces tiny Linux binaries (ELF x86_64) without LLVM dependency!
Dependently typed programming language implemented in Literate Haskell.
A benchmark suite for the OCaml compiler
Compiler and tools for the L programming language
Examples to illustrate the use of algebraic effects in Multicore OCaml
Vox language compiler. AOT / JIT / Linker. Zero dependencies
A high-level, safe, zero-allocation TrueType font parser.
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
🚀 Ideas for everyone under a CC licence. Feel free to use. I'll send you a postcard if you build anything on this list.
A weekly(-ish and (very) informal) Point-Free study group.
aidanhb / tinyland
Forked from gwillen/tinylandA very small Dynamicland.
A small nanopass compiler from a subset of Scheme to C. (Developed for Clojure Conj 2013)
Cycle-accurate NES emulator in ~1000 lines of code
NEW ugrep 7.0: a more powerful, ultra fast, user-friendly, compatible grep. Includes a TUI, Google-like Boolean search with AND/OR/NOT, fuzzy search, hexdumps, searches (nested) archives (zip, 7z, …
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Collection of Nim implementations for The Computer Language Benchmarks Game
A simple, yet aHmazing arabic programming language meant to light up your day
Reverse engineering focusing on x64 Windows.
A collection of ergonomic split keyboards ⌨
A simple framework for rapid prototyping on Vulkan or Direct3D 12
The spec for "ANSI Escape sequences" in searchable, linkable form