marsam
Follow
Stars
3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
A visual catalogue + story of morphisms displayed across computational structures.
Envision a world where every student can read all the code of a teaching operating system.
x86 C compiler written in untyped lambda calculus
Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023
A Scheme-like CBPV language with Racket Interoperability
A small and portable Scheme implementation with AOT and incremental compilers that fits in 4K. It supports closures, tail calls, first-class continuations and a REPL.
A mixture of tooling combined to produce JavaScript from OCaml & Reason
Robust multi-prompt delimited control and effect handlers in C/C++
A repository for the material of my course on lambda-calculus and categories
Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]
Denxi is a programming model for distributing data. It reduces the cost of producing package managers, storefronts, operating systems, and CI/CD systems.
Darklang main repo, including language, backend, and infra
A purely functional programming language with first class types
PhD research ;; What's the difference between a typeclass/trait and a record/class/struct? Nothing really, or so I argue.
A Certified Interpreter for ML with Structural Polymorphism
mimalloc is a compact general purpose allocator with excellent performance.
A prototype programming language for programming with runners
Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University
Bibliography of Scheme research (readscheme.org and beyond)
Parsing, analyzing, and comparing source code across many languages