The main website of LaPrimaire
☆25Oct 30, 2020Updated 5 years ago
Alternatives and similar repositories for LaPrimaire
Users that are interested in LaPrimaire are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Nova-Ideo is a participatory innovation tool, the merger of the box ideas and collaborative portal.☆22Jul 18, 2026Updated 2 months ago
- Plateforme d'échanges entre particuliers avec monnaie virtuelle et revenu de base☆16Aug 15, 2017Updated 9 years ago
- Nix derivations for ReasonML☆12Sep 4, 2019Updated 7 years ago
- Contract for a CryptoFiat currency☆11Aug 25, 2018Updated 8 years ago
- Ğeconomicus is a free economic game. It simulates more than life expectancy and allows to compare different money systems☆32Oct 14, 2018Updated 7 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Logiciel utilise sur la plateforme HAL☆12Jul 13, 2021Updated 5 years ago
- Cocorico is an open online voting platform powered by the blockchain.☆90Apr 28, 2017Updated 9 years ago
- My personal website☆10Jun 27, 2019Updated 7 years ago
- Open Protocol Enabling New Universal Dividend Currencies☆78Jun 7, 2024Updated 2 years ago
- CS1 through Type Theory☆17Jan 4, 2017Updated 9 years ago
- e-Democracia source code. http://edemocracia.camara.leg.br/ See our plans for the future on Trello: https://trello.com/b/Wzi39aNt/e-democ…☆10Feb 27, 2018Updated 8 years ago
- The Lingotek Filesystem Connector (ltk) links your files and folders to the Translation Network™☆13May 7, 2026Updated 5 months ago
- Shibboleth IDP external authentication plugin that delegates the authentication to the Central Authentication Server☆10Jan 13, 2015Updated 11 years ago
- Android app for Mind-Wandering experiment☆12Feb 23, 2017Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- HedgeNext Nextcloud App☆11Aug 18, 2024Updated 2 years ago
- Simple Swarm interface to swarm-gateways.net (or other gateways)☆10Mar 15, 2019Updated 7 years ago
- GitHub Action using Docker-Coq [maintainers=@Justme0606,@Zimmi48]☆15Apr 30, 2026Updated 5 months ago
- Tokntalk.club☆10Dec 6, 2021Updated 4 years ago
- MOVΞ - A Decentralised Ride Sharing DApp☆12Jul 30, 2015Updated 11 years ago
- Experimental Ethereum RNG based on PoW☆10Jul 7, 2016Updated 10 years ago
- 🔏 Simple Keystore Generator☆12Jan 7, 2019Updated 7 years ago
- OmniAuth strategy for kerberos authentication.☆16Jul 22, 2024Updated 2 years ago
- The Rocq Prover bot☆30Sep 23, 2026Updated 2 weeks ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆14Jul 9, 2015Updated 11 years ago
- A dashboard that show the relationships between urban spaces and their networks of design, production and consumption with Maker initiati…☆14Nov 10, 2017Updated 8 years ago
- ☆11Aug 10, 2016Updated 10 years ago
- Token Sale example implementing GasToken Factory methods☆19Jun 8, 2018Updated 8 years ago
- Pure PHP implementation of ChaCha20☆18Feb 26, 2021Updated 5 years ago
- Lamdera port of elm-spa realworld implementation, adding a full backend implementation.☆28Dec 17, 2024Updated last year
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆23Jul 13, 2023Updated 3 years ago
- My own fork of pluzzdl☆17Jun 1, 2013Updated 13 years ago
- Execute and optionally rewrite code blocks in Markdown files based on external commands☆27Jul 23, 2026Updated 2 months 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.
- Smarter & less corrupt democracy.☆18Dec 29, 2022Updated 3 years ago
- See https://github.com/sagemathinc/smc instead!☆22Mar 7, 2019Updated 7 years ago
- API and interface for CSV normalization and linking☆14May 15, 2018Updated 8 years ago
- WARNING: This repo isn't maintained anymore! Drop-in CSS enhancements for Wagtail's Streamfield☆11Feb 27, 2018Updated 8 years ago
- Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]☆27Mar 2, 2026Updated 7 months ago
- Repo for Live Coding at Droidcon Berlin☆10Sep 5, 2017Updated 9 years ago
- Ogre is a recreational workshop to help understand orders of magnitude of energies and what it implies for the ecological transition.☆14Nov 10, 2023Updated 2 years ago