janus/type-systems
Implementations of various type systems in OCaml.
Public GitHub Catalog
Discovered Sep 24, 2026
janus / Essentials-of-interpretation
Small lessons on the computer programs interpretation
About this discovery
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
#2235623GitHub System ID
janusOrganization / User
PublicVisibility
ActiveCatalog Status
More from janus
janus/nope.c
nope.c is a C language-based software platform for scalable server-side and networking applications. Think node.js for C programmers.
janus/okws
The OK Web Server
janus/free-programming-books
Public repository.