-
An unassuming language with a way to create code in macros using hygienic code interpolation
-
category-theory-in-context Public
Solving the exercises from the book "Category Theory in Context" by Emily Riehl, in Lean
Lean BSD 3-Clause "New" or "Revised" License UpdatedMay 18, 2026 -
learn-dos-assembly Public
A self-learning course for 386 assembly language in DOS
Assembly GNU General Public License v3.0 UpdatedMay 17, 2026 -
ReintroductionToProofs Public
Forked from emilyriehl/ReintroductionToProofsA game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.
Lean MIT License UpdatedMay 15, 2026 -
cee-mozz Public
A C implementation of a runtime for Mozzarella
C GNU General Public License v3.0 UpdatedMay 14, 2026 -
wasm Public
Collected information about WebAssembly, going through features from all the major releases, and mechanizations
GNU General Public License v3.0 UpdatedMay 4, 2026 -
mcga-pico8 Public
Using the PICO-8 palette in MCGA mode (13h) in DOS assembly
Assembly GNU General Public License v3.0 UpdatedMay 2, 2026 -
keyboard-event-demo Public
A brief exploration for installing a new keyboard handler (more suited for games) in x86/DOS assembly
Assembly GNU General Public License v3.0 UpdatedApr 28, 2026 -
spec Public
Forked from WebAssembly/specWebAssembly specification, reference interpreter, and test suite.
WebAssembly Other UpdatedApr 7, 2026 -
generate-license-key Public
Just toying around with Ember Octane a little
JavaScript UpdatedFeb 13, 2026 -
-
bel Public
An interpreter for Bel, Paul Graham's Lisp language
-
ipso Public
A metacircular Lisp in TypeScript
-
noa-springkids Public
A website for Noa's games, music, fiction, and art
JavaScript UpdatedSep 18, 2025 -
noas-capybara Public
A web page by Noa, about capybaras
HTML Creative Commons Zero v1.0 Universal UpdatedMar 15, 2025 -
alma Public
ALgoloid with MAcros -- a language with Algol-family syntax where macros take center stage
-
-
lambda-calculus Public
An implementation of Church's untyped lambda calculus in JavaScript
-
epistemic-puzzle Public
Solving the puzzle with Mr. P and Mr. S and what they know about each other's knowledge
Perl UpdatedJun 10, 2024 -
Tracing where features and concepts come from in programming languages
-
syntax-driven Public
A literate document about doing syntax-driven compilation of the Bel primitives
-
-
-
-
git-btree Public
Captures people's intuition about branches having parent branches, and shows them as a tree
-
-
funkylang Public
An exercise in writing an evaluator in two different styles
TypeScript GNU General Public License v3.0 UpdatedJan 25, 2023 -
algo-t-visualization Public
A visualization of Algorithm 2.2.3.T from TAoCP
TypeScript UpdatedJan 4, 2023 -
-
delta-language Public
A language with a focus on control flow
{{ message }}