lcdunstan/reqtrace external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

lcdunstan/reqtrace

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/lcdunstan/reqtrace)

Close

lcdunstan / reqtraceView on GitHubMore

• External links
• Readme badge

Requirement traceability tool for OCaml

☆13Jun 21, 2015Updated 10 years ago

Alternatives and similar repositories for reqtrace

Users that are interested in reqtrace are comparing it to the libraries listed below

• verbosemode / syslogd-mirage

  View on GitHub
  MirageOS Syslog Unikernel
  ☆11Oct 30, 2016Updated 9 years ago
• haesbaert / charrua-unix

  View on GitHub
  A DHCP server for UNIX systems based on charrua-core.
  ☆11May 24, 2017Updated 8 years ago
• mor1 / ocaml-tftp

  View on GitHub
  ☆18Mar 12, 2016Updated 9 years ago
• jonludlam / ocaml-iso-filesystem

  View on GitHub
  Library for manipulating ISO images
  ☆12Jun 28, 2019Updated 6 years ago
• verbosemode / syslog-message

  View on GitHub
  OCaml parser for RFC 3164 Syslog messages
  ☆24Jun 3, 2023Updated 2 years ago
• samoht / ciso

  View on GitHub
  A distributed Continuous Integration engine for opam packages
  ☆18Jan 30, 2022Updated 4 years ago
• avsm / opam-boot

  View on GitHub
  Bootstrap scripts to build standalone OPAM projects
  ☆15Nov 9, 2017Updated 8 years ago
• rudenoise / mirage-dashboard

  View on GitHub
  A dashboard displaying useful data from MirageOS project and its related repositories.
  ☆12Sep 7, 2016Updated 9 years ago
• ruhatch / mirage-btrees

  View on GitHub
  ☆12Apr 22, 2016Updated 9 years ago
• vouillon / animals

  View on GitHub
  A phylogenetic tree of animals
  ☆13Sep 25, 2016Updated 9 years ago
• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Jan 5, 2026Updated last month
• ocaml-opam / Camelus

  View on GitHub
  Bot posting reports on opam-repository pull-request using a web hook
  ☆17Apr 1, 2020Updated 5 years ago
• andreas / mirage-swim

  View on GitHub
  Membership protocol for Mirage unikernel clusters based on SWIM
  ☆18Mar 14, 2016Updated 9 years ago
• essdotteedot / sessions

  View on GitHub
  Library to provide session types to allow for static verification of protocols between concurrent computations.
  ☆17Jan 1, 2017Updated 9 years ago
• hannesm / ocaml-hkdf

  View on GitHub
  HMAC-based Extract-and-Expand Key Derivation Function (HKDF) (RFC 5869)
  ☆12Sep 4, 2024Updated last year
• sternenseemann / torcontrol

  View on GitHub
  OCaml client library for the Tor control port [abandoned]
  ☆10May 1, 2017Updated 8 years ago
• TImada / mirage_iperf

  View on GitHub
  iperf like tool on MirageOS
  ☆11Sep 16, 2025Updated 5 months ago
• fxfactorial / ocaml-libssh

  View on GitHub
  OCaml bindings to libssh
  ☆14Jan 3, 2016Updated 10 years ago
• ocaml / oloop

  View on GitHub
  Evaluate code through the OCaml toploop for inclusion in educational material.
  ☆13Jul 4, 2015Updated 10 years ago
• hannesm / tlsclient

  View on GitHub
  TLS client program
  ☆11Jun 10, 2020Updated 5 years ago
• samoht / mirage-seal

  View on GitHub
  Sealing local directories into Mirage Unikernels
  ☆27May 21, 2016Updated 9 years ago
• rand00 / conntest

  View on GitHub
  MirageOS unikernel to test networking
  ☆16Apr 3, 2023Updated 2 years ago
• janestreet / toplevel_expect_test

  View on GitHub
  Toplevel expectation test
  ☆19Jan 15, 2026Updated last month
• dsheets / blueprint

  View on GitHub
  Simple templating based on XML ropes
  ☆12Sep 4, 2015Updated 10 years ago
• djs55 / ocaml-btree

  View on GitHub
  A b-tree implementation for Mirage BLOCK devices
  ☆15Oct 15, 2016Updated 9 years ago
• talex5 / js-skeleton

  View on GitHub
  sample project showing how to build a Javascript web-app using `js_of_ocaml`, `TyXML` and `React`
  ☆24May 7, 2016Updated 9 years ago
• modlfo / firmata

  View on GitHub
  Ocaml library to control Firmata boards like Arduino
  ☆20Oct 24, 2016Updated 9 years ago
• mirleft / libnqsb-tls

  View on GitHub
  OCaml-TLS exposed to C
  ☆23Feb 27, 2018Updated 8 years ago
• let-def / sturgeon

  View on GitHub
  A toolkit for communicating with Emacs from OCaml
  ☆19Jan 24, 2020Updated 6 years ago
• ygrek / ocaml-bpf

  View on GitHub
  OCaml embedded eBPF assembler
  ☆24Feb 14, 2022Updated 4 years ago
• yomimono / simple-nat

  View on GitHub
  Demonstration NATting unikernel.
  ☆29Jul 8, 2016Updated 9 years ago
• mato / opam-rumprun

  View on GitHub
  OCaml 4.02 cross compiler for the rumprun unikernel stack
  ☆50Dec 8, 2015Updated 10 years ago
• bobot / oci

  View on GitHub
  OCI: framework for continuous integrations and benchmarks
  ☆11Nov 30, 2017Updated 8 years ago
• rleonid / bau

  View on GitHub
  BigArray Utilities
  ☆13Feb 19, 2018Updated 8 years ago
• abeaumont / ocaml-scrypt-kdf

  View on GitHub
  Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04
  ☆17Aug 5, 2021Updated 4 years ago
• mattgray / mirage-xen-virtualbox

  View on GitHub
  Packer template to build Vagrant based Ubuntu + Xen development environment
  ☆19Jan 25, 2016Updated 10 years ago
• mirage / ocaml-fat

  View on GitHub
  Read and write FAT format filesystems from OCaml
  ☆25May 31, 2025Updated 9 months ago
• let-def / inuit

  View on GitHub
  Make interactive text-oriented user-interfaces for OCaml
  ☆23Feb 5, 2020Updated 6 years ago
• mirage / charrua

  View on GitHub
  A DHCP library in OCaml
  ☆61Updated this week