Tipoca/fgl
FGL - A Functional Graph Library
Developer Profile
Tipoca
Discovered public repositories for Tipoca in the GitHub catalog.
Tipoca/dule
Dule compiler
Tipoca/ensemble
The Ensemble Distributed Communication System
Tipoca/dml
Dependent ML
Tipoca/intuitionistic
Intuitionistic Programming Language
Tipoca/unison
Unison File Synchronizer
Tipoca/ocaml-regexp
Claude Marché's (very fast) Regexp Library for OCaml.
Tipoca/handbook-of-practical-logic-and-automated-reasoning
Code from John Harrison's "Handbook of Practical Logic and Automated Reasoning"
Tipoca/hlvm
High-Level Virtual Machine for statically-typed functional languages.
Tipoca/ntplib
An irregularly-updated clone of Charles-Francois Natali's NTP client library for Python.