Minsung Cho's repositories
rsdd-ocaml-dappl
OCaml bindings for RSDD (through C interop) (forked for dappl experiments)
Language:Rust000
rsdd-dappl
Performant and safe knowledge compilation in rust (forked for dappl experiments)
Language:RustMIT000
minsungc.github.io
webpage
Language:TeX000
dappl-in-25-lines-of-eff
dappl in 25 lines of eff
000
freedice
free dice rolls for all!
Language:HaskellNOASSERTION000
Language:Dafny000
bbtink
bbtink
Language:TeX000
abaplotv2
minsung tinkers with monads for smart choices
Language:Lean000
aseproject2023
ASE project sp2023
ase-paper
ase paper 2023
Language:TeX000
carhw
Computer Aided Reasoning HW NEU F22
Language:Common Lisp000
problog
my own fork of problog
000
Language:Lean000
bngen
Generates Dice code from Bayesian networks
000
model-counting
Research on verified model counting
MIT000
minsungc
Config files for my GitHub profile.
000