Pinned Repositories
chop-esop-supplementary
Supplementary Materials for Sound and Complete Higher-Order Concolic Testing
compiler13hw
HaskellExercise
studying Haskell
iromacros
itact14-xpeg
mintexpp
A minimal scribble-style tex preprocessor inspired by Pollen.
raco-test-with-errortrace
Invoke `raco test` with `errortrace` on
system-f
shhyou's Repositories
shhyou/raco-test-with-errortrace
Invoke `raco test` with `errortrace` on
shhyou/mintexpp
A minimal scribble-style tex preprocessor inspired by Pollen.
shhyou/chop-esop-supplementary
Supplementary Materials for Sound and Complete Higher-Order Concolic Testing
shhyou/dynamics-tools-notes
Tools for Programming Languages, Fall 2021
shhyou/iromacros
shhyou/abstract-binding-trees
Abstract binding trees (abstract syntax trees plus binders), as a library in Agda
shhyou/agda
Agda is a dependently typed programming language / interactive theorem prover.
shhyou/agda-mode-vscode
agda-mode on VS Code
shhyou/agda-stdlib
The Agda standard library
shhyou/auriga
For of anishathalye/auriga, a minimalist LaTeX beamer presentation theme
shhyou/bain-cs111-web-fork
Public facing site that students will access for downloading course materials (DOES NOT INCLUDE SOLUTIONS). Live == Public
shhyou/cadnr
car, cdr, caaaaddddr, and everything in between.
shhyou/drracket
DrRacket, IDE for Racket
shhyou/esterel
Esterel in Racket
shhyou/homepage
shhyou.github.io
shhyou/htdp
shhyou/just-to-look-at-the-default-gitignore
just-to-look-at-the-default-gitignore
shhyou/magic-racket
The best coding experience for Racket in VS Code
shhyou/pollen
book-publishing system in Racket
shhyou/racket
The Racket repository
shhyou/racket-commonmark
Fast, CommonMark-compliant Markdown parser written in Racket
shhyou/racket-langserver
shhyou/racket-utils
Utility functions for creating Racket pretty-print hooks.
shhyou/rosette
The Rosette solver-aided host language, sample solver-aided DSLs, and demos
shhyou/scribble
shhyou/shhyou.github.io
shhyou/string-constants
shhyou/stxlogicalrel
stxlogicalrel
shhyou/testforkbuild
test build fork
shhyou/typed-racket
Typed Racket