FaCT
Crypto compiler
A compiler for a constant-time programming language used in cryptography
Flexible and Constant Time Programming Language
198 stars
15 watching
14 forks
Language: OCaml
last commit: about 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 | 275 |
 galoisinc/cryptol | An interpreter for a public standard language for specifying cryptographic algorithms | 1,139 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
 b-con/crypto-algorithms | A collection of basic cryptographic algorithms implemented from scratch in C. | 1,847 |
 pltools/lama | A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting | 71 |
 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 | 244 |
 0xpolygonzero/plonky2 | A Rust implementation of a cryptographic protocol for secure multi-party computation and proof systems | 791 |
 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. | 279 |
 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. | 304 |
 xavierleroy/cryptokit | A comprehensive C library of cryptographic primitives for building secure protocols in OCaml applications. | 97 |
 belijzajac/wisnialang | A compiler that compiles small programs into tiny Linux binaries without requiring LLVM. | 17 |
 deliberative/crypto | A reference implementation of cryptographic operations in WebAssembly and Node.js for secure data exchange and sharing. | 29 |