Pinned Repositories
academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
agrawalarpan.github.io
coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
fp-course
Fork of the original Data61 course to be more Stack friendly
lograc-2022
Git repository for the course Logika v računalništvu
lsmor-aoc2020
Advent of Code 2023 Haskell
R-NET-in-Keras
R-NET implementation in Keras.
snorkel
A training data creation and management system focused on information extraction
agrawalarpan's Repositories
agrawalarpan/lsmor-aoc2020
Advent of Code 2023 Haskell
agrawalarpan/coq-library-undecidability
A library of mechanised undecidability proofs in the Coq proof assistant.
agrawalarpan/lograc-2022
Git repository for the course Logika v računalništvu
agrawalarpan/academicpages.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
agrawalarpan/agrawalarpan.github.io
agrawalarpan/fp-course
Fork of the original Data61 course to be more Stack friendly
agrawalarpan/R-NET-in-Keras
R-NET implementation in Keras.
agrawalarpan/snorkel
A training data creation and management system focused on information extraction