fiat-crypto
Fiat-crypto generated Rust
Latest release 0.1.8 - Updated - 385 stars
@accordproject/ergo-engine
Ergo Engine
Latest release 0.22.2-20210527182236 - Updated - 112 stars
@accordproject/ergo-compiler
Ergo Compiler
Latest release 0.22.2-20210527182236 - Updated - 112 stars
qcert
The Q*cert compiler
Latest release 1.4.1 - Updated - 39 stars
@accordproject/ergo-cli
Ergo CLI
Latest release 0.22.2-20210527182236 - Updated - 112 stars
jura-compiler
Jura Compiler
Latest release 0.0.32 - Updated - 112 stars
@accordproject/ergo-test
Ergo Test
Latest release 0.22.2-20210527182236 - Updated - 112 stars
github.com/mit-plv/fiat-crypto/fiat-go
Cryptographic Primitive Code Generation by Fiat
Latest release v0.0.0-20210423171621-fe2c0c4049f6 - Updated - 385 stars
jura-engine
Jura Engine
Latest release 0.0.32 - Updated - 112 stars
jura-cli
Jura CLI
Latest release 0.0.32 - Updated - 112 stars
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search