FreeAndFair / ColoradoRLALinks
Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.
☆22Updated 6 years ago
Alternatives and similar repositories for ColoradoRLA
Users that are interested in ColoradoRLA are comparing it to the libraries listed below
Sorting:
- Web based opetopic editor☆35Updated 9 months ago
- Simple lambda prover☆24Updated 10 years ago
- Collaborative work on reversible computing☆18Updated 2 years ago
- QuickCheck extras.☆29Updated 6 years ago
- wherein I implement several substructural logics in Agda☆24Updated 6 years ago
- ☆17Updated 3 years ago
- Toy version of Git/Mercurial built using recursion schemes. Implements lazy diffing and merging of merkle dir trees. Solves toy versions …☆3Updated 3 years ago
- The SAW core language.☆54Updated 4 years ago
- Labeled IO Library☆57Updated 4 years ago
- Compiling to STLC to categories in Haskell and Coq, using Conal Elliot's work☆19Updated 7 years ago
- An implementation of the Haskell ByteString library using the Fiat system from MIT☆34Updated 3 years ago
- Semantics for Cryptol☆16Updated 7 years ago
- An online platform for political participation in schools in Germany (not in active development)☆27Updated 2 years ago
- being a slightly rethought version of the Frank implementation☆23Updated 9 years ago
- lazy generators with observation☆14Updated last year
- being bits and pieces I'm inclined to leave lying around☆53Updated 3 weeks ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- A formalization of M-types in Agda☆33Updated 5 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 6 years ago
- being the beginnings of at least zero typecheckers☆34Updated 8 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆33Updated 4 months ago
- A well-typed Directed Acyclic Graph in Haskell☆14Updated 10 years ago
- HoTT proofs using experimental induction-induction (mostly about real numbers) (used to contain the HoTT.Classes proofs)☆15Updated 4 years ago
- Adaptation of the streaming library for increased safety through linear types. Summer of Haskell 2017 project.☆47Updated 7 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Updated 6 years ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Updated 8 years ago
- A tool for translating imperative programs to CSP.☆12Updated 8 years ago
- Haskell Equational Reasoning Model-to-Implementation Tunnel☆49Updated 2 years ago
- A version of Epigram 1 that can run with newer GHCs☆52Updated 8 years ago
- ☆26Updated 2 years ago