Giters
codex-semantics-library

codex-semantics-library

Organization data from Github https://github.com/codex-semantics-library

GitHub:@codex-semantics-library

codex-semantics-library's repositories

codex

The main codex repository

Language:OCamlLicense:LGPL-2.1Stargazers:24Issues:1Issues:0

patricia-tree

Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys

Language:OCamlLicense:LGPL-2.1Stargazers:15Issues:2Issues:5

codex-semantics-library.github.io

Github pages for the codex semantics library

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0