janus/type-systems
Implementations of various type systems in OCaml.
Class2Go is the project codename for Stanford's internal platform for on-line courses.
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.