g15ecb/type-systems
Implementations of various type systems in OCaml.
Package and build management system for D
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Implementations of various type systems in OCaml.
A Parser Combinator library for C
A fault-tolerant network service for meaningful GUID generation
A reference implementation for using the go-raft library for distributed consensus.