☆13Oct 30, 2020Updated 5 years ago
Alternatives and similar repositories for bmd
Users that are interested in bmd are comparing it to the libraries listed below
Sorting:
- Sets of Half-Average Nulls Generate Risk-Limiting Audits: tools for assertion-based risk-limiting election audits☆11Jul 17, 2025Updated 7 months ago
- A port of electionguard-python to Java.☆11Dec 8, 2023Updated 2 years ago
- ☆13Jul 14, 2025Updated 7 months ago
- This repository collects proposals to enhance Schematron beyond the ISO specification☆10Feb 8, 2022Updated 4 years ago
- ☆14Jan 16, 2026Updated last month
- XML/XSLT processing in the browser, supported by a Typescript library☆10Feb 18, 2025Updated last year
- rachio_local☆13Nov 14, 2025Updated 3 months ago
- Custom Browser module for SDK☆11May 9, 2024Updated last year
- Fast, efficient, private cloud store☆10Apr 6, 2017Updated 8 years ago
- ☆35Feb 21, 2026Updated last week
- 📓General styleguides & documentation for modern product development☆10Jul 9, 2019Updated 6 years ago
- Sophisticated CSS only templates for HTML forms☆11Aug 10, 2011Updated 14 years ago
- ☆12Aug 28, 2014Updated 11 years ago
- A domain specific language for requirements engineering. Besides the DSL, the REL framework contains Python integration, and a Visual Stu…☆11Apr 24, 2022Updated 3 years ago
- Kubernetes versioning prototype☆11May 26, 2016Updated 9 years ago
- Proof of concept code for VoteAgain paper☆10Jul 23, 2023Updated 2 years ago
- A LaTeX template using the OSCOLA referencing system, intended for law theses, articles, and books.☆11Aug 9, 2022Updated 3 years ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 9 years ago
- A falling tetromino game for the Playdate☆11Jan 14, 2024Updated 2 years ago
- Utilities for testing Kubernetes installations☆12Jan 16, 2018Updated 8 years ago
- Dockerized PgPool-II for PostgreSQL on AWS RDS☆10Mar 29, 2023Updated 2 years ago
- ☆13Feb 17, 2026Updated last week
- XML Calabash 3 is an implementation of the XProc 3.0 XML pipeline language.☆11Oct 24, 2024Updated last year
- Models for authenticated key exchange in Tamarin☆12Oct 9, 2019Updated 6 years ago
- Holds the recipe to run our street data converter locally via docker-compose: https://converter.gis-ops.com☆11Mar 2, 2022Updated 3 years ago
- Reference implementation for the climate segmentation benchmark, based on the Exascale Deep Learning for Climate Analytics work☆10May 6, 2020Updated 5 years ago
- Learn the Design of a 6-stage pipelined RISC-V CPU☆17Oct 22, 2025Updated 4 months ago
- Java API for the AkomaNtoso XML Schema☆15Jun 29, 2017Updated 8 years ago
- Lists a public S3 bucket☆13Oct 17, 2015Updated 10 years ago
- Implement the Baseline CSS framework in Sass☆33May 28, 2011Updated 14 years ago
- Plugin to support Dex dynamic OIDC authorization to Vault.☆10Apr 10, 2019Updated 6 years ago
- ☆10Jan 6, 2024Updated 2 years ago
- A process for Ada/SPARK software to meet ISO 26262☆28Jul 8, 2025Updated 7 months ago
- Multi Task GPT Model for Sign Language☆14Feb 16, 2025Updated last year
- Reinvent 2019 GPU lab☆13May 12, 2020Updated 5 years ago
- Power Platform CLI Wrapper☆19Nov 18, 2025Updated 3 months ago
- Feature Store for Machine Learning, published by Packt☆12Feb 5, 2026Updated 3 weeks ago
- Amazon F1-inspired Xilinx VCU118 hardware design framework☆13Jan 4, 2021Updated 5 years ago
- A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.☆18Jun 21, 2015Updated 10 years ago