rntz

rotten

Demo of Ken Thompson's Reflections on Trusting Trust as a tiny lisp compiler

minikanren-datalog

Datalog implemented in minikanren

moxy

Language with monoidally extensible syntax

liberis

lisp bytecode vm

ukanren

Playing around with microKanren (in Haskell)

StreamSet

lazy potentially infinite streamable sets in Haskell

quelle

datalog for queries and linear logic for state transitions

unidirectional-inference

Bidirectional type inference with wildcards, or "unidirectional type inference"

cam-rust

Simple functional VM based on Categorical Abstract Machine, implemented in Rust

curry-howard-slides

deriv-parsing

Exploring "Parsing with Derivatives"

fixflow

Investigating recursive dataflow for computing fixed points

infix-calculator

Arithmetic calculator with customizable infix operators

plt-ideas-bot

Twitter bot generating PLT ideas by mashing up previous ideas

500lines

500 Lines or Less

botwillacceptanything

The project where anything goes, as long as the code allows it

byterun

A Python implementation of a Python bytecode runner

cam

Consistency as monotonicity, full stop

cider

CIDER is a Clojure Interactive Development Environment that Rocks for Emacs

elm-mode

Elm mode for emacs

forthyr

libunwind

monoid-slides

Some slides explaining monoids and semilattices, using reveal.js

noapp

Racket with explicit function calls; no implicit #%app!

parse-dsl

Experimenting with syntax for a parser-combinator dsl.

pyston

An open-source Python implementation using JIT techniques.

racket-mode

GNU Emacs major modes for Racket: Edit and REPL.

s5

S5 modal logic, judgmentally?

tiny-session-types

Toy implementation of a session-typed language for learning purposes

wasm

Playing around with webassembly.