berke/diamond
A programming language for two-way deterministic pushdown automata with write once read many tracks (WORM-2DPDAs)
Public GitHub Catalog
Discovered Sep 30, 2026
berke / ocaml
Read-only mirror of INRIA SVN
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#19209520GitHub System ID
berkeOrganization / User
PublicVisibility
ActiveCatalog Status
More from berke
berke/ocamlppxmgr
ocamlppxmgr is a meta syntax extension that dynamically loads individual extensions and makes sure they play ball together. (WORK IN PROGRESS)
berke/tuareg
Emacs OCaml mode
berke/ocaml-irc-client
OCaml IRC client library