FreeAndFair / ColoradoRLA
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:
- Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support☆16Updated 4 years ago
- A monad transformer and corresponding type class for computations which consume random values.☆31Updated 2 months ago
- Work in progress pure python dhall interpreter☆27Updated 6 years ago
- Haskell binding for PADS☆19Updated 5 years ago
- The Ur/Web People Organizer☆30Updated last year
- Graph layout and drawing with GraphViz and diagrams☆10Updated last month
- 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
- deprecated by `design-tools`☆17Updated 6 years ago
- A small batch processing utlity☆12Updated 3 years ago
- A Haskell library for building JSON-RPC servers (work in progress), with servers for Cryptol and SAW☆16Updated 2 months ago
- A concurrency framework for the Ivory language☆43Updated 5 years ago
- A fast implementation of real numbers in Haskell☆10Updated 6 years ago
- Render a log of cabal install as a graph☆10Updated 9 years ago
- ☆33Updated 5 years ago
- Basic TLA+ related Haskell libraries (parser, evaluator, pretty-printer)☆27Updated 2 years ago
- An online platform for political participation in schools in Germany (not in active development)☆27Updated 2 years ago
- A script for running TLA+/TLC from the command line☆80Updated 4 years ago
- ☆20Updated 6 years ago
- A human readable style for binary data.☆11Updated 5 years ago
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆21Updated 11 months ago
- Magic Wormhole for Haskell☆11Updated last year
- Content Addressable Storage Archive☆41Updated last year
- Haskell library for emojis☆28Updated 11 months ago
- Coq implementation of SF-calculus and the tranlsation to it of lift lambda-calculus☆11Updated 8 years ago
- ☆30Updated 8 years ago
- Clafer is a lightweight modeling language☆45Updated 3 months ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Dependent hash maps☆14Updated last month
- Logically Qualified Data Types - automatically infer refinement types☆15Updated 3 years ago
- IPython-style interaction for Cryptol☆15Updated 8 years ago