FreeAndFair / ColoradoRLA
Software to facilitate risk-limiting audits at the state level, developed for the state of Colorado.
☆21Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for ColoradoRLA
- Exercism exercises in Coq.☆18Updated 3 weeks ago
- Orchard Opetopic Proof Assistant☆27Updated 8 years ago
- Reflection library for Coq☆12Updated 5 years ago
- Types representing line and column positions and ranges in text files☆11Updated last year
- Lambda Calculus with quote and unquote☆19Updated 4 years ago
- Category theory in Coq, by Jason Gross☆12Updated 9 years ago
- A library for Proof Theory (especially Proof Compression) in Scala.☆33Updated 7 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
- Multiparty Session Types toolKit☆15Updated 5 years ago
- The Ur/Web People Organizer☆29Updated 6 months ago
- A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.☆16Updated 4 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Updated 9 years ago
- ☆12Updated 5 years ago
- Foundational Verification of Hybrid Systems☆15Updated 7 years ago
- BibTeX database management in Idris☆18Updated 10 years ago
- ☆15Updated 10 months ago
- Encode any Aeson (JSON) value as YAML (in pure Haskell)☆12Updated last year
- A package Index for agda libraries☆12Updated 3 years ago
- Unofficial repository for the experimental porting of mathlib into lean4☆10Updated 3 years ago
- A scrapbook for Haskell developers☆16Updated 14 years ago
- Experiments with effect systems☆12Updated 8 years ago
- Derivation of Optimized Definitions Based on Specs☆15Updated 5 years ago
- Information Flow Control (IFC) case study for the QuickChick testing plugin for Coq. Includes verification of testing and some other Coq …☆11Updated 2 years ago
- Desugars Template Haskell abstract syntax to a simpler format without changing semantics☆20Updated 3 weeks ago
- Core components for the Scribble Java tools☆56Updated last month
- AACMM's generic-syntax, but with QTT-style annotations☆20Updated 7 months ago
- Two attempts at formalizing Löb's Theorem, (one based on http://lesswrong.com/lw/t6/the_cartoon_guide_to_l%C3%B6bs_theorem/)☆22Updated last year
- Automatically exported from code.google.com/p/full-maude☆15Updated 10 months ago