Alternatives and similar repositories for InductorProlog

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

• logicmoo / logicmoo_nlu
  LogicMOO Natural Language Understanding Kit Unified into Prolog
  ☆13Updated 3 years ago
• m-carrasco / net-ssa
  net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.
  ☆32Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last week
• EricZinda / InductorHtn
  Lightweight C++/Python Hierarchical Task Network (HTN) AI Engine
  ☆39Updated 11 months ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆14Updated 3 years ago
• FacticiusVir / BacktraQ
  ☆13Updated 5 years ago
• nenadTod / RoseLib
  Library that aims to simlify work with .NET Compiler Platform ("Roslyn").
  ☆11Updated 5 months ago
• Safebox36 / OdaiHTN
  ☆10Updated 8 months ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆14Updated last month
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• chr1st0scli / RainLisp
  RainLisp, a .NET LISP implementation.
  ☆38Updated 3 weeks ago
• tritao / clang-cli
  C++/CLI compiler based on Clang.
  ☆52Updated 11 years ago
• mikey-b / linear_pool_allocator
  ☆11Updated 3 years ago
• shin1m / recyclone
  A C++ implementation of Recycler
  ☆11Updated 4 months ago
• EveMeows / Flapper
  Faithful Flappy Bird clone written in C#.
  ☆12Updated 11 months ago
• ArtifexSoftware / mujs
  ☆42Updated last month
• callumevans / QueryBuilder
  An extensible visual programming system.
  ☆10Updated 9 years ago
• xoofx / gcix
  A cross-platform implementation of the Immix Garbage Collector
  ☆78Updated 11 years ago
• grammarware / slps
  Software Language Processing Suite
  ☆47Updated 3 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• Rezonality / nodegraph
  NodeGraph - A simple directed graph with visualization UI.
  ☆23Updated last year
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• mhutch / cbinding
  Updated MonoDevelop C/C++ binding
  ☆22Updated 7 years ago
• dfranx / sdbg
  CLI shader debugger / testbed for SPIRV-VM
  ☆16Updated 5 years ago
• mfourne / prolog
  A prolog interpreter written in Haskell.
  ☆8Updated 4 years ago
• hugomg / lua-aot-5.3
  Ahead of time compiler for Lua 5.3
  ☆19Updated 2 years ago
• kuba-- / ut
  Yet Another Efficient Unification Algorithm
  ☆27Updated 11 months ago
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated last month
• RdR1024 / prolog2gpt
  SWI Prolog library to interface to the GPT API
  ☆19Updated last year