jasmin
by jasmin-lang
Language for high-assurance and high-speed cryptography
AI summary
Cryptography compiler
A language and compiler for writing high-assurance and high-speed cryptography
- stars
- 275
- forks
- 56
- watching
- 12
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Crypto compiler
A compiler for a constant-time programming language used in cryptography
Cryptography specification language
An interpreter for a public standard language for specifying cryptographic algorithms
Language compiler
A programming language being developed with Rust, aiming to implement compiler and interpreter components.
Compiler
A high-performance compiler for quantum gate sequences
Compiler
A compiler that translates code written in Gren into machine code or another target language.
Compiler
A compiler that compiles small programs into tiny Linux binaries without requiring LLVM.
Compiler language
A language targeting LLVM with the goal of building a simple compiler
Collaborative Computation Engine
Enables secure collaborative computation without data sharing or movement.
Homomorphism compiler
A compiler for homomorphic encryption languages
Lisp compiler
An experiment in building a typed Lisp compiler and evaluator in Elm.
rsms/co151
Programming language compiler
Developing a statically typed, general-purpose programming language with an optimizing compiler
Checksum calculator
Provides a simple C++ library to compute cryptographic checksums.
Compiler formalism
Formalizations of compiler design and virtual machine calculations in Coq
Runtime environment
A suite of development tools and a WebAssembly runtime environment for supporting the Cairo programming language.
Compiler
A compiler and runtime system for executing a minimalist programming language in sub-Turing Complete space.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions jasmin.
