ocaml-wire
OCaml wire format DSL with EverParse 3D output for verified parsers
OCaml
ocaml-qemu
QEMU/KVM virtual machine management via QMP
OCaml
ocaml-sexpt
S-expression parsing library with typed codecs for OCaml
OCaml
ocaml-clcw
CCSDS Command Link Control Word (CLCW) for spacecraft command
OCaml
ocaml-uslp
CCSDS USLP (Unified Space Link Protocol) Transfer Frame- unified TM/TC/AOS
OCaml
ocaml-aos
CCSDS AOS (Advanced Orbiting Systems) Transfer Frame for satellite downlinks
OCaml
monopam-info
Build information library for monopam tools.
OCaml
ocaml-tcpcl
TCP Convergence Layer for Bundle Protocol (RFC 9174)
C
bp-policy
Bundle Protocol policy language for routing, custody, and storage decisions
ocaml-cfdp
CCSDS File Delivery Protocol (CCSDS 727.0-B-5) for space file transfer
OCaml
ocaml-git
Git object storage and pack files for Eio
OCaml
ocaml-init
Minimal PID 1 init with service supervision for containers and VMs
ocaml-tc
CCSDS TC Transfer Frames (CCSDS 232.0-B-4)
OCaml
ocaml-bloom
Bloom filter for probabilistic membership testing
OCaml
merlint
Opinionated OCaml linter with Merlin integration for code quality, naming conventions, and style checks
OCaml
ocaml-merlin
Clean interface for OCaml Merlin operations
OCaml
ocaml-ltp
Licklider Transmission Protocol (CCSDS 734.1-B) for reliable DTN links
OCaml
ocaml-car
ontent Addressable aRchive (CAR) format - IPLD spec for bundling content-addressed blocks
ocaml-bpsec
Bundle Protocol Security (RFC 9172) - authentication and encryption for DTN
OCaml
ocaml-merlin
Clean interface for OCaml Merlin operations
borealis
DTN controller and policy language for satellite networks
OCaml
ocaml-homebrew
Homebrew bottle builder and tap manager for OCaml monorepos
OCaml
ocaml-cgr
Contact Graph Routing for time-varying satellite networks
OCaml
borealis
DTN daemon with policy DSL for software-defined satellite networking
ocaml-sstable
Sorted String Table (SSTable) format - LevelDB-compatible immutable KV files
ocaml-btree
Pure OCaml B-tree implementation for persistent storage
OCaml
ocaml-bundle
Bundle Protocol Version 7 (RFC 9171) for Delay-Tolerant Networking
OCaml
irmin
Persistent store with Git semantics: lazy reads, delayed writes, content-addressing
OCaml
1
ocaml-block
Block device abstraction for OCaml 5 with Eio direct-style I/O and Bytesrw integration
OCaml
1
ocaml-lsm
Log-Structured Merge Tree combining WAL, memtable, and SSTable
prev 1 — 4 5 6 — 8 next