Pinned Repositories
abbot
Generation of abstract binding trees
agda-lib
A standard library for Agda
cmu-thesis
Latex starters for creating a CMU thesis or thesis proposal
dusa
A petrifyingly good logic programming language
functioning
Functioning: A Game Framework based on SDL for Standard ML
l10
The L10 Logic Programming Language
levy
A fork of Levy, originally by Bauer and Pretnar. The 'master' branch has some minor code fixes, more examples, and a top-level 'do' notation, the 'modprec' branch fiddles with the parser, and the 'datatype' branch totally changes the parser (damn you, reduce/reduce errors) and adds support for user-defined datatypes. The 'holey' branch is highly experimental; I am using it to explore some ideas in generic programming.
sketchzone
Quality-of-life for fiddly little JS apps that modify user-generated text
sml-lib
Library for Standard ML
twelf-wasm
Run Twelf in the browser with wasm and WASI
robsimmons's Repositories
robsimmons/dusa
A petrifyingly good logic programming language
robsimmons/abbot
Generation of abstract binding trees
robsimmons/sketchzone
Quality-of-life for fiddly little JS apps that modify user-generated text
robsimmons/twelf-wasm
Run Twelf in the browser with wasm and WASI
robsimmons/agda-typescript-starter
An attempt at relatively straightforward integration of Agda into a Typescript project
robsimmons/twelflive
robsimmons/aspis
robsimmons/astro-test-mdx-bug
robsimmons/batsat
A CatSAT implementation for the browser 🦇
robsimmons/botany
robsimmons/chris-fp-exhib
robsimmons/cryptopals
Rob does the Cryptopals challenges at Recurse Center. Spoilers!!!
robsimmons/dinnik
robsimmons/docassemble
A free, open-source expert system for guided interviews and document assembly, based on Python, YAML, and Markdown.
robsimmons/docassemble-unfork
robsimmons/dusa-artifact
work-in-progress for POPL 2025 paper
robsimmons/dusa-benchmarking
Benchmarking for the Dusa programming language and comparison with similar systems
robsimmons/huckleberry
robsimmons/lambdas
Returning to intrinsically typed nonsense
robsimmons/micromark
small, safe, and great commonmark (optionally gfm) compliant markdown parser
robsimmons/minimalish-django-starter
Django boilerplate starter kit & easy deployment to render.com
robsimmons/plfa.github.io
An introduction to programming language theory in Agda
robsimmons/radix-docs-website
Website and documentation for Radix.
robsimmons/redera
robsimmons/rendero
robsimmons/simple-typescript-starter
Fork of stemmlerjs/simple-typescript-starter, a simple node+typescript project
robsimmons/sketchzone-disco
Using sketchzone as a static Vite site on Disco
robsimmons/twelf-live
robsimmons/twelf-wiki-archive
Backup of the start-of-2024 Twelf wiki
robsimmons/virtu-rob-dom
Small demo of how virtual DOMs work