FaCT
by PLSysSec
Flexible and Constant Time Programming Language
AI summary
Crypto compiler
A compiler for a constant-time programming language used in cryptography
- stars
- 198
- forks
- 14
- watching
- 15
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Cryptography compiler
A language and compiler for writing high-assurance and high-speed cryptography
Cryptography specification language
An interpreter for a public standard language for specifying cryptographic algorithms
Compiler
A compiler and interpreter for executing C code on the fly as it is typed.
Crypto implementation
A collection of basic cryptographic algorithms implemented from scratch in C.
Language teaching tool
A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting
Compiler
A compiler and runtime system for executing a minimalist programming language in sub-Turing Complete space.
Recursive language compiler
A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation
Cryptographic protocol library
A Rust implementation of a cryptographic protocol for secure multi-party computation and proof systems
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
Compiler
A compiler and runtime system for a simple programming language, designed to be efficient and embeddable in other applications.
Polyglot compiler
An experiment in compiling PHP code into C and transpiling it to OCaml
Compiler
Compiles high-level programming languages into input for provable computations protocols.
C crypto library
A comprehensive C library of cryptographic primitives for building secure protocols in OCaml applications.
Compiler
A compiler that compiles small programs into tiny Linux binaries without requiring LLVM.
Crypto library
A reference implementation of cryptographic operations in WebAssembly and Node.js for secure data exchange and sharing.
Featured in 1 awesome list
Each link jumps to the spot where the list mentions FaCT.
