Alternatives and similar repositories for limbo

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

• khinsen / leibniz
  Moved to https://codeberg.org/khinsen/leibniz
  ☆282Updated 3 months ago
• OlegMazurov / Koyaanisqatsi
  Chaotic Life
  ☆44Updated 7 years ago
• jyh1 / mmaclone
  A simple Wolfram Language clone in Haskell
  ☆244Updated 5 years ago
• AthenaModel / athena
  Athena Regional Stability Simulation
  ☆85Updated 9 years ago
• ParhamP / Natural_Logic_Interpreter
  Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
  ☆116Updated 7 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆136Updated 9 years ago
• louisabraham / algnuth
  Algebraic Number Theory package
  ☆272Updated 3 years ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆211Updated 4 years ago
• wayfarerdb / Dialogue
  An Actor-based framework for Lua
  ☆37Updated 9 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆97Updated 7 months ago
• tlack / xxl
  a minimal vector programming language
  ☆181Updated 4 years ago
• samihasan / eskendereyya
  Eskéndereyya: Learn how to read and write Arabic in less than 60 minutes
  ☆81Updated 8 years ago
• aviaviavi / legion
  Simple blockchain server written in Haskell for educational purposes
  ☆601Updated 7 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated last week
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 6 years ago
• scvalencia / Coddie
  An Interpreter for Extended Relational Algebra (Scheme based)
  ☆84Updated 8 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆68Updated 7 years ago
• agentx-cgn / Hannibal
  An AI/bot for 0 A.D.
  ☆168Updated 8 years ago
• webyrd / Barliman
  Prototype smart text editor
  ☆1,064Updated 2 months ago
• neyer / dewDrop
  ☆136Updated 6 years ago
• alexprengere / FormalSystems
  A Python implementation of Douglas Hofstadter formal systems, from his book "Gödel, Escher, Bach"
  ☆621Updated 4 years ago
• microsoft / SLAyer
  SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.
  ☆326Updated 8 years ago
• iostreamer-X / FuncShell
  Improve your shell by making it functional through Haskell! (An update to Awkward)
  ☆290Updated 3 years ago
• c-cube / datalog
  An in-memory datalog implementation for OCaml.
  ☆270Updated 8 months ago
• cloudkj / layer
  Neural network inference the Unix way
  ☆559Updated 6 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆92Updated 6 years ago
• pschanely / wildflower-touch
  A Wildflower IDE for touch devices.
  ☆95Updated 9 years ago
• VictorTaelin / Caramel
  A modern syntax for the λ-calculus.
  ☆412Updated 8 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago