c-cube/ocaml-ty
[clone] Fork of ocaml-ty by Grégoire Henry (original url https://gitorious.org/ocaml-ty/)
Developer Profile
c-cube
Discovered public repositories for c-cube in the GitHub catalog.
c-cube/bencode
Bencode (.torrent file format) reader/writer in OCaml
c-cube/bibtex
repository for sharing bibtex files
c-cube/dolog
A dumb OCaml logger
c-cube/ocaml-irc-client
OCaml IRC client library
c-cube/lwt_scheduler
Utils to schedule tasks in the future, using Lwt
c-cube/qcheck
QuickCheck inspired property-based testing for OCaml.
c-cube/bencode_rpc
[toy] Remote Procedure Call with B-encode serialization and Lwt concurrency (probably not production ready).
c-cube/logtk
[migrated to https://github.com/c-cube/zipperposition] Logic toolkit, designed primarily for first-order automated reasoning. It aims at providing basic types and algorithms (terms, unification, orderings, indexing, etc.) that can be factored out of several applications.
c-cube/choice
Choice operator in OCaml, providing a backtracking monad
c-cube/indexed-set
OCaml implementation of indexed sets (inspired from Haskell's ixSet library)
c-cube/ocaml-chord
[unfinished] Chord DHT implementation in OCaml (not production-ready)
c-cube/ocaml
Read-only mirror of INRIA SVN
c-cube/mixtbl
Statically-typed heterogenous hash table
c-cube/batteries-included
Batteries Included project
c-cube/ocaml-containers
A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
c-cube/jsonm
Mirrors http://erratique.ch/repos/jsonm/ no pull requests, please send patches by email.
c-cube/iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
c-cube/datalog
An in-memory datalog implementation for OCaml.
c-cube/tstp-proof-checker
[old] a simple OCaml proof-checker for TSTP cnf/fof derivations. It calls external provers to check every proof step.
c-cube/IKSML
[toy] industrial-strength implementation of the SKI calculus, using XML