voodoos/mlts external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

voodoos/mlts

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/voodoos/mlts)

Close

voodoos / mltsView on GitHubMore

• External links
• Readme badge

☆12Dec 9, 2022Updated 3 years ago

Alternatives and similar repositories for mlts

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

• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 9 months ago
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• alan-j-hu / ocaml-textmate-language

  View on GitHub
  Library for tokenizing code with TextMate grammars
  ☆12Jan 4, 2024Updated 2 years ago
• chetmurthy / ensemble

  View on GitHub
  The Ensemble distributed communications toolkit
  ☆13Jul 26, 2020Updated 5 years ago
• arlencox / QUICr

  View on GitHub
  QUICr parametric abstract domain for sets
  ☆12Jul 2, 2015Updated 10 years ago
• soren-n / bidi-higher-rank-poly

  View on GitHub
  Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…
  ☆22May 20, 2021Updated 4 years ago
• backtracking / ocaml-bazaar

  View on GitHub
  ☆16Jan 4, 2026Updated last month
• PLTools / GT

  View on GitHub
  Datatype-generic object-oriented transformations for OCaml
  ☆17Nov 16, 2025Updated 3 months ago
• Chris00 / ocaml-interval

  View on GitHub
  An interval library for OCaml
  ☆16Dec 9, 2022Updated 3 years ago
• jfeser / bitarray

  View on GitHub
  Fast vectorized bitarrays for OCaml
  ☆16Jul 11, 2023Updated 2 years ago
• pqwy / ocaml-papi

  View on GitHub
  Performance Application Programming Interface for OCaml
  ☆15Oct 25, 2022Updated 3 years ago
• termite-analyser / llvm2smt

  View on GitHub
  OCaml library to transform an Llvm control flow graph in an SMT formula.
  ☆13Apr 20, 2018Updated 7 years ago
• Octachron / phantom_algebra

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• frex-project / metaocaml-frex

  View on GitHub
  ☆24May 16, 2025Updated 9 months ago
• backtracking / creal

  View on GitHub
  An exact real arithmetic (aka constructive reals) for OCaml
  ☆13Jun 14, 2024Updated last year
• LaurentMazare / ocaml.jl

  View on GitHub
  Prototype code for some Julia-OCaml bindings
  ☆16Jan 3, 2021Updated 5 years ago
• joscoh / why3-semantics

  View on GitHub
  Formal Semantics for Why3
  ☆20Sep 28, 2025Updated 5 months ago
• fplaunchpad / verified_ocaml_gc

  View on GitHub
  For Jar artifacts
  ☆20Nov 8, 2025Updated 3 months ago
• yallop / ocaml-charset

  View on GitHub
  Fast char sets
  ☆20May 5, 2025Updated 9 months ago
• OCamlPro / ocplib-simplex

  View on GitHub
  A library implementing a simplex algorithm, in a functional style, for solving systems of linear inequalities
  ☆16Dec 11, 2024Updated last year
• jonsterling / tt

  View on GitHub
  secret project
  ☆17Mar 14, 2018Updated 7 years ago
• LaurentMazare / ocaml-wasmtime

  View on GitHub
  OCaml WebAssembly runtime powered by Wasmtime
  ☆35May 2, 2022Updated 3 years ago
• codinuum / cca

  View on GitHub
  Code Continuity Analysis Framework
  ☆23Mar 3, 2025Updated 11 months ago
• JacquesCarette / finally-tagless

  View on GitHub
  Repo of the original work on finally tagless (and a lot of other metaocaml work besides)
  ☆43Nov 28, 2018Updated 7 years ago
• patricoferris / ocaml-search

  View on GitHub
  Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml
  ☆25Jan 11, 2023Updated 3 years ago
• bn-d / ppx_subliner

  View on GitHub
  [@@ deriving] plugin to generate Cmdliner sub-command groups, and ppx rewriter to generate Cmdliner evaluations.
  ☆21Jan 18, 2026Updated last month
• pqwy / tpf

  View on GitHub
  Trivial/Tagless Polytypic Functions
  ☆23Apr 14, 2020Updated 5 years ago
• mirage / ocaml-pcap

  View on GitHub
  OCaml code for generating and analysing pcap (packet capture) files
  ☆20May 31, 2025Updated 9 months ago
• yallop / metaocaml-letrec

  View on GitHub
  flexible 'let rec' generation for MetaOCaml
  ☆28Jan 25, 2026Updated last month
• dakk / yallo-lang

  View on GitHub
  A smart contract language for Tezos
  ☆12Mar 25, 2022Updated 3 years ago
• johnridesabike / acutis

  View on GitHub
  Mirror for https://sr.ht/~johnridesabike/acutis/
  ☆26Dec 16, 2025Updated 2 months ago
• pascutto / cachecache

  View on GitHub
  Efficient caching library for OCaml
  ☆33Sep 27, 2023Updated 2 years ago
• dbuenzli / trel

  View on GitHub
  Relational programming for OCaml (unreleased)
  ☆24Jun 6, 2022Updated 3 years ago
• lpw25 / implicits-module-system

  View on GitHub
  Work on modular implicits
  ☆25Oct 23, 2018Updated 7 years ago
• janestreet / result

  View on GitHub
  Compat result type
  ☆13Feb 22, 2020Updated 6 years ago
• aantron / dream-serve

  View on GitHub
  Live-reloading server for static sites (eventually also dynamic)
  ☆49May 25, 2023Updated 2 years ago
• smimram / snippetor

  View on GitHub
  Extract snippets from code specified by comments.
  ☆11Oct 22, 2024Updated last year
• mirage / ocaml-dkim

  View on GitHub
  DKIM support on e-mail
  ☆11Feb 5, 2026Updated 3 weeks ago
• craigfe / ppx_irmin

  View on GitHub
  OCaml PPX extension for automatically generating Irmin types
  ☆11Jan 14, 2020Updated 6 years ago