janus/type-systems
Implementations of various type systems in OCaml.
A collection of puzzles to be solved in Ruby.
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.
nope.c is a C language-based software platform for scalable server-side and networking applications. Think node.js for C programmers.
The OK Web Server
Public repository.