Ajay Kumar Eeralla's repositories
ajayeeralla.github.io
About me
CC0-1.0000
ccsa
Haskell
Language:HaskellNOASSERTION000
rust-lts
An implementation of Labelled Transition System (LTS).
Language:RustMIT000
Apache-2.0000
Language:Coq000
Language:Coq000
cryptol-vscode-ext
A Cryptol syntax highlighting extension for VSCode.
Language:TypeScript000
differential-privacy
Google's C++ differential privacy library.
Apache-2.0000
differential-privacy-library
Diffprivlib: The IBM Differential Privacy Library
MIT000
Language:TypeScript000
Language:RustMIT000
Language:HaskellApache-2.0000
real-or-random-auth-proofs-coq
Machine-checked proofs of secrecy and authentication using CCSA framework
SCALE-MAMBA
Repository for the SCALE-MAMBA MPC system
NOASSERTION000
sql-differential-privacy
Dataflow analysis & differential privacy for SQL queries. This project is deprecated and not maintained.
MIT000
trans_system
Coq
Language:Makefile000
Unification_ACh
We have designed and implementd an algorithm to solve a unification problem modulo ACH (Associativity, Commutativity, Homomorphism) theory.
Language:CoqNOASSERTION000