Pinned Repositories
ctrace
hobbes
A language and an embedded JIT compiler
mcvox
Minecraft Voxelizer
nixpkgs
Nix Packages collection
scm
A very simple Scheme interpreter for embedding in C++ programs
stlcc
Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
ww
A "lexerless" (unified lexer) LALR(1) parser generator supporting dynamic grammar modification
hobbes
A language and an embedded JIT compiler
nixpkgs
Nix Packages collection & NixOS
nixpkgs-channels
DEPRECATED! Use NixOS/nixpkgs repository instead.
kthielen's Repositories
kthielen/stlcc
Simply-typed lambda calculus (plus several features) -> x86 executables for Linux and Windows
kthielen/ww
A "lexerless" (unified lexer) LALR(1) parser generator supporting dynamic grammar modification
kthielen/mcvox
Minecraft Voxelizer
kthielen/scm
A very simple Scheme interpreter for embedding in C++ programs
kthielen/ctrace
kthielen/hobbes
A language and an embedded JIT compiler
kthielen/nixpkgs
Nix Packages collection