jasmin
Cryptography compiler
A language and compiler for writing high-assurance and high-speed cryptography
Language for high-assurance and high-speed cryptography
269 stars
12 watching
56 forks
Language: Coq
last commit: 5 days ago
Linked from 2 awesome lists
compilercoqlanguage
coq-community/awesome-coq
uhub/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 plsyssec/fact | A compiler for a constant-time programming language used in cryptography | 198 |
 galoisinc/cryptol | An interpreter for a public standard language for specifying cryptographic algorithms | 1,136 |
 azur1s/holymer | A programming language being developed with Rust, aiming to implement compiler and interpreter components. | 42 |
 bbn-q/qgl.jl | A high-performance compiler for quantum gate sequences | 13 |
 gren-lang/compiler | A compiler that translates code written in Gren into machine code or another target language. | 391 |
 belijzajac/wisnialang | A compiler that compiles small programs into tiny Linux binaries without requiring LLVM. | 16 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 cosmian/ciphercompute | Enables secure collaborative computation without data sharing or movement. | 26 |
 cpeikert/alchemy | A compiler for homomorphic encryption languages | 66 |
 jxxcarlson/elm-lisp | An experiment in building a typed Lisp compiler and evaluator in Elm. | 5 |
 rsms/co | Developing a statically typed, general-purpose programming language with an optimizing compiler | 151 |
 aksalj/hashlibpp | Provides a simple C++ library to compute cryptographic checksums. | 15 |
 pa-ba/calc-comp | Formalizations of compiler design and virtual machine calculations in Coq | 30 |
 cryptonerdcn/wasm-cairo | A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language. | 54 |
 ainfosec/crema | A compiler and runtime system for executing a minimalist programming language in sub-Turing Complete space. | 64 |