kammitama5
just a functional girl..in a functional world :) PhD 🍬date. Mostly at the intersection of 💻 & Pure Math (Arith. Geometry + Alg. Graph Theory) + Quantum.
University of VermontGanymede
kammitama5's Stars
VadimLyubash/LatticeTutorial
pyt-team/TopoModelX
Topological Deep Learning
slatex/RusTeX
A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.
awodey/joyal
theoremprover-museum/theoremprover-museum.github.io
slatex/sTeX
A semantic Extension of TeX/LaTeX
naproche/naproche
Write formal proofs in natural language and LaTeX.
tensorflow/deepmath
Experiments towards neural network theorem proving
jbwaring/xg-swap
cloudflare/circl
CIRCL: Cloudflare Interoperable Reusable Cryptographic Library
matbesancon/cargo-cite
Generate a citation file from Rust projects.
Sohl-Dickstein/Hamiltonian-Annealed-Importance-Sampling
Matlab code implementing Hamiltonian Annealed Importance Sampling for importance weight, partition function, and log likelihood estimation for models with continuous state spaces
Libr-AI/OpenFactVerification
Loki: Open-source solution designed to automate the process of verifying factuality
gshen42/HasChor
Functional choreographic programming in Haskell
risc0/risc0
RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.
alhassy/CalcCheck
Abridged lecture notes for CompSci/SfwrEng 2DM3 2020 and documentation on CalcCheck
pi-base/data
A community database of topological counterexamples
dominique-unruh/hksu-verification
Postquantum verification of the Fujisaki-Okamoto transform variant by Hövelmanns, Kiltz, Schäge, Unruh
dominique-unruh/qrhl-tool
Proof assistant for qRHL
ValeLang/Vale
Compiler for the Vale programming language - http://vale.dev/
mit-plv/fiat-crypto
Cryptographic Primitive Code Generation by Fiat
pq-code-package/pq-code-package-hackathon
Hackathon planning and documentation
google-deepmind/alphageometry
apple/pfl-research
Simulation framework for accelerating research in Private Federated Learning
neuppl/CS7470-Notes
StatProofBook/StatProofBook.github.io
The Book of Statistical Proofs
drcapybara/capyCRYPT
An experimental high-performance cryptosystem.
opentofu/opentofu
OpenTofu lets you declaratively manage your cloud infrastructure.
hendrycks/math
The MATH Dataset (NeurIPS 2021)
rhelmot/smw-coop
2 Player cooperative gameplay patch for Super Mario World