zacque0's Stars
rui314/chibicc
A small C compiler
whily/yalo
Lisp OS running on bare metal x86-64 hardware (WIP)
Sodel-the-Vociferous/baremetal-lisp
One of my earliest projects: a toy lisp interpreter that runs on bare hardware
cldm/cl-semver
Semantic Versions handling in Common Lisp
cldm/cldm
Common Lisp Dependency Manager
nikitadanilov/3-lisp
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
woodrush/lambdalisp
A Lisp interpreter written in untyped lambda calculus
woodrush/lambdacraft
Common Lisp DSL for building untyped lambda calculus expressions
monoid/TypeL
Toy typed language with Lisp syntax
dym/movitz
Movitz: a Common Lisp x86 development platform
jscl-project/jscl
A Lisp-to-JavaScript compiler bootstrapped from Common Lisp
mishoo/SLip
A Lisp system for the browser
cl-model-languages/cl-prolog2
Common Interface to ISO Prolog implementations from Common Lisp
steshaw/plt
Programming Language Theory λΠ
hz7k-nzw/rabbit
A small experiment about the RABBIT compiler.
surabax/Minerva
An implementation of R5RS Scheme in Common Lisp and C.
lisp-mirror/airship-scheme
Scheme in Common Lisp - https://gitlab.com/mbabich/airship-scheme
jar398/pseudoscheme
Scheme to Common Lisp
theartofcomputerprogramming/mmixsamples
Sample code in MMIX assembly language
binghe/OSCAR
The OSCAR Project: the general-purpose defeasible reasoner and architecture for a rational agent
Elderry/TaPL-SML
Accompanying code for "Types and Programming Languages", ported to Standard ML
ethan-leba/tree-edit
🌲 Structural editing in Emacs for any™ language!
AmaiKinono/puni
Structured editing (soft deletion, expression navigating & manipulating) that supports many major modes out of the box.
CommonDoc/parenml
An S-expression markup language
wmannis/cl-gambol
Basic Prolog functionality for Common Lisp
theoremprover-museum/LEGO
the source archive for LEGO: an interactive proof development system for various type theories
chrisamaphone/lfinlf
Mechanized metatheory of LF in Twelf.
minoki/LunarML
The Standard ML compiler that produces Lua/JavaScript
melsman/mlkit
Standard ML Compiler and Toolkit
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.