Helios server
☆924Aug 15, 2026Updated last month
Alternatives and similar repositories for helios-server
Users that are interested in helios-server are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- the independent voting booth for Helios☆18May 18, 2021Updated 5 years ago
- Helios server☆36May 9, 2023Updated 3 years ago
- A vote counting library in JavaScript☆16Jul 3, 2016Updated 10 years ago
- Democracia en Red is focusing on specific implementations of DemocracyOS. We are working now working with governments and activists all o…☆1,785Dec 31, 2025Updated 8 months ago
- Easily put your django site behind a layer of Basic Authentication, for protecting the staging/testing servers☆13Apr 26, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- GitHub repository for the SecureDrop whistleblower platform. Do not submit tips here!☆3,885Updated this week
- Nous sommes passé à GitLab. Go : https://gitlab.adullact.net/pixelhumain/co2☆21Dec 17, 2018Updated 7 years ago
- The Tahoe-LAFS decentralized secure filesystem.☆16Aug 27, 2025Updated last year
- Osada/Zap package for YunoHost☆10Jun 23, 2024Updated 2 years ago
- Mirror of maposmatic repository at savannah.nongnu.org☆22Jan 6, 2017Updated 9 years ago
- produce a stream of citiation data coming off wikimedia☆12Mar 28, 2017Updated 9 years ago
- A simulator for voting systems.☆37Feb 3, 2023Updated 3 years ago
- ☆13Nov 28, 2012Updated 13 years ago
- direct democracy system☆67Jun 1, 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.
- Sphinx: pretty search results is an extension for the Sphinx documentation tool. To display search results, Sphinx is fetching the sourc…☆23Mar 29, 2023Updated 3 years ago
- Censorship resistant democracies.☆1,510Mar 4, 2023Updated 3 years ago
- ☆19Jan 10, 2012Updated 14 years ago
- Video Eyeball Processor and Review☆49Aug 19, 2026Updated last month
- A simple text conversion utility using regular expressions for searching and replacing multiple strings across multiple files, e.g. for m…☆11Apr 27, 2020Updated 6 years ago
- Assistant - Voice assistant GUI based on Mycroft, written in GTK☆17Aug 27, 2023Updated 3 years ago
- This lab provides samples for multi channel network using Hyperledger Fabric.☆10Dec 20, 2018Updated 7 years ago
- Trusted MQTT messaging.☆10Oct 6, 2017Updated 8 years ago
- An opinionated, practical and useful implementation of the ActivityPub spec☆14Aug 6, 2018Updated 8 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- The WHMCS Template☆17Jan 4, 2025Updated last year
- Etherpad MyPads package for YunoHost☆16Updated this week
- Native Android for DemocracyOS☆13Apr 10, 2014Updated 12 years ago
- Nextcloud Admin Two-Factor Authentication Support Provider☆19Sep 13, 2026Updated last week
- Web Bluetooth client for the Ganglion brain-computer interface by OpenBCI☆29Feb 16, 2018Updated 8 years ago
- Wikipedia Gender Index (WIGI), uses Wikidata to produce gender-related statistic on Wikipedia Biographies☆14Jul 17, 2016Updated 10 years ago
- ☆12Oct 15, 2024Updated last year
- Gather events of hackerspaces/lug/numeric artists in belgium and put them in one big place. Made with love.☆30Feb 1, 2026Updated 7 months ago
- Automate creating resilient, disposable, secure and agile monitoring infrastructure for Blue Teams.☆24Oct 31, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Website and API for Participedia V3☆22Mar 26, 2026Updated 5 months ago
- An implementation of a simple asynchronous message-passing lock server, verified in Coq using the Verdi framework☆14Oct 23, 2017Updated 8 years ago
- Routine for providing 'consistent sampling' (intended for use in election audits).☆12Feb 17, 2021Updated 5 years ago
- Mastodon bot that boosts trending posts from other instances into your timeline☆26Jul 22, 2025Updated last year
- Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic a…☆38May 30, 2022Updated 4 years ago
- A collection of Paillier cryptosystem zero knowledge proofs☆120May 17, 2023Updated 3 years ago
- Book describing ticket monster's move to microservices☆13Jun 6, 2017Updated 9 years ago