Geek Repo
followers
following
stars
Location:New York, NY
Github PK Tool:Github PK Tool
Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
A "lexerless" (unified lexer) LALR(1) parser generator supporting dynamic grammar modification
Minecraft Voxelizer
A very simple Scheme interpreter for embedding in C++ programs
A language and an embedded JIT compiler
Nix Packages collection