-
mnemosyne Public
Forked from mnemosyne-proj/mnemosyneMnemosyne: efficient learning with powerful digital flash-cards.
Python Other UpdatedApr 14, 2026 -
pliron Public
Forked from vaivaswatha/plironAn Extensible Compiler IR Framework
Rust Apache License 2.0 UpdatedApr 9, 2026 -
-
-
MaMaCompiler Public
an implementation of the Maurer Machine, as described in "Compiler Design: Virtual Machines" by Wilhelm and Seidl
-
-
-
-
EssentialsOfCompilation Public
Working through "Essentials of Compilation" by Jeremy Siek
-
raylib-oxcaml Public
Forked from tjammer/raylib-ocamlOxCaml bindings for raylib and raygui
OCaml MIT License UpdatedDec 30, 2025 -
loco Public
Forked from loco-rs/loco🚂 🦀 The one-person framework for Rust for side-projects and startups
Rust Apache License 2.0 UpdatedAug 18, 2025 -
SchemaTypes Public
Dependently typed schema language for MUMPS
-
-
theloop-backend Public
SQL-based backend for a "facebook groups" style website
OCaml UpdatedSep 19, 2024 -
VirtualMachineCompiler Public
An Implementation of the C-Machine as described in "Compiler Design: Virtual Machines" by Wilhelm and Seidl
F# UpdatedSep 10, 2024 -
typedlua Public
Forked from andremm/typedluaAn Optional Type System for Lua
-
-
AbstractInterpretation Public
working through "Principles of Abstract Interpretation" exercises in F#
F# UpdatedJan 8, 2023 -
-
-
levitate Public
Utilities for verified floating-point computation in Haskell: Controlled rounding, interval arithmetic, and affine arithmetic.
-
ray-tracing-in-a-weekend Public
An implementation of Peter Shirley's "Ray Tracing in One Weekend"
C++ UpdatedAug 31, 2019 -
-
website Public
Forked from heathermiller/websiteSource for website at
Racket GNU General Public License v2.0 UpdatedNov 19, 2017 -
agda-hang Public
causes the agda compiler 2.5.2 to hang, uses standard library 0.13
Agda UpdatedAug 21, 2017 -
hopl-s2017 Public
Forked from nuprl/hopl-s2017History of Programming Languages, Spring 2017
-
-
kind2 Public
Forked from chsticksel/kind2Multi-engine SMT-based automatic model checker for safety properties of Lustre programs
OCaml Apache License 2.0 UpdatedAug 8, 2014
{{ message }}