shuhung's repositories
raco-test-with-errortrace
Invoke `raco test` with `errortrace` on
chop-esop-supplementary
Supplementary Materials for Sound and Complete Higher-Order Concolic Testing
dynamics-tools-notes
Tools for Programming Languages, Fall 2021
abstract-binding-trees
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
agda
Agda is a dependently typed programming language / interactive theorem prover.
agda-mode-vscode
agda-mode on VS Code
agda-stdlib
The Agda standard library
auriga
For of anishathalye/auriga, a minimalist LaTeX beamer presentation theme
cadnr
car, cdr, caaaaddddr, and everything in between.
drracket
DrRacket, IDE for Racket
esterel
Esterel in Racket
just-to-look-at-the-default-gitignore
just-to-look-at-the-default-gitignore
magic-racket
The best coding experience for Racket in VS Code
racket
The Racket repository
racket-commonmark
Fast, CommonMark-compliant Markdown parser written in Racket
racket-utils
Utility functions for creating Racket pretty-print hooks.
rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
stxlogicalrel
stxlogicalrel
testforkbuild
test build fork
typed-racket
Typed Racket