minsungc
I am but a shrimp, perhaps fried in tempura batter.
@Northeastern and currently @RelationalAI
Pinned Repositories
abaplotv2
minsung tinkers with monads for smart choices
ase-paper
ase paper 2023
aseproject2023
ASE project sp2023
bbfny
bbtink
bbtink
bngen
Generates Dice code from Bayesian networks
calculator-lf-man-freed
carhw
Computer Aided Reasoning HW NEU F22
dappl-in-25-lines-of-eff
dappl in 25 lines of eff
rsdd
Performant and safe knowledge compilation in rust
minsungc's Repositories
minsungc/aseproject2023
ASE project sp2023
minsungc/abaplotv2
minsung tinkers with monads for smart choices
minsungc/ase-paper
ase paper 2023
minsungc/bbfny
minsungc/bbtink
bbtink
minsungc/bngen
Generates Dice code from Bayesian networks
minsungc/calculator-lf-man-freed
minsungc/carhw
Computer Aided Reasoning HW NEU F22
minsungc/dappl-in-25-lines-of-eff
dappl in 25 lines of eff
minsungc/freedice
free dice rolls for all!
minsungc/LeanCR
minsungc/minsungc
Config files for my GitHub profile.
minsungc/minsungc.github.io
webpage
minsungc/model-counting
Research on verified model counting
minsungc/problog
my own fork of problog
minsungc/rsdd-dappl
Performant and safe knowledge compilation in rust (forked for dappl experiments)
minsungc/rsdd-ocaml-dappl
OCaml bindings for RSDD (through C interop) (forked for dappl experiments)