Popular repositories Loading

1. osl osl Public

   Forked from Orbis-Tertius/osl

   A spec language for zero knowledge proofs

   Haskell 2 1

2. Coq-Arithmetization Coq-Arithmetization Public

   Forked from Orbis-Tertius/Coq-Arithmetization

   Coq formalization of Sigma^1_1 arithmetization (WIP)

   Coq

3. sydtest-large-diffs sydtest-large-diffs Public

   An example illustrating an issue with sydtest (https://github.com/NorfairKing/sydtest)

   Nix

4. Isabelle-Arithmetization Isabelle-Arithmetization Public

   Formalization of Sigma11 and related in Isabelle/HOL

   Isabelle

5. horizon-sydtest horizon-sydtest Public

   Illustrates that Sydtest does not pass its tests in a particular version of Horizon

   Nix

6. marlowe-cardano marlowe-cardano Public

   Forked from marlowe-lang/marlowe-cardano

   Marlowe smart contract language Cardano implementation

   Haskell