Alternatives and similar repositories for prolog-isolation-checker

Users that are interested in prolog-isolation-checker are comparing it to the libraries listed below

• rescript-association / doc-tools

  View on GitHub
  A toolset for Reason / OCaml related documentation generation
  ☆14Apr 9, 2020Updated 5 years ago
• pensquid / yobmef

  View on GitHub
  Weird toy chess engine written *very much from scratch* in Rust.
  ☆14Jun 20, 2023Updated 2 years ago
• zachwhalen / Ivanhoe-Ivanhoe

  View on GitHub
  This is a repository for an experimental literary project: producing imaginary source code for novels.
  ☆19Dec 9, 2011Updated 14 years ago
• GodotGarden / contraption-game

  View on GitHub
  Drag-and-drop game elements to explore the Godot physics engine.
  ☆11May 1, 2018Updated 7 years ago
• jmid / wasm-prop-tester

  View on GitHub
  A stack-driven generator of arbitrary WebAssembly programs
  ☆19Sep 5, 2021Updated 4 years ago
• bitonic / zurihac-plays

  View on GitHub
  ☆12Jun 13, 2017Updated 8 years ago
• silentenemy / asmbrain

  View on GitHub
  A bare metal brainf*ck interpreter written in pure assembly language
  ☆11Aug 12, 2018Updated 7 years ago
• sirlensalot / tatterdemalion

  View on GitHub
  Ragged writings on all things
  ☆15Jan 24, 2022Updated 4 years ago
• parsonsmatt / ql-purs

  View on GitHub
  QuickLift frontend in PureScript
  ☆15Mar 25, 2016Updated 9 years ago
• kade-robertson / stuck

  View on GitHub
  A stack-based esoteric programming language.
  ☆11Mar 1, 2018Updated 7 years ago
• etaoins / llambda

  View on GitHub
  Scheme R7RS frontend for LLVM
  ☆69Jan 3, 2018Updated 8 years ago
• parsonsmatt / QuickLift

  View on GitHub
  Web application to quickly and easily log your weightlifting sessions
  ☆39Apr 28, 2016Updated 9 years ago
• panglesd / ocaml-diffutils

  View on GitHub
  An ocaml library for manipulating diffs.
  ☆19Feb 12, 2024Updated 2 years ago
• NonerKao / BICIB

  View on GitHub
  BICIB: Brainfuck Interpreter/Compiler In Brainfuck
  ☆15Sep 25, 2015Updated 10 years ago
• abeaumont / ocaml-pbkdf

  View on GitHub
  Password based key derivation functions from PKCS#5, RFC 2898
  ☆21Jul 15, 2024Updated last year
• jfeser / odoc2docset

  View on GitHub
  Create Dash docsets from Odoc generated documentation.
  ☆23Jan 28, 2022Updated 4 years ago
• grain-lang / binaryen.ml

  View on GitHub
  OCaml bindings for Binaryen.
  ☆52Jan 23, 2026Updated 3 weeks ago
• startrekdude / EnderCalc

  View on GitHub
  A powerful, text-driven scientific calculator
  ☆18Oct 4, 2021Updated 4 years ago
• c-cube / oseq

  View on GitHub
  Purely functional iterators compatible with standard `seq`.
  ☆31Dec 6, 2023Updated 2 years ago
• kit-ty-kate / mastodon-archive-viewer

  View on GitHub
  View your Mastodon archive offline
  ☆26Oct 28, 2022Updated 3 years ago
• louisabraham / domical

  View on GitHub
  In-browser OCaml notebooks 🐪
  ☆26Apr 9, 2019Updated 6 years ago
• DoctorRainer / sae

  View on GitHub
  An Idris 2 build tool and a package manager
  ☆28Jan 28, 2023Updated 3 years ago
• idris-hackers / idris-free

  View on GitHub
  Free Monads and useful constructions to work with them
  ☆26Aug 14, 2018Updated 7 years ago
• lawrencewoodman / awesome-forth

  View on GitHub
  Resources and links for the Forth programming language
  ☆26Apr 21, 2021Updated 4 years ago
• jmid / efftester

  View on GitHub
  Effect-Driven Compiler Tester for OCaml
  ☆37Sep 25, 2019Updated 6 years ago
• cyclone-scheme / winds

  View on GitHub
  The package manager for Cyclone Scheme.
  ☆33Feb 14, 2024Updated 2 years ago
• LaurentMazare / ocaml-wasmtime

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

  View on GitHub
  TEA for the shell, in OCaml
  ☆40May 6, 2019Updated 6 years 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
• epiccakeking / aops-enhanced

  View on GitHub
  A minimal setup required script to improve AoPS
  ☆10May 12, 2024Updated last year
• LaurentMazare / npy-ocaml

  View on GitHub
  Numpy file format support for ocaml.
  ☆40Apr 3, 2024Updated last year
• Lupus / ocaml2go

  View on GitHub
  OCaml to Golang compiler
  ☆40Dec 12, 2020Updated 5 years ago
• lowlevelmemes / subleq-emu

  View on GitHub
  Bootable emulator for the Dawn Operating System for x86.
  ☆40Jan 10, 2026Updated last month
• barbuz / Husk

  View on GitHub
  Functional golfing language inspired by Haskell.
  ☆79May 14, 2021Updated 4 years ago
• johnwhitington / mlbook

  View on GitHub
  OCaml from the Very Beginning
  ☆52Aug 27, 2025Updated 5 months ago
• adkelley / prolog-starter

  View on GitHub
  A Starter Template for SWI-Prolog Projects
  ☆10Jun 1, 2020Updated 5 years ago
• SeattleTestbed / repy_v2

  View on GitHub
  Seattle Testbed's Repy ("Restricted Python") sandbox, version 2
  ☆15Sep 17, 2025Updated 4 months ago
• LanaSina / feeling_bread

  View on GitHub
  ☆10Apr 27, 2022Updated 3 years ago
• subclipse / javahl

  View on GitHub
  Apache Subversion JavaHL
  ☆10Mar 16, 2023Updated 2 years ago