GaloisInc / e2evivView external linksLinks
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
Sorting:
- Archive of existing evoting systems created by others.☆19Aug 22, 2018Updated 7 years ago
- a simple, tolerant & efficient HTML/XML parser (with HTML in mind though)☆28Oct 28, 2020Updated 5 years ago
- ☆17Jan 23, 2025Updated last year
- Simplicity SDK for Zephyr☆16Feb 3, 2026Updated last week
- The software for the Ribbit Network Frog Sensor☆12Jun 2, 2025Updated 8 months ago
- Verify blockchain data presented at popular websites using Light Client technology☆11Nov 24, 2024Updated last year
- Example projects for Zephyr RTOS on RAK3172/RAK4631/RAK5010/RAK11720☆10Dec 6, 2025Updated 2 months ago
- Time management library for embedded devices☆12Apr 21, 2019Updated 6 years ago
- Cross platform graphical user interface for games and other programs that wants a custom look-n-feel. Implemented in C++ and released und…☆13Feb 5, 2026Updated last week
- A quad copter running under chibios☆12Sep 18, 2012Updated 13 years ago
- ☆11Feb 6, 2026Updated last week
- Simple single-screen JavaScript-driven OAuth 1.0 signed call and execution app.☆15Mar 6, 2011Updated 14 years ago
- Modular open source hardware control stack☆10Jul 8, 2016Updated 9 years ago
- ☆12Feb 5, 2026Updated last week
- A VS Code Workspace for developing Zephyr Projects☆11Jun 7, 2023Updated 2 years ago
- An implementation for the open some/ip spec.☆19Jan 30, 2026Updated 2 weeks ago
- [DEPRICATED] Project won't be continued.☆10Jul 31, 2023Updated 2 years ago
- ☆19Feb 5, 2026Updated last week
- Block based storage on non volatile memory with wear levelling☆12Jun 2, 2023Updated 2 years ago
- Example of ESP32 FUOTA process with rollback☆10Jan 30, 2024Updated 2 years ago
- Mobile Church of Robotron☆22Nov 22, 2023Updated 2 years ago
- Lightweight SBOM CVE analysis tool☆23Feb 6, 2026Updated last week
- A minimalist typing train☆10Sep 6, 2024Updated last year
- An AVR Arduino bootloader that supports uploads over Ethernet (via TFTP) and Serial.☆14Mar 25, 2022Updated 3 years ago
- ☆14May 15, 2021Updated 4 years ago
- ☆16Mar 25, 2013Updated 12 years ago
- prevent XSS attacks by sanitizing html (this is different then escaping!)☆22Oct 14, 2023Updated 2 years ago
- The world's easiest TRNG to get right☆13Sep 10, 2018Updated 7 years ago
- Thread protocol related precompiled libraries for ESP-IDF☆11Dec 26, 2025Updated last month
- Add-on project for Chaste for modelling microvessels.☆10Aug 6, 2024Updated last year
- Simple Segger RTT console☆13Oct 21, 2024Updated last year
- Streaming data library built around first-class stream fusion for high efficiency☆12Apr 22, 2016Updated 9 years ago
- A tool to flash BL602 via JTAG + serial without pressing buttons / setting jumpers☆12Jun 3, 2022Updated 3 years ago
- ☆13Oct 6, 2022Updated 3 years ago
- FFI bindings to libudev☆10Feb 28, 2024Updated last year
- ☆12Oct 23, 2023Updated 2 years ago
- Eagle PCB designs for adapting SMD parts to ugly (or Manhattan) style breadboarding☆14Jul 22, 2016Updated 9 years ago
- Work on IoT Semantic/Hypermedia Interoperability☆10Jun 27, 2022Updated 3 years ago
- Capture webpage and save as image using chromedp☆18Feb 2, 2026Updated last week