FreeAndFair / QubieView external linksLinks
Qubie is a passive, privacy-preserving data gathering system that helps election officials better understand the flow of voters at their polling places.
☆16Jul 13, 2020Updated 5 years ago
Alternatives and similar repositories for Qubie
Users that are interested in Qubie are comparing it to the libraries listed below
Sorting:
- Jane Street universe☆17Sep 14, 2020Updated 5 years ago
- Generation of mutant programs☆20Oct 31, 2018Updated 7 years ago
- Concurrency property fuzzing tool for Lwt-based OCaml programs☆29Mar 7, 2021Updated 4 years ago
- Tool to generate test-cases for regular expression engines☆38Apr 26, 2023Updated 2 years ago
- The Framework for Optimization of Resources, Controls, and Economics is a collection of software tools, models, and datasets acquired and…☆11Jan 2, 2025Updated last year
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- C++17 Wrapper for ScaLAPACK☆11Oct 5, 2023Updated 2 years ago
- MipScope is a cross-platform IDE for students learning assembly on the MIPS architecture. The focus is on a convenient debugging environm…☆17May 11, 2024Updated last year
- Two-Factor Authentication with ASP.NET Core and Authy☆11Sep 13, 2021Updated 4 years ago
- LogicMOO Natural Language Understanding Kit Unified into Prolog☆13Oct 2, 2021Updated 4 years ago
- Concurrent algorithms in Haskell using software transactional memory (STM monad)☆14Jan 5, 2023Updated 3 years ago
- Support for requesting objects from other objects dynamically based on type☆11Aug 25, 2020Updated 5 years ago
- Interesting ATP Proofs☆13Sep 3, 2021Updated 4 years ago
- [DEPRECATED] Non-blocking TCP or Unix connect☆14May 1, 2021Updated 4 years ago
- Inefficient and syntactically unwieldy implementation of algebraic effects in Python using generators☆13Aug 31, 2020Updated 5 years ago
- ACF's OPRE OPS product. Code name Unicorn.☆12Updated this week
- Super-Paramagnetic Clustering, Maximum entropy, Maximum Likelihood Methods.☆11Oct 18, 2021Updated 4 years ago
- Firmware for a Canon DSLR IR remote loaded on an Arduino and an Atmel microcontroller☆11Jan 26, 2018Updated 8 years ago
- ☆11Jan 4, 2023Updated 3 years ago
- Event Modeling Risk Assessment using Linked Diagrams (EMRALD) is a software tool developed at INL for researching the capabilities of dyn…☆28Feb 4, 2026Updated last week
- Common Issues When Developing Native Reason Projects☆12Aug 6, 2020Updated 5 years ago
- OCaml bindings to stb_truetype, a public domain truetype font rasterizer☆10Jan 13, 2023Updated 3 years ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆16Jan 15, 2026Updated 3 weeks ago
- Compat result type☆13Feb 22, 2020Updated 5 years ago
- Sticky sticky PCI☆10Oct 25, 2018Updated 7 years ago
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated last month
- I/O utilities and datasets for algebraic-graphs☆14Aug 29, 2022Updated 3 years ago
- Safety Risk Reliability Model Library☆12Jan 23, 2025Updated last year
- The Ensemble distributed communications toolkit☆12Jul 26, 2020Updated 5 years ago
- Operations with matrices, SWI pack☆13Dec 11, 2023Updated 2 years ago
- mirror of https://git.robur.coop/robur/http-mirage-client☆11Feb 25, 2025Updated 11 months ago
- RRDP IT: A disk to RPKI Delta Protocol tool.☆11Jan 28, 2026Updated 2 weeks ago
- C/C++ preprocessor.☆14Jan 21, 2025Updated last year
- ☆14Jan 30, 2025Updated last year
- An knowledge graph for data structures and algorithms in markdown format☆12Jul 22, 2022Updated 3 years ago
- Turtle grammar for tree-sitter☆11Jul 2, 2024Updated last year
- OCaml library to access Maildir folders☆18Feb 25, 2019Updated 6 years ago
- asdf-community meta repository [maintainer=@smorimoto]☆17Mar 15, 2025Updated 10 months ago