Alternatives and similar repositories for limbo:

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

• khinsen / leibniz
  A Digital Scientific Notation
  ☆281Updated 4 years ago
• ParhamP / Natural_Logic_Interpreter
  Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic
  ☆117Updated 6 years ago
• AthenaModel / athena
  Athena Regional Stability Simulation
  ☆85Updated 8 years ago
• louisabraham / algnuth
  Algebraic Number Theory package
  ☆271Updated 3 years ago
• OlegMazurov / Koyaanisqatsi
  Chaotic Life
  ☆45Updated 7 years ago
• rlt3 / Dialogue
  An Actor-based framework for Lua
  ☆37Updated 8 years ago
• alehander92 / hivemind
  a multi-syntax language
  ☆135Updated 8 years ago
• samihasan / eskendereyya
  Eskéndereyya: Learn how to read and write Arabic in less than 60 minutes
  ☆81Updated 8 years ago
• kovvalsky / LangPro
  Tableau-based Theorem Prover for Natural Logic and Language
  ☆116Updated 2 months ago
• neyer / dewDrop
  ☆136Updated 5 years ago
• sustrik / cartesian
  generator for complex configurations
  ☆98Updated 7 years ago
• seagreen / Son
  Work in progress. Best alternative: https://matrix.org/docs/spec/appendices.html#canonical-json
  ☆358Updated 5 years ago
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• mlpoll / machinematch
  Machine learning algorithm to connect anonymous accounts to real names
  ☆95Updated 8 years ago
• damelang / nile
  ☆717Updated 4 years ago
• sebcat / move-literals
  An example of PEG usage
  ☆55Updated 8 years ago
• kragen / dumpulse
  an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code
  ☆270Updated 7 years ago
• agentx-cgn / Hannibal
  An AI/bot for 0 A.D.
  ☆168Updated 7 years ago
• ronsoros / rvm
  simple virtual machine and assembler
  ☆220Updated 8 years ago
• pschanely / wildflower-touch
  A Wildflower IDE for touch devices.
  ☆95Updated 9 years ago
• jotux / fangle
  fangle creates interactive pages from plain text
  ☆222Updated 11 years ago
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 5 months ago
• CozySynthesizer / cozy
  The collection synthesizer
  ☆210Updated 4 years ago
• SamuelSchlesinger / Complexity-Resources
  Resources and notes on computational complexity theory
  ☆39Updated 4 years ago
• evoasm / evoasm.rb
  An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
  ☆92Updated 6 years ago
• kstenerud / bo
  The Swiss army knife of data examination and manipulation
  ☆333Updated 6 years ago
• dgwozdz / HN_SO_analysis
  Is there a relationship between popularity of a given technology on Stack Overflow (SO) and Hacker News (HN)? And a few words about causa…
  ☆97Updated 6 years ago
• enkiv2 / mycroft
  A prolog-like language with compound truth value logic
  ☆68Updated 6 years ago
• ibluesun / SymbolicAlgebra
  Symbolic Algebraic Library written entirely in C#
  ☆104Updated 8 months ago
• amintimany / Categories
  A formalization of category theory in the Coq proof assistant.
  ☆95Updated 3 months ago