Alternatives and similar repositories for multik:

Users that are interested in multik are comparing it to the libraries listed below

• contificate / match
  Match compilation algorithm in OCaml
  ☆25Updated 2 months ago
• plt-amy / dep
  A very small implementation of the Calculus of Constructions for experimentation purposes
  ☆15Updated 6 years ago
• matijapretnar / millet
  A ML-like pure functional language that can be used as a template for creating your own language
  ☆28Updated 3 months ago
• ncihnegn / miranda
  Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…
  ☆57Updated 11 months ago
• johnyob / grace
  A fancy diagnostics library that allows your compilers to exit with grace
  ☆72Updated 3 weeks ago
• NickBarnes / inside-ocaml
  Documentation of the OCaml implementation
  ☆53Updated 2 years ago
• c-cube / moonpool
  Commodity thread pools and concurrency primitives for OCaml 5
  ☆59Updated this week
• hydrolarus / toml-idr
  A TOML parser for Idris 2
  ☆17Updated 10 months ago
• Innf107 / vega-prototype
  Prototype for https://github.com/Innf107/vega
  ☆19Updated 9 months ago
• adrieng / melitte
  Toy implementation of Martin-Löf Type Theory
  ☆28Updated 2 years ago
• garrigue / lablgl
  LablGL: an openGL interface for OCaml
  ☆23Updated last year
• smimram / ocaml-alg
  Algebraic structures in OCaml.
  ☆23Updated last month
• janestreet / higher_kinded
  A library with an encoding of higher kinded types in OCaml
  ☆40Updated last week
• ngzhian / ski
  SKI combinators
  ☆54Updated 7 years ago
• andreypopp / type-systems
  Playing with type systems
  ☆50Updated 4 months ago
• hbr / fmlib
  Functional Monadic Library for Ocaml
  ☆53Updated 2 months ago
• RedPRL / algaeff
  🦠 Reusable components based on algebraic effects
  ☆50Updated 7 months ago
• polytypic / f-omega-mu
  Fωμ type checker and compiler
  ☆54Updated 2 years ago
• ioanluca / real-world-idris
  Malfunction backend for Idris with a FFI to OCaml
  ☆28Updated 5 years ago
• Fizzixnerd / ocaml-living
  A safer FFI interface for OCaml
  ☆11Updated 9 months ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• samueldurantes / haildo
  Toy programming language
  ☆19Updated 11 months ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 3 years ago
• dmjio / LC3
  The LC3 virtual machine
  ☆23Updated 4 months ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆108Updated last year
• qexat / ansifmt
  A simple, lightweight library for ANSI formatting with powerful features such as a element-based system for pretty-printing code in the t…
  ☆21Updated 2 months ago
• ocaml-multicore / kcas
  Software Transactional Memory for OCaml
  ☆120Updated last month
• fraidev / tornado
  Tornado is a BitTorrent client written entirely in OCaml.
  ☆56Updated last year
• RedPRL / bantorra
  📚 A library for managing libraries and resolving unit paths
  ☆17Updated 7 months ago
• WhatisRT / meta-cedille
  Minimalistic dependent type theory with syntactic metaprogramming
  ☆57Updated 10 months ago