Treat Requirements Like Code
☆107Jul 24, 2026Updated this 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☆52Updated this week
- Software for technical documentation and requirements management.☆343Updated this week
- Firmware for snapshot GNSS receiver☆24Oct 10, 2025Updated 9 months ago
- NVidia binary graphics layer for Yocto Linux☆11Jul 31, 2019Updated 6 years ago
- An Ada implementation of James Munns' BBQueue☆11Oct 17, 2025Updated 9 months 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.
- A process for Ada/SPARK software to meet ISO 26262☆31Jul 8, 2025Updated last year
- CFSM - A State Design Pattern for State Machines in C-Language.☆30Oct 30, 2025Updated 8 months ago
- A small repository i use to store small examples i created in an attempt to understand and learn writing rules for the bazel buildsystem☆14Jun 29, 2022Updated 4 years ago
- A sphinx extension to create timelines☆19Jul 13, 2026Updated last week
- Minimal matcher for POSIX Extended Regular Expressions☆22May 25, 2026Updated 2 months ago
- KiCad Test Fixture Generator☆16Mar 16, 2025Updated last year
- A collection of StrictDoc templates for various standards.☆19Jul 12, 2026Updated 2 weeks ago
- Symbolic execution of LLVM IR☆14Jan 3, 2024Updated 2 years ago
- ☆18Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- anticanonicalize is a tool which runs a command with the current working directory set to an "unreachable" version of the directory.☆16Feb 21, 2026Updated 5 months ago
- Interactive charts in sphinx HTML docs, using plot.ly and D3☆31Jan 5, 2024Updated 2 years ago
- Peter Sommerlad's Simple Strong Typing☆34Oct 11, 2023Updated 2 years ago
- Fully featured implementation of Inter-IC (I2C) bus master for FPGAs☆35May 17, 2020Updated 6 years ago
- Experiments with self-synchronizing LFSR scramblers☆16Oct 11, 2020Updated 5 years ago
- A ESP32 based interface between CAN-bus and IoT environments.☆48Mar 13, 2026Updated 4 months ago
- ☆19Updated this week
- Short Course to get Bioinformaticians at CRUK-CI up-to-speed on Docker☆13Nov 11, 2016Updated 9 years ago
- a metaprogramming language that compiles from types☆10Jun 26, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 3D printed files for a faraday cage☆25Jan 19, 2024Updated 2 years ago
- Python client software for the Systems Modeling API.☆59Oct 14, 2021Updated 4 years ago
- sphinxcontrib-images extension☆23Jul 29, 2025Updated 11 months ago
- Matreshka is Ada framework to develop information systems☆26Oct 1, 2022Updated 3 years ago
- PawPad programming header☆18Mar 9, 2023Updated 3 years ago
- Open source hardware down to the chip level!☆30Sep 24, 2021Updated 4 years ago
- A Python library to check physical units☆15Jul 1, 2026Updated 3 weeks ago
- Example project for a Bazel dev environment and IDE support☆15Jul 6, 2026Updated 2 weeks ago
- A debugger which can be used to debug programs that do not want to be debugged☆14Sep 15, 2025Updated 10 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A modernised skeleton for Sphinx themes.☆33Oct 11, 2023Updated 2 years ago
- A lightweight Doxygen extension for Sphinx☆33Updated this week
- ☆23Feb 21, 2024Updated 2 years ago
- A parametric PLCC plug adapter written in OpenSCAD☆18Jan 30, 2026Updated 5 months ago
- PLT Redex models of LVar calculi☆10Apr 6, 2015Updated 11 years ago
- HDL development environment on Nix.☆26Oct 23, 2024Updated last year
- Versatile tool to untangle wires. Made by chip researchers - for chip researchers. This means that the utility is wildly custom and incom…☆73Aug 9, 2025Updated 11 months ago