Artifacts associated with the U.S. Vote Foundation's E2E-VIV Project (end-to-end verifiable internet voting).
☆19Aug 22, 2018Updated 7 years ago
Alternatives and similar repositories for e2eviv
Users that are interested in e2eviv are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a simple, tolerant & efficient HTML/XML parser (with HTML in mind though)☆28Oct 28, 2020Updated 5 years ago
- Shared Cheat Sheet for Coq☆10Sep 8, 2016Updated 9 years ago
- All the code I've ever written in Ltac2☆11Jan 19, 2021Updated 5 years ago
- Typed definitions for standard Javascript globals☆11Dec 17, 2020Updated 5 years ago
- Rose (n-way) trees with both upwards- (i.e. cached) and downwards-traveling (i.e. accumulating) monoidal annotations.☆16Apr 18, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A Self-Interpreter for F-omega☆16Dec 6, 2015Updated 10 years ago
- [WIP!] PureScript bindings to the blessed library☆10May 13, 2016Updated 9 years ago
- Semantics for Cryptol☆16Apr 9, 2018Updated 8 years ago
- Open source, multiplatform alternative to Authy. An authenticator and 2fa code generator to use across multiple devices and platforms in …☆13Dec 3, 2025Updated 4 months ago
- fast unique variables☆10Aug 23, 2025Updated 8 months ago
- Haskell STUN (Session Traversal Utilities for NAT) implementation☆14Dec 19, 2021Updated 4 years ago
- GHCJS interface for the Javascript Websocket API (DEPRECATED: use ghcjs-base's native websockets!)☆21May 13, 2016Updated 9 years ago
- prevent XSS attacks by sanitizing html (this is different then escaping!)☆22Oct 14, 2023Updated 2 years ago
- Unfoldable functors☆16Apr 27, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A Haskell DSL for Generating Dockerfiles☆10Apr 25, 2025Updated last year
- IO operations from the base library lifted to any instance of MonadBase or MonadBaseControl☆19Mar 16, 2023Updated 3 years ago
- Capture webpage and save as image using chromedp☆18Apr 16, 2026Updated last week
- Monad and transformer for deferred-effect pure prompt-response queries☆12Jun 28, 2019Updated 6 years ago
- A fast alternative to PureScript's `psc-bundle` to be used during development☆17Feb 24, 2020Updated 6 years ago
- Fast Haskell tagsoup parser☆17Oct 13, 2020Updated 5 years ago
- keyed functors☆23Jan 10, 2026Updated 3 months ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- A pretty-printing library in OCaml☆33Jun 17, 2020Updated 5 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 10 years ago
- Exception effects☆16Jun 30, 2024Updated last year
- Co-inductive interaction trees provide a way to represent (potentially) non-terminating programs with I/O behavior.☆18Jul 9, 2018Updated 7 years ago
- Simple autograder for Haskell programming assignments☆18Feb 18, 2025Updated last year
- ☆10Apr 30, 2020Updated 5 years ago
- Basic assertions library for low level testing☆16Apr 27, 2022Updated 4 years ago
- Parsing for the pipes ecosystem☆29Apr 8, 2023Updated 3 years ago
- Type classes for creating memoized functions☆18Jun 23, 2018Updated 7 years ago
- Time-varying values with start and end times.☆16Apr 20, 2026Updated last week
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Safety for the pipes ecosystem☆27Jun 26, 2025Updated 10 months ago
- Formalization of Linear Logic in Coq☆18Apr 9, 2026Updated 2 weeks ago
- ☆15Mar 20, 2020Updated 6 years ago
- A Coq library providing tactics to deal with hypothesis☆23Apr 13, 2026Updated 2 weeks ago
- HTTP client with pipes interface☆18Apr 19, 2025Updated last year
- Formalisation of a type unification algorithm in Coq proof assistant.☆21Oct 9, 2018Updated 7 years ago
- Random number generation☆15Apr 27, 2022Updated 4 years ago