FaCT
Crypto compiler
A compiler for a constant-time programming language used in cryptography
Flexible and Constant Time Programming Language
198 stars
15 watching
13 forks
Language: OCaml
last commit: almost 3 years ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jasmin-lang/jasmin | A language and compiler for writing high-assurance and high-speed cryptography | 269 |
 galoisinc/cryptol | An interpreter for a public standard language for specifying cryptographic algorithms | 1,136 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 30 |
 b-con/crypto-algorithms | Public domain implementations of basic cryptography algorithms for educational and pragmatic purposes. | 1,832 |
 pltools/lama | A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting | 70 |
 ainfosec/crema | A compiler and runtime system for executing a minimalist programming language in sub-Turing Complete space. | 64 |
 hackerfoo/poprc | A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation | 242 |
 0xpolygonzero/plonky2 | A Rust implementation of a cryptographic protocol for secure multi-party computation and proof systems | 778 |
 kit-ty-kate/labrys | A compiler for a toy language based on LLVM that implements the System Fω type-system | 103 |
 ajeetdsouza/loxcraft | A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications. | 274 |
 olleharstedt/pholyglot | An experiment in compiling PHP code into C and transpiling it to OCaml | 20 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 295 |
 xavierleroy/cryptokit | A comprehensive C library of cryptographic primitives for building secure protocols in OCaml applications. | 96 |
 belijzajac/wisnialang | A compiler that compiles small programs into tiny Linux binaries without requiring LLVM. | 16 |
 deliberative/crypto | A reference implementation of cryptographic operations in WebAssembly and Node.js for secure data exchange and sharing. | 28 |