vasilisp/inez 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

vasilisp/inez

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/vasilisp/inez)

Close

vasilisp / inezView on GitHubMore

• External links
• Readme badge

A Constraint Solver

☆12Dec 4, 2015Updated 10 years ago

Alternatives and similar repositories for inez

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

• choeger / ppx_deriving_morphism

  View on GitHub
  Deriving morphisms for OCaml data structures
  ☆10Aug 28, 2019Updated 6 years ago
• vouillon / animals

  View on GitHub
  A phylogenetic tree of animals
  ☆13Sep 25, 2016Updated 9 years ago
• xvw / drumaderian

  View on GitHub
  Drumaderian is a small framework for building VideoGame over Js_of_ocaml using Canvas. But... still in progress !
  ☆12Jun 24, 2017Updated 8 years ago
• rleonid / bau

  View on GitHub
  BigArray Utilities
  ☆13Feb 19, 2018Updated 8 years ago
• avsm / opam-boot

  View on GitHub
  Bootstrap scripts to build standalone OPAM projects
  ☆15Nov 9, 2017Updated 8 years ago
• yomimono / ppx_deriving_crowbar

  View on GitHub
  a ppx_deriving plugin for crowbar generators
  ☆20Jul 1, 2019Updated 6 years ago
• typesanitizer / b2piet

  View on GitHub
  ☆10Nov 1, 2017Updated 8 years ago
• kayceesrk / irmin-datatypes

  View on GitHub
  A collection of functional, mergeable datatypes for Irmin
  ☆12Dec 25, 2016Updated 9 years ago
• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Jan 5, 2026Updated last month
• cryptosense / key-parsers

  View on GitHub
  OCaml parsers for multiple key formats
  ☆15Aug 1, 2024Updated last year
• ciaran16 / shell

  View on GitHub
  Lets you create interactive shells in OCaml.
  ☆10Sep 13, 2016Updated 9 years ago
• jacquev6 / Collide

  View on GitHub
  Event-based simulation of elastic collisions between balls
  ☆14May 27, 2020Updated 5 years ago
• sgreben / ocaml-rename

  View on GitHub
  An .mli-aware command-line renaming tool for OCaml projects
  ☆10Jan 5, 2016Updated 10 years ago
• mirage / mmap

  View on GitHub
  File mapping
  ☆13Dec 14, 2023Updated 2 years ago
• jacquev6 / hashids-ocaml

  View on GitHub
  OCaml implementation of http://hashids.org
  ☆12Nov 17, 2018Updated 7 years ago
• ocaml / oloop

  View on GitHub
  Evaluate code through the OCaml toploop for inclusion in educational material.
  ☆13Jul 4, 2015Updated 10 years ago
• janestreet-deprecated / ppx_driver

  View on GitHub
  Deprecated, use ocaml-ppx/ppxlib instead
  ☆14Mar 29, 2018Updated 7 years ago
• Chris00 / mesh

  View on GitHub
  Triangular mesh generation and manipulation
  ☆13Jul 3, 2021Updated 4 years ago
• skydeck / cmitomli

  View on GitHub
  Convert a cmi file back to an mli interface
  ☆13Oct 4, 2012Updated 13 years ago
• ocsigen / ocaml-eliom

  View on GitHub
  A modified OCaml compiler for eliom programs
  ☆10Jan 16, 2017Updated 9 years ago
• janestreet / toplevel_expect_test

  View on GitHub
  Toplevel expectation test
  ☆19Jan 15, 2026Updated last month
• let-def / assimp

  View on GitHub
  Bindings to Assimp, a 3D assets (mesh, material, scenes) importer
  ☆11Nov 28, 2016Updated 9 years ago
• hennequin-lab / gp

  View on GitHub
  Simple OCaml interface for Gnuplot
  ☆11Oct 6, 2021Updated 4 years ago
• c-cube / ocaml-minisat

  View on GitHub
  OCaml bindings to Minisat
  ☆12May 6, 2024Updated last year
• dsheets / blueprint

  View on GitHub
  Simple templating based on XML ropes
  ☆12Sep 4, 2015Updated 10 years ago
• mlin / should.ml

  View on GitHub
  Literate assertions for OCaml
  ☆18Oct 3, 2019Updated 6 years ago
• yallop / ocaml-safe-string-buffer

  View on GitHub
  A buffer implementation optimized for immutable strings.
  ☆14Feb 5, 2016Updated 10 years ago
• mbarbin / cmdlang

  View on GitHub
  Declarative command-line parsing for OCaml
  ☆17Feb 17, 2026Updated last week
• Armael / lam

  View on GitHub
  ☆15Mar 12, 2016Updated 9 years ago
• dsheets / ocaml-osx-cf

  View on GitHub
  CoreFoundation bindings in OCaml
  ☆15Jul 14, 2020Updated 5 years ago
• Chris00 / ocaml-dropbox

  View on GitHub
  Binding to the Dropbox Remote API
  ☆12Jun 13, 2020Updated 5 years ago
• kayceesrk / ocaml15-eff

  View on GitHub
  Examples for Algebraic Effects talk at OCaml'15 Workshop
  ☆15May 31, 2016Updated 9 years ago
• charlesetc / Orb

  View on GitHub
  A quirky object oriented standard library for ocaml
  ☆17Apr 11, 2021Updated 4 years ago
• let-def / distwit

  View on GitHub
  Distribute/marshal instances of ocaml extensible variant types and exceptions
  ☆16Nov 26, 2016Updated 9 years ago
• jeffa5 / mirage-xmpp

  View on GitHub
  Moved to https://git.jeffas.net
  ☆16Apr 8, 2019Updated 6 years ago
• ocaml-doc / octavius

  View on GitHub
  ocamldoc comment syntax parser
  ☆20Apr 30, 2020Updated 5 years ago
• lcdunstan / reqtrace

  View on GitHub
  Requirement traceability tool for OCaml
  ☆13Jun 21, 2015Updated 10 years ago
• fxfactorial / lambda-invaders

  View on GitHub
  OCaml based version of space-invaders
  ☆14Aug 27, 2015Updated 10 years ago
• c-cube / ocaml-bigstring

  View on GitHub
  Overlay over bigarrays of chars
  ☆13Oct 23, 2020Updated 5 years ago