granstrom/intuitionistic 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

granstrom/intuitionistic

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/granstrom/intuitionistic)

Close

granstrom / intuitionisticView on GitHubMore

• External links
• Readme badge

Automatically exported from code.google.com/p/intuitionistic

☆31Apr 8, 2015Updated 10 years ago

Alternatives and similar repositories for intuitionistic

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

• jpt4 / skio

  View on GitHub
  Pure relational SKI combinator calculus interpreter.
  ☆11Jul 13, 2017Updated 8 years ago
• alan-j-hu / ocaml-textmate-language

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

  View on GitHub
  Small tensor library a la GLSL
  ☆17Oct 28, 2022Updated 3 years ago
• RedPRL / yuujinchou

  View on GitHub
  👹 A library for hierarchical names and lexical scoping
  ☆26Nov 21, 2025Updated 3 months ago
• ecavallo / ptt

  View on GitHub
  Experimental type-checker for internally parametric type theory
  ☆32Mar 27, 2025Updated 11 months ago
• dorchard / effects-as-sessions

  View on GitHub
  Formalised embedding of an imperative language with effect system into session-typed pi calculus.
  ☆29Nov 28, 2024Updated last year
• Drup / tree_layout

  View on GitHub
  Algorithms to layout trees in a pretty manner.
  ☆36Mar 7, 2022Updated 3 years ago
• Toxaris / pts

  View on GitHub
  Interpreter for functional pure type systems.
  ☆21Jun 30, 2017Updated 8 years ago
• tel / ocaml-transducers

  View on GitHub
  Transducers in OCaml. About as Haskelly as you can manage. Hoping to fix that.
  ☆16Feb 14, 2015Updated 11 years ago
• voodoos / mlts

  View on GitHub
  ☆12Dec 9, 2022Updated 3 years ago
• anik545 / OwlPPL

  View on GitHub
  Final Year Project - A probabilisitic programming language in OCaml
  ☆14May 10, 2020Updated 5 years ago
• craigfe / ppx_irmin

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

  View on GitHub
  A revival of the TREE-META compiler-compiler.
  ☆15May 15, 2018Updated 7 years ago
• craigfe / generalised-signatures

  View on GitHub
  ☆12Mar 15, 2021Updated 4 years ago
• gildor478 / ocaml-gettext

  View on GitHub
  ☆13Aug 4, 2025Updated 7 months ago
• hyper-systems / ocaml-coap

  View on GitHub
  Constrained Application Protocol (RFC 7252) implementation for OCaml.
  ☆12Apr 3, 2024Updated last year
• SjVer / Lamb

  View on GitHub
  An implementation of Colin James' "Compiling Lambda Calculus"
  ☆16Sep 29, 2022Updated 3 years ago
• yallop / metaocaml-letrec

  View on GitHub
  flexible 'let rec' generation for MetaOCaml
  ☆28Jan 25, 2026Updated last month
• c-cube / ocaml-gnuplot

  View on GitHub
  bindings to gnuplot (fork of https://bitbucket.org/ogu/gnuplot-ocaml/)
  ☆13May 6, 2024Updated last year
• Firobe / 6502-ml

  View on GitHub
  6502 chip simulator in OCaml
  ☆13Mar 14, 2024Updated last year
• imneme / mini-sk

  View on GitHub
  A Small Combinator-Reduction System
  ☆18Jul 14, 2020Updated 5 years ago
• PLTools / GT

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

  View on GitHub
  macOS bindings to the FSEvents API
  ☆18Nov 24, 2025Updated 3 months ago
• janestreet / toplevel_expect_test

  View on GitHub
  Toplevel expectation test
  ☆19Jan 15, 2026Updated last month
• Drup / pl-experiments

  View on GitHub
  ☆12Jul 10, 2020Updated 5 years ago
• ocaml-multicore / ocaml-iocp

  View on GitHub
  OCaml bindings to Windows' IOCP API
  ☆17Apr 19, 2023Updated 2 years ago
• Octachron / ffmt

  View on GitHub
  Format string experimentations
  ☆13Jul 19, 2021Updated 4 years ago
• bikallem / jsoo_todomvc

  View on GitHub
  Todo App implemented in js_of_ocaml
  ☆22Sep 12, 2020Updated 5 years ago
• backtracking / ocaml-bdd

  View on GitHub
  A simple BDD library for OCaml
  ☆13May 20, 2025Updated 9 months ago
• mlin / should.ml

  View on GitHub
  Literate assertions for OCaml
  ☆18Oct 3, 2019Updated 6 years ago
• Armael / lam

  View on GitHub
  ☆15Mar 12, 2016Updated 9 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
• rvantonder / lsif-ocaml

  View on GitHub
  ☆16Jul 4, 2020Updated 5 years ago
• backtracking / creal

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

  View on GitHub
  Requirement traceability tool for OCaml
  ☆13Jun 21, 2015Updated 10 years ago
• RedPRL / bantorra

  View on GitHub
  📚 A library for managing libraries and resolving unit paths
  ☆17Nov 21, 2025Updated 3 months ago
• Drup / functoria-lua

  View on GitHub
  Building Lua interpreters with lot's of functors
  ☆13Jul 31, 2018Updated 7 years ago
• dbuenzli / utext

  View on GitHub
  Unicode text for OCaml
  ☆14Feb 19, 2018Updated 8 years ago
• mjambon / cmitomli

  View on GitHub
  Convert a cmi file back to an mli interface
  ☆20Jan 18, 2015Updated 11 years ago