StrykerKKD/Logical 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

StrykerKKD/Logical

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/StrykerKKD/Logical)

Close

StrykerKKD / LogicalView on GitHubMore

• External links
• Readme badge

Minimalistic logic programming framework

☆22Feb 9, 2020Updated 6 years ago

Alternatives and similar repositories for Logical

Users that are interested in Logical are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• ocurrent / citty

  View on GitHub
  CI in tty
  ☆14Jun 26, 2023Updated 2 years ago
• backtracking / bheap

  View on GitHub
  OCaml binary heap implementation by Jean-Christophe Filliatre
  ☆18Nov 29, 2020Updated 5 years ago
• backtracking / hashset

  View on GitHub
  OCaml implementation of sets as hash tables by Jean-Christophe Filliatre
  ☆10Feb 13, 2025Updated last year
• paurkedal / batyr

  View on GitHub
  A jabber logger and web interface
  ☆12Jan 5, 2026Updated 2 months ago
• ocaml-ppx / ppx_getenv

  View on GitHub
  A sample syntax extension using OCaml's new extension points API.
  ☆25Jul 5, 2024Updated last year
• asemio / SZXX

  View on GitHub
  Streaming ZIP XML XLSX parser
  ☆20Dec 22, 2024Updated last year
• huiyaozheng / Mirage-zmq

  View on GitHub
  An implementation of some 0MQ RFCs in OCaml for MirageOS
  ☆11May 20, 2019Updated 6 years ago
• Emmanuel-PLF / facile

  View on GitHub
  FaCiLe a constraint programming library on integer and integer set finite domains written in OCaml
  ☆15Feb 27, 2024Updated 2 years ago
• paurkedal / ocaml-radixmap

  View on GitHub
  Map à la Binary Radix Tree
  ☆19Mar 10, 2022Updated 4 years ago
• cryptosense / records

  View on GitHub
  Dynamic records in OCaml
  ☆26Apr 28, 2023Updated 2 years ago
• OCamlPro / ez_cmdliner

  View on GitHub
  Easy Cmdliner
  ☆13Jan 12, 2026Updated 2 months ago
• dbuenzli / omod

  View on GitHub
  Lookup and load installed OCaml modules
  ☆17Jul 29, 2025Updated 7 months ago
• janestreet / ocaml-compiler-libs

  View on GitHub
  compiler libraries repackaged
  ☆21Jan 4, 2024Updated 2 years ago
• OCamlPro / ocplib-json-typed

  View on GitHub
  Libraries for reliable manipulation JSON objects.
  ☆23May 6, 2022Updated 3 years ago
• dbuenzli / pvec

  View on GitHub
  Persistent vectors for OCaml
  ☆42Feb 19, 2018Updated 8 years ago
• mirage / ocaml-diet

  View on GitHub
  A simple implementation of Discrete Interval Encoding Trees
  ☆28Apr 16, 2022Updated 3 years ago
• hcarty / ezgzip

  View on GitHub
  Very simple gzip library for OCaml
  ☆23May 19, 2021Updated 4 years ago
• mirage / ke

  View on GitHub
  Fast implementation of queue in OCaml
  ☆52Feb 26, 2024Updated 2 years ago
• backtracking / creal

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

  View on GitHub
  Basic control of ANSI compliant terminals and the windows shell.
  ☆45Jan 9, 2024Updated 2 years ago
• LaurentMazare / ocaml.jl

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

  View on GitHub
  Unicode text for OCaml
  ☆14Feb 19, 2018Updated 8 years ago
• talex5 / get-activity

  View on GitHub
  collect activity and format as markdown for a journal
  ☆18Sep 2, 2021Updated 4 years ago
• mirage / ocaml-fat

  View on GitHub
  Read and write FAT format filesystems from OCaml
  ☆25May 31, 2025Updated 9 months ago
• bramford / 2d-exploration-game

  View on GitHub
  A simple 2d exploration game written in OCaml
  ☆16Oct 2, 2018Updated 7 years ago
• ujamjar / reedsolomon

  View on GitHub
  Reed-Solomon Error Correction CODEC
  ☆27Nov 8, 2018Updated 7 years ago
• ocaml-community / easy-format

  View on GitHub
  Pretty-printing library for OCaml
  ☆44Jun 4, 2022Updated 3 years ago
• realworldocaml / craml

  View on GitHub
  CRAM testing framework
  ☆22Sep 9, 2019Updated 6 years ago
• kandu / mew_vi

  View on GitHub
  Modal editing witch, VI interpreter
  ☆11May 29, 2020Updated 5 years ago
• pqwy / tpf

  View on GitHub
  Trivial/Tagless Polytypic Functions
  ☆23Apr 14, 2020Updated 5 years ago
• zshipko / resp

  View on GitHub
  OCaml library for building clients and servers that communicate using the Redis Serialization Protocol
  ☆12Nov 6, 2021Updated 4 years ago
• samoht / topkg-jbuilder

  View on GitHub
  Helpers for using topkg with jbuilder
  ☆15Oct 12, 2017Updated 8 years ago
• dbuenzli / serialkit

  View on GitHub
  Serialization formats toolkit for OCaml (unreleased)
  ☆13Jan 2, 2026Updated 2 months ago
• pqwy / psq

  View on GitHub
  Functional Priority Search Queues for OCaml
  ☆53Mar 30, 2024Updated last year
• bvaugon / ocamlclean

  View on GitHub
  OCaml Bytecode Cleaner
  ☆14Apr 19, 2022Updated 3 years ago
• ocaml / ocaml-library-standard

  View on GitHub
  Documenting how OCaml libraries are managed
  ☆11Oct 4, 2019Updated 6 years ago
• oxidizing / letters

  View on GitHub
  Letters is an OCaml library for creating and sending emails over SMTP using LWT
  ☆55Jan 14, 2025Updated last year
• craigfe / brands

  View on GitHub
  Defunctionalised higher-kinded polymorphism in OCaml.
  ☆20Oct 13, 2020Updated 5 years ago
• janestreet / ppx_csv_conv

  View on GitHub
  Generate functions to read/write records in csv format
  ☆19Jan 15, 2026Updated 2 months ago