This work is provided under the terms of the EUPL 1.2. The terms of the LICENSE.txt do only apply for the official release of the eIDAS Middleware, which is provided by Governikus GmbH & Co. KG on behalf of the German Federal Government.
☆40Jan 28, 2026Updated 3 months ago
Alternatives and similar repositories for eidas-middleware
Users that are interested in eidas-middleware are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- GARO - serverless (AWS Lambda) GitHub Actions self-hosted EC2 runner orchestration tool☆12Jul 19, 2023Updated 2 years ago
- ☆13Updated this week
- Change your Sublime tmTheme files by applying different color filters on the fly.☆25Dec 5, 2025Updated 5 months ago
- Create and manage needs on GOV.UK☆16Aug 7, 2025Updated 8 months ago
- Retired pull request and build status monitor☆38Sep 30, 2021Updated 4 years ago
- 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.
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated 4 months ago
- Documentation for Reliability Engineering services☆11Mar 1, 2024Updated 2 years ago
- 💠 HL7: FHIR Application Server ISO/HL7 27931:2009☆11Feb 17, 2026Updated 2 months ago
- Lwt with async backend☆18Jan 2, 2014Updated 12 years ago
- A passport.js strategy for GOV.UK Verify☆16Aug 11, 2023Updated 2 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Experiments with effect systems☆12Apr 18, 2016Updated 10 years ago
- A64: ARM64 Assembler for Erlang☆11Sep 30, 2020Updated 5 years ago
- Design files for the CMSIS-DAP debugger☆11May 14, 2021Updated 4 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- (Extremely) simple standalone symbolic algebra library in OCaml. (Mirrored from original site.)☆12Oct 6, 2011Updated 14 years ago
- My config and scripts for kubernetes on xen☆10Aug 21, 2017Updated 8 years ago
- Embed excel file as an excel-alike table into sphinx documentation☆13Aug 20, 2017Updated 8 years ago
- ☆13Feb 25, 2018Updated 8 years ago
- 💬 CHAT: Instant Messenger. ITU/IETF: 3394, 3565, 5280, 5480, 5652, 5755 8551, X.509, CMS, PKCS-10, PCKS-7, OCSP, LDAP, DNS; ANSI: X9-42,…☆10Apr 19, 2026Updated 2 weeks ago
- Reads Trello's crappy API documentation pages and generates a swagger file.☆10Jul 19, 2015Updated 10 years ago
- Tiny dependent calculus with inference of irrelevance and erasure☆15Jan 17, 2020Updated 6 years ago
- Quantum-proof, 768-bit signatures for 1-bit messages☆12Mar 11, 2020Updated 6 years ago
- Add UTF decoding support to the OCaml Stdlib☆16Sep 4, 2022Updated 3 years ago
- 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.
- ☆16Nov 18, 2022Updated 3 years ago
- eMMC / SD Card testing library☆10Jul 2, 2025Updated 10 months ago
- Bootloader for STM32F103 boards, for use with the Arduino_STM32 repo and the Arduino IDE☆14Aug 6, 2025Updated 9 months ago
- A set of API adapters to work with the GOV.UK APIs☆20Apr 28, 2026Updated last week
- Topology library for Coq☆12Dec 24, 2015Updated 10 years ago
- Constructive definition of real numbers implemented in agda.☆10Jul 31, 2016Updated 9 years ago
- Groupoids vs 1-Types☆11Nov 8, 2018Updated 7 years ago
- Base Formality libraries☆10Mar 4, 2019Updated 7 years ago
- An unofficial PlantUML theme for HSL☆10Dec 27, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- btree written in c☆10Feb 26, 2015Updated 11 years ago
- A library to build declarative, composable, reactive user interfaces with WebSharper.☆14Mar 29, 2026Updated last month
- A standalone AES-KW (AES Key Wrap) implementation.☆14Dec 31, 2023Updated 2 years ago
- Armbian build tools☆11Apr 6, 2020Updated 6 years ago
- BluePill+ GD32 Series, GD32F103CBT6☆11Jun 19, 2022Updated 3 years ago
- NAGA: Erlang Web Framework☆10Sep 7, 2018Updated 7 years ago
- Erlang HMAC-based Extract-and-Expand Key Derivation Function (HKDF)☆12Dec 2, 2021Updated 4 years ago