alaiasolkobreslin

Philadelphia, PA

Pinned Repositories

a-nesi-alaia
A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
Language:Python00
AI-Image-Classifier
Language:Jupyter Notebook1 2 00
alaiasolkobreslin.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript0 0 00
bril
an educational compiler intermediate representation
Language:Rust00
CoC
Language:OCaml81
cs6120
advanced compilers
Language:HTML00
deepproblog-alaia
DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.
Language:Python00
Hazel
Language:OCaml10
heap-synth
Language:OCaml00
ISED
Language:Python4 3 01

alaiasolkobreslin's Repositories

alaiasolkobreslin/CoC
Language:OCaml81
alaiasolkobreslin/ISED
Language:Python4 3 01
alaiasolkobreslin/AI-Image-Classifier
Language:Jupyter Notebook1 2 00
alaiasolkobreslin/Hazel
Language:OCaml10
alaiasolkobreslin/a-nesi-alaia
A Scalable Approximate Method for Probabilistic Neurosymbolic Inference
Language:Python00
alaiasolkobreslin/alaiasolkobreslin.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Language:JavaScript0 0 00
alaiasolkobreslin/bril
an educational compiler intermediate representation
Language:Rust00
alaiasolkobreslin/cs6120
advanced compilers
Language:HTML00
alaiasolkobreslin/deepproblog-alaia
DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.
Language:Python00
alaiasolkobreslin/heap-synth
Language:OCaml00
alaiasolkobreslin/InterCoder
Language:Racket
alaiasolkobreslin/rv_project
Language:Java1 0
alaiasolkobreslin/sudoku-puzzles