Treat Requirements Like Code
☆88Mar 16, 2026Updated last week
Alternatives and similar repositories for trlc
Users that are interested in trlc are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lightweight Open BMW Software Traceability Evidence Report☆38Mar 16, 2026Updated last week
- Bazel tool for making sure your C++ dependencies match your include statements☆89Mar 8, 2026Updated 2 weeks ago
- Firmware for snapshot GNSS receiver☆23Oct 10, 2025Updated 5 months ago
- Repository for the communication module LoLa☆38Updated this week
- ☆17Updated this week
- A process for Ada/SPARK software to meet ISO 26262☆28Jul 8, 2025Updated 8 months ago
- The goal is to have several examples including multi language projects using Bazel build system☆49Mar 13, 2026Updated last week
- Software Quality Management Tool☆49Mar 10, 2026Updated last week
- Peter Sommerlad's Simple Strong Typing☆34Oct 11, 2023Updated 2 years ago
- A parametric PLCC plug adapter written in OpenSCAD☆16Jan 30, 2026Updated last month
- ☆22Feb 21, 2024Updated 2 years ago
- A Python dependency resolver☆25Mar 2, 2026Updated 3 weeks ago
- ☆15Mar 16, 2026Updated last week
- 3D printed files for a faraday cage☆24Jan 19, 2024Updated 2 years ago
- Matreshka is Ada framework to develop information systems☆26Oct 1, 2022Updated 3 years ago
- Open source hardware down to the chip level!☆30Sep 24, 2021Updated 4 years ago
- A debugger which can be used to debug programs that do not want to be debugged☆14Sep 15, 2025Updated 6 months ago
- ☆74Feb 21, 2026Updated last month
- ☆65Oct 18, 2025Updated 5 months ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 10 years ago
- ☆60Apr 25, 2024Updated last year
- SECD machine and Lispkit Lisp compiler, in Python☆14Oct 25, 2017Updated 8 years ago
- BSC Development Workstation (BDW)☆32Feb 16, 2026Updated last month
- Bazel rules for Qt5☆50Nov 13, 2024Updated last year
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- PawPad programming header☆18Mar 9, 2023Updated 3 years ago
- ☆13Mar 17, 2025Updated last year
- Wasm Analysis Framework For Lightweight Experiments☆57Mar 2, 2026Updated 3 weeks ago
- VS Code Web Extension demonstrating WebUSB access☆19Jun 30, 2022Updated 3 years ago
- Python client software for the Systems Modeling API.☆57Oct 14, 2021Updated 4 years ago
- bazel build rules for creating ebooks in PDF, EPUB and MOBI format☆12Mar 15, 2026Updated last week
- Generate visual studio solution from a bazel workspace.☆13Jan 19, 2022Updated 4 years ago
- Sticky sticky PCI☆10Oct 25, 2018Updated 7 years ago
- A small library that will help you plot and visualize numeric data from serial port.☆12Apr 28, 2018Updated 7 years ago
- USB 1.1 Device IP Core☆21Oct 1, 2017Updated 8 years ago
- base libraries including common functionality☆22Updated this week
- BillBe is an (incomplete) Hobbit BeBox emulator.☆13Sep 18, 2017Updated 8 years ago
- A source for GTFS feed files available nowhere else. URLs are stable. To send in an updated archive or add a new feed, e-mail file to hel…☆29Updated this week
- Firmware for USB to SWD/JTAG probe to debug microcontrollers.☆22Oct 26, 2025Updated 4 months ago