Idris2 libraries and tools.
-
cno/- CNO (Computational Narrative Ontology) for Idris2 -
dyadt/- Dyadic type theory implementation -
echidna/- Echidna formal verification bindings -
xml-toolkit/- XML 7.44 processing toolkit
idris2-ecosystem
Directory actions
More options
Directory actions
More options
idris2-ecosystem
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||