Démonstrateur de signature de groupes
☆21Nov 27, 2023Updated 2 years ago
Alternatives and similar repositories for SigGroup
Users that are interested in SigGroup are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Archived legacy repository. Active development moved to the matchID monorepo.☆12Feb 11, 2026Updated 8 months ago
- Formalisation of a capability machine and principles for reasoning about security properties☆28Oct 13, 2026Updated 2 weeks ago
- Reproduction of the "Matrix characterfall" effect with the Symfony Console component.☆23Dec 27, 2021Updated 4 years ago
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- System for verifying the correctness of generated Copilot programs☆20May 8, 2025Updated last year
- 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.
- Nola: Later-Free Ghost State for Verifying Termination in Iris☆10Aug 2, 2025Updated last year
- 🕵️♀️ Observatoire de la qualité des démarches en ligne☆11Feb 27, 2024Updated 2 years ago
- A comparison of Js_of_ocaml libraries for building reactive UIs☆10May 3, 2022Updated 4 years ago
- ☆12May 19, 2015Updated 11 years ago
- Slides and sources for talks on Tree Borrows☆17Dec 5, 2025Updated 10 months ago
- Job with batch processing and more for PHP☆12Oct 22, 2026Updated last week
- A command line interface for rxing☆10Mar 1, 2023Updated 3 years ago
- ☆17Updated this week
- hapsira - Astrodynamics in Python - a poliastro fork☆44May 9, 2024Updated 2 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.
- Module that provides Lorem Generator utilities for ZendFramework 2 Applications☆14Sep 5, 2012Updated 14 years ago
- Symfony LinkedIn Notifier Bridge☆14Sep 2, 2026Updated last month
- The Oro OS CI/CD pipeline including PCBs, CAD files, firmware and server infrastructure☆13Jun 20, 2026Updated 4 months ago
- Zend Framework 2 + composer skeleton application for Heroku☆13Aug 20, 2014Updated 12 years ago
- An OCaml client library for Discord☆13Jan 24, 2016Updated 10 years ago
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- ☆11Oct 23, 2019Updated 7 years ago
- Docker image providing a Google Fonts proxy using nginx for privacy/GDPR☆14Oct 28, 2025Updated last year
- [GH Action] Requires writing the tests in Pull Requests☆11Jun 14, 2025Updated last year
- 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.
- Generates a list of Zend Framework 2 components used by a project☆14Jul 2, 2016Updated 10 years ago
- Slides and sample build.xml file for the presentation "Automating Deployments with Phing, Capistrano and Liquibase"☆11Mar 2, 2011Updated 15 years ago
- Interleaved client/server code extraction☆12Jan 30, 2022Updated 4 years ago
- Implémentation d'un algorithme permettant de générer un mot de passe fort à partir d'une phrase de passe.☆11Aug 2, 2018Updated 8 years ago
- ☆22Feb 10, 2022Updated 4 years ago
- ☆19Nov 21, 2019Updated 6 years ago
- league/oauth2-client adapter for zend-expressive-authentication☆13Aug 17, 2025Updated last year
- bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)☆13May 6, 2024Updated 2 years ago
- Mechanized baselines for various type system features☆19Apr 14, 2026Updated 6 months 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.
- Blocage des sites utilisant Utiq☆18Jul 22, 2026Updated 3 months ago
- A ppx that takes in css strings and produces a module for accessing the unique names defined within.☆17Jul 10, 2026Updated 3 months ago
- https://framacalc.org☆16Jan 5, 2023Updated 3 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated 2 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Aug 13, 2026Updated 2 months ago
- ☆12Oct 15, 2026Updated 2 weeks ago
- Emit Logs via syslog☆11Feb 10, 2025Updated last year