kenichi-asai / Universe

Related projects: ⓘ

• Drup / dowsing
  ᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
  ☆35Updated last week
• kit-ty-kate / opam-build
  Experimental opam plugin
  ☆17Updated 6 months ago
• objmagic / jaw
  Code using GADT
  ☆37Updated 3 years ago
• essdotteedot / sessions
  Library to provide session types to allow for static verification of protocols between concurrent computations.
  ☆17Updated 7 years ago
• AltGr / opam-bundle
  A tool that creates stand-alone source bundles from opam packages
  ☆26Updated last year
• gretay-js / ocamlfdo
  Feedback-directed optimizer for OCaml
  ☆35Updated 3 years ago
• dbuenzli / uunf
  Unicode text normalization for OCaml
  ☆22Updated last week
• strymonas / strymonas-ocaml
  ☆28Updated 4 months ago
• keigoi / ocaml-mpst
  Multiparty Session Types in OCaml
  ☆56Updated 2 weeks ago
• keigoi / linocaml
  Monad-based linear types in OCaml, with a few syntax extensions
  ☆37Updated 4 years ago
• keigoi / session-ocaml
  An implementation of binary session types in OCaml
  ☆35Updated 5 years ago
• nojb / ocaml-obj-printer
  ☆20Updated 5 years ago
• dbuenzli / utext
  Unicode text for OCaml
  ☆15Updated 6 years ago
• takahisa / finale
  Invertible syntax for OCaml
  ☆30Updated 5 years ago
• barko / bentov
  OCaml implementation of histogram-approximation algorithm
  ☆16Updated last year
• igarnier / clustering
  An OCaml clustering library
  ☆21Updated 3 years ago
• xavierleroy / pringo
  A library of splittable pseudo-random number generators for OCaml
  ☆34Updated 5 months ago
• yallop / metaocaml-letrec
  flexible 'let rec' generation for MetaOCaml
  ☆22Updated last year
• NicolasT / ocaml-free
  A 'free monad' library for OCaml
  ☆22Updated 10 years ago
• c-cube / ocaml-minisat
  OCaml bindings to Minisat
  ☆13Updated 4 months ago
• yallop / ocaml-memcpy
  ☆21Updated last year
• ocaml-opam / opam-0install-solver
  a solver for opam packages using 0install's solver engine
  ☆20Updated last month
• dbuenzli / uucd
  Unicode character database decoder for OCaml
  ☆17Updated last week
• monadius / ocaml_simple_interval
  A simple and portable floating-point interval arithmetic library in OCaml
  ☆9Updated 2 years ago
• let-def / stb_truetype
  OCaml bindings to stb_truetype, a public domain truetype font rasterizer
  ☆11Updated last year
• dbuenzli / stdlib-utf
  Add UTF decoding support to the OCaml Stdlib
  ☆16Updated 2 years ago
• anik545 / OwlPPL
  Final Year Project - A probabilisitic programming language in OCaml
  ☆13Updated 4 years ago
• bvaugon / obytelib
  OCaml bytecode library tools
  ☆32Updated 2 years ago
• mirage / ocaml-diet
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Updated 2 years ago
• craigfe / ocaml-stdlib-type-conversions
  Graphs of the various type conversions provided by the OCaml standard library.
  ☆34Updated 4 years ago