kammitama5

followers

following

stars

University of Vermont

Ganymede

https://kammitama5.github.io/

Organizations

CodingForProduct

nolitetebastardescarborundorum

OpenMined

SV-ROS

kammitama5's starred repositories

opentofu

OpenTofu lets you declaratively manage your cloud infrastructure.

Language:GoMPL-2.022655 119 943

alphageometry

Language:PythonApache-2.04094 52 118

Vale

Compiler for the Vale programming language - http://vale.dev/

Language:ScalaApache-2.01773 32 365

risc0

RISC Zero is a zero-knowledge verifiable general computing platform based on zk-STARKs and the RISC-V microarchitecture.

Language:C++Apache-2.01626 52 530

circl

CIRCL: Cloudflare Interoperable Reusable Cryptographic Library

Language:GoNOASSERTION1272 40 125

OpenFactVerification

Loki: Open-source solution designed to automate the process of verifying factuality

Language:PythonMIT1001 5 7

deepmath

Experiments towards neural network theorem proving

Language:C++Apache-2.0785 65 17

fiat-crypto

Cryptographic Primitive Code Generation by Fiat

Language:CoqNOASSERTION708 52 409

StatProofBook.github.io

The Book of Statistical Proofs

Language:HTMLCC-BY-SA-4.0296 5 15

pfl-research

Simulation framework for accelerating research in Private Federated Learning

Language:Jupyter NotebookApache-2.0286 21 13

TopoModelX

Topological Deep Learning

Language:Jupyter NotebookMIT222 13 62

HasChor

Functional choreographic programming in Haskell

Language:HaskellBSD-3-Clause79 4 4

data

A community database of topological counterexamples

CC-BY-4.072 11 155

theoremprover-museum.github.io

Language:HTMLGPL-3.051 9 24

sTeX

A semantic Extension of TeX/LaTeX

Language:TeX49 6 376

naproche

Write formal proofs in natural language and LaTeX.

Language:HaskellGPL-3.029 9 6

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

Language:MATLAB25 40

RusTeX

A (somewhat experimental) implementation of a TeX engine in rust, used to convert LaTeX documents to xhtml.

Language:HTML23 3 18

qrhl-tool

Proof assistant for qRHL

Language:ScalaMIT18 5 76

joyal

Language:LeanMIT12 40

capyCRYPT

An experimental high-performance cryptosystem.

Language:RustMIT11 4 34

cargo-cite

Generate a citation file from Rust projects.

Language:RustMIT8 2 3

xg-swap

Language:PythonMIT7 10

MQDSS

Reference and AVX2 optimized implementations of MQDSS, accompanying ASIACRYPT2016 paper "From 5-pass MQ-based identification to MQ-based signatures"

Language:CCC0-1.05 3 1

CalcCheck

Abridged lecture notes for CompSci/SfwrEng 2DM3 2020 and documentation on CalcCheck

4 40

LatticeTutorial

4 30

hksu-verification

Postquantum verification of the Fujisaki-Okamoto transform variant by Hövelmanns, Kiltz, Schäge, Unruh

Language:IsabelleMIT3 20

CS7470-Notes

Language:TeX3 10

pq-code-package-hackathon

Hackathon planning and documentation

Apache-2.02 3 17

quantum-safe-school-1068.github.io

Introduction to Quantum-Safe Cryptography summer school

Language:HTML200