FreeAndFair / ColoradoRLALinks
Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.
☆22Updated 7 years ago
Alternatives and similar repositories for ColoradoRLA
Users that are interested in ColoradoRLA are comparing it to the libraries listed below
Sorting:
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆31Updated 6 years ago
- A well-typed Directed Acyclic Graph in Haskell☆13Updated 11 years ago
- Formally prove properties of Haskell programs using SBV/SMT.☆45Updated 3 weeks ago
- Experiments with effect systems☆12Updated 9 years ago
- ELF data structures for Haskell☆24Updated 2 years ago
- lazy generators with observation☆14Updated 2 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- An **OUTDATED** mirror of Snowdrift.coop codebase. The active development is now at https://codeberg.org/snowdrift/snowdrift☆91Updated last year
- High level, generic library for interrogative user interfaces in Haskell☆41Updated 4 years ago
- IPython-style interaction for Cryptol☆15Updated 9 years ago
- A classical propositional theorem prover in Haskell, using Wang's Algorithm.☆36Updated 6 years ago
- Modern compiler implementation in ML, in Haskell☆16Updated 7 years ago
- Use Conal Elliott's concat library to compile regular Haskell functions into Z3 equations☆38Updated 8 years ago
- Playing with DSLs in Haskell☆22Updated 8 years ago
- Haskell: Efficiently build a bytestring from smaller chunks☆24Updated 3 years ago
- A package re-exporting the verified subset of containers☆20Updated 7 years ago
- Simple lambda prover☆24Updated 10 years ago
- Define communication protocols between applications using algebraic data types.☆46Updated 2 years ago
- QuickCheck extras.☆29Updated 6 years ago
- A talk on type-generic FFT in Haskell☆46Updated 4 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated last month
- ☆40Updated 7 years ago
- A hashing-based graph implementation in Haskell☆33Updated 7 years ago
- static analysis of free monads☆24Updated 7 years ago
- being a slightly rethought version of the Frank implementation☆23Updated 10 years ago
- GHCJS runtime system and JavaScript support code for packages - deprecated as of GHC 8.2☆20Updated 6 years ago
- A concurrency framework for the Ivory language☆45Updated 6 years ago
- Haskell Bazel rules and cabal2bazel import tool.☆42Updated 4 years ago
- An online platform for political participation in schools in Germany (not in active development)☆27Updated 3 years ago
- ☆17Updated 6 months ago