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
Language:Lean00
ase-paper
ase paper 2023
Language:TeX00
aseproject2023
ASE project sp2023
Language:Jupyter Notebook1 1 00
bbfny
Language:Dafny00
bbtink
bbtink
Language:TeX00
bngen
Generates Dice code from Bayesian networks
Language:OCaml00
calculator-lf-man-freed
Language:Python00
carhw
Computer Aided Reasoning HW NEU F22
Language:Common Lisp00
dappl-in-25-lines-of-eff
dappl in 25 lines of eff
00
rsdd
Performant and safe knowledge compilation in rust
Language:Rust20 6 99

minsungc's Repositories

minsungc/aseproject2023
ASE project sp2023
Language:Jupyter Notebook1 1 00
minsungc/abaplotv2
minsung tinkers with monads for smart choices
Language:Lean00
minsungc/ase-paper
ase paper 2023
Language:TeX00
minsungc/bbfny
Language:Dafny00
minsungc/bbtink
bbtink
Language:TeX00
minsungc/bngen
Generates Dice code from Bayesian networks
Language:OCaml00
minsungc/calculator-lf-man-freed
Language:Python00
minsungc/carhw
Computer Aided Reasoning HW NEU F22
Language:Common Lisp00
minsungc/dappl-in-25-lines-of-eff
dappl in 25 lines of eff
00
minsungc/freedice
free dice rolls for all!
Language:Haskell
minsungc/LeanCR
Language:Lean
minsungc/minsungc
Config files for my GitHub profile.
minsungc/minsungc.github.io
webpage
Language:TeX
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)
Language:Rust
minsungc/rsdd-ocaml-dappl
OCaml bindings for RSDD (through C interop) (forked for dappl experiments)
Language:Rust