McCoy R. Becker

Jaynes.jl. E.T. Jaynes home phone.

abstraps. Pull your compiler up with abstract bootstraps.

programmable-vi-pldi-2024. Probabilistic programming with programmable variational inference.

genjax. Probabilistic programming with vectorized programmable inference

pistachio. A small, nutty dependently typed language.

Problox.jl. The world is everything that is the case.

wowcaml. Extending mincaml with "fun" PL ideas.

pollen-slides. Extensible slideshow maker using Pollen (Racket) and Remark.js

juju. From JAX computations to MAX graphs.

jax-badge. An awesome badge to highlight that your project uses JAX under the hood.

Synthesizer.jl. Switched-On Bayes.

roxanren. A Racket implementation of microKanren.

language-greenhouse. Growing languages with interpreters and staging.

patches. Mojo

baba-is-agi. Python implementation of Baba Is You designed for AI agent development. Features complete game engine, 120+ objects, and 14 puzzle environments.

lll_pp. Lobby/lunch/learn on probabilistic programming!

eopl-hs. Haskell implementations of the interpreters from Essentials of Programming Languages.

fun.lean. Mike Spivey's "Principles of Programming Languages" in Lean4.

Pyrox.jl. A convenient DSL for interfacing with Pyro through PyCall.

hascheme. A small Haskell implementation of a Scheme-like language.

untyped-lambda. Haskell

sudoku-solver. Racket

The-C-Programming-Language. Exercises and code from The C Programming Language.