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
ainfosec/FISSURE
The RF and reverse engineering framework for everyone. Follow and ★ to show your support!
leanprover-community/mathlib4
The math library of Lean 4
SatDump/SatDump
A generic satellite data processing software.
tuneinsight/lattigo
A library for lattice-based multiparty homomorphic encryption in Go
tikzit/tikzit
pgf/TikZ diagram editor
google-deepmind/funsearch
Paper-Proof/paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
Macaulay2/M2
The primary source code repository for Macaulay2, a system for computing in commutative algebra, algebraic geometry and related fields.
Classiq/classiq-library
The Classiq Library is the largest collection of quantum algorithms and applications. It is the best way to explore quantum computing software. We welcome community contributions to our Library 🙌
siddhartha-gadgil/ProvingGround
Proving Ground: Tools for Automated Mathematics
mgg39/Quantum-tech-papers
My personal quantum paper library
trailofbits/zkdocs
Interactive documentation on zero-knowledge proof systems and related primitives.
google-deepmind/debate
Formalizing stochastic doubly-efficient debate
cdglabs/prolog-viz
The best Prolog visualizer
sQUlearn/squlearn
scikit-learn interface for quantum algorithms
dakk/qlasskit
A python-to-quantum compiler
sipa/safegcd-bounds
Bounds on divsteps iterations in safegcd
girving/ray
Formalizing results about the Mandelbrot set in Lean
Mathesis-Software/Knots
A tool for drawing 2d diagrams, 3d knots, Seifert surfaces. Computes some knot properties and invariants.
Spektralzerleger/Gauge-Fields-Solutions
These are handwritten solutions of almost all exercises in "Gauge Fields, Knots and Gravity" by John Baez & Javier P. Muniain.
ccodel/verified-encodings
Verifying encodings into propositional logic in Lean
edgarcosta/endomorphisms
Rigorous computation of the endomorphism ring of a Jacobian
apnelson1/Matroid
Santandersecurityresearch/cryptobom-forge
Tools and utilities needed to parse GitHub Multi-Repository Variant Analysis output
quantumformalism/elliptic-curve-cryptography
This repo will contain all the lecture notes and other relevant resources curated for the course.
krstnmnlsn/Adventures-in-Supersingularland-Data
advanced-security/crypto-bill-of-materials-data
Generate a Crypto Bill of Materials using CodeQL
code4mathorg/code4mathorg.github.io
defuse/qcircuitgen
Easily draw quantum circuits for LaTeX's picture environment
JRSijsling/gluing
A Magma package for gluing curves of low genus along their torsion