robsimmons

abbot

Generation of abstract binding trees

dusa

A petrifyingly good logic programming language

sketchzone

Quality-of-life for fiddly little JS apps that modify user-generated text

twelf-wasm

Run Twelf in the browser with wasm and WASI

agda-typescript-starter

An attempt at relatively straightforward integration of Agda into a Typescript project

twelflive

aspis

astro-test-mdx-bug

batsat

A CatSAT implementation for the browser 🦇

botany

chris-fp-exhib

cryptopals

Rob does the Cryptopals challenges at Recurse Center. Spoilers!!!

dinnik

docassemble

A free, open-source expert system for guided interviews and document assembly, based on Python, YAML, and Markdown.

docassemble-unfork

dusa-benchmarking

Benchmarking for the Dusa programming language and comparison with similar systems

huckleberry

lambdas

Returning to intrinsically typed nonsense

micromark

small, safe, and great commonmark (optionally gfm) compliant markdown parser

minimalish-django-starter

Django boilerplate starter kit & easy deployment to render.com

mlton

The MLton repository

plfa.github.io

An introduction to programming language theory in Agda

radix-docs-website

Website and documentation for Radix.

redera

rendero

simple-typescript-starter

Fork of stemmlerjs/simple-typescript-starter, a simple node+typescript project

sketchzone-disco

Using sketchzone as a static Vite site on Disco

twelf-live

twelf-wiki-archive

Backup of the start-of-2024 Twelf wiki

virtu-rob-dom

Small demo of how virtual DOMs work