@accordproject/ergo-cli
Ergo CLI
Latest release 0.22.2-20210527182236 - Updated - 112 stars
@accordproject/ergo-test
Ergo Test
Latest release 0.22.2-20210527182236 - Updated - 112 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
fiat-crypto
Fiat-crypto generated Rust
Latest release 0.1.8 - Updated - 385 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
math-comp
Mathematical Components for the Coq proof assistant
Latest release 1.12.0 - Published - 339 stars
Quokka.RISCV.Integration
API endpoint for RISC-V toolchain, running inside docker container
Latest release 1.0.0.15 - Updated
flp
Please see the README on GitHub at https://github.com/cronburg/flp#readme
Latest release - Published - 6 stars
flp-compiler
Floorplan, a memory layout specification language, compiler binding for Rust.
Latest release 0.1.0 - Published - 6 stars
flp-framework
Floorplan, a memory layout specification language, code-generation necessities.
Latest release 0.1.0 - Published - 6 stars
qcert
The Q*cert compiler
Latest release 1.4.1 - Updated - 39 stars
profunctor-monad
Applicative and monadic interface for bidirectional programming.
Latest release 0.1.0.0 - Published - 16 stars
unbound
Specify the binding structure of your data type with an expressive set of type combinators, and U...
Latest release 0.5.1.1 - Updated - 26 stars
RepLib
Generic programming library providing structural polymorphism and other features.
Latest release 0.5.4.1 - Updated - 26 stars
jura-cli
Jura CLI
Latest release 0.0.32 - Updated - 112 stars
jura-engine
Jura Engine
Latest release 0.0.32 - Updated - 112 stars
jura-compiler
Jura Compiler
Latest release 0.0.32 - Updated - 112 stars
ssreflect
Mathematical Components
Latest release 1.5 - Published - 339 stars
asciiimage
Work with images made of ASCII text.
Latest release 0.0 - Published
urn-random
This package implements urns, which are a simple tree-based data structure that supports sampling...
Latest release 0.1.0.0 - Published - 5 stars
linearscan
The linearscan library is an implementation -- in Coq, extracted to Haskell -- of a register allo...
Latest release 0.5.0.0 - Updated - 15 stars
PyTurbSim
Python implementation of TurbSim
Latest release 0.4.7 - Updated - 1 stars
comonad-transformers
This package has been merged into comonad 4.0
This package is deprecated - Updated
License
Language
Keyword
Platform

Subscribe to an RSS feed of this search