Pinned Repositories
agda-stuff
Category theory, and other things, in Agda
categorical-semantics
Categorical semantics in Agda
cocategory-logic
existentialist
A package for working with heterogenous lists using existential types
fun-suslik
locales
MetaForth
A natively compiled Forth implementation with delayed evaluation (similar to Lisp-style quoting)
rewrite-logic
A simple proof assistant based on string rewriting (work in progress)
sokoban-web
A simple implementation of the Sokoban game using ASCII art with Blank Canvas
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
roboguy13's Repositories
roboguy13/cocategory-logic
roboguy13/fun-suslik
roboguy13/suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
roboguy13/locales
roboguy13/utlc-eval
Web-based evaluator for the untyped lambda calculus extended with a print primitive. Also has a definitions panel
roboguy13/agda-stuff
Category theory, and other things, in Agda
roboguy13/categorical-semantics
Categorical semantics in Agda
roboguy13/Pika-agda
A formal model of the semantics of Pika and the semantics of synthetic separation logic
roboguy13/PikaC
roboguy13/agda
Agda is a dependently typed programming language / interactive theorem prover.
roboguy13/anf-example
roboguy13/architect
roboguy13/class-invs
roboguy13/djinn
Generate Haskell code from a type
roboguy13/egret
Equational reasoning tool
roboguy13/eq-calc
roboguy13/judge
roboguy13/lambda-calculus
roboguy13/minima
Minima is a one-size-fits-all Jekyll theme for writers.
roboguy13/module-transform
roboguy13/patterns
roboguy13/pldi-se
roboguy13/propagator-synth
roboguy13/rewrite-parser
roboguy13/SpectreGuard
Data-centric defense mechanism against Spectre attacks. (DAC'19)
roboguy13/stratify
roboguy13/suslik-adt
roboguy13/synapse
Tool for making and working with systems of inference rules
roboguy13/valigen
roboguy13/wordle-solver