Awesome List of frameworks, libraries, tutorials, cheatsheets, softwares, tools, plugins...

Site web

A SKI combinators interpreter written in assembly

A programmable virtual CPU written in untyped lambda calculus

Awesome Typst Links

Launch external tools inside colorful fifo buffers and display text with ansi colors in info boxes

A Compiler Writing Journey

A cross-platform, fast and extensible general purpose fuzzy finder TUI 📺

Programming language for literate programming law specification

Meta Lingua: a lean, efficient, and easy-to-hack codebase to research LLMs.

The CompCert formally-verified C compiler

A Lisp interpreter implemented in Conway's Game of Life