Pinned Repositories
amath
An AsciiMath to MathML parser written in C.
cmsc388f
This is the public repository for CMSC 388F.
contract-etc
Miscellaneous contracts.
corpse-reviver
Sound and efficient gradual typing via contract verification.
gym-kidney
OpenAI Gym environment for kidney exchange.
knuth-morris-pratt
red-black-tree
redex-parameter
Parameters for extensions in Redex.
trace-contract
typeical
An interactive visualization of run-time type data for the R programming language.
camoy's Repositories
camoy/corpse-reviver
Sound and efficient gradual typing via contract verification.
camoy/trace-contract
camoy/contract-etc
Miscellaneous contracts.
camoy/amath
An AsciiMath to MathML parser written in C.
camoy/knuth-morris-pratt
camoy/red-black-tree
camoy/redex-parameter
Parameters for extensions in Redex.
camoy/gym-kidney
OpenAI Gym environment for kidney exchange.
camoy/typeical
An interactive visualization of run-time type data for the R programming language.
camoy/cmsc388f
This is the public repository for CMSC 388F.
camoy/effect-racket
camoy/private-in
Require private bindings.
camoy/struct-set
camoy/automata
automata - macros to build automata over match patterns
camoy/draw
camoy/ee-lib
camoy/lean4-assert-command
A simple assertion command for Lean4
camoy/meta
Associate metadata with values.
camoy/nuprl-website
Source for PRL website
camoy/pict
camoy/plot
camoy/psi
Exact Inference Engine for Probabilistic Programs
camoy/racket
The Racket repository
camoy/redex-etc
Miscellanea for Redex.
camoy/rsdd
Performant and safe knowledge compilation in rust
camoy/soft-contract
A prototype of soft contract verification for an untyped functional language
camoy/stream-etc
Miscellaneous stream operations.
camoy/visr-deps