Alternatives and similar repositories for InductorProlog

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

• m-carrasco / net-ssa
  net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.
  ☆33Updated last year
• logicmoo / logicmoo_nlu
  LogicMOO Natural Language Understanding Kit Unified into Prolog
  ☆13Updated 4 years ago
• hexedrevii / Flapper
  Faithful Flappy Bird clone written in C#.
  ☆11Updated 2 months ago
• SWI-Prolog / contrib-swiplcs
  Interface from C# to SWI-Prolog
  ☆27Updated 6 years ago
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated 3 months ago
• ianhorswill / UnityProlog
  A mostly ISO-compliant Prolog interpreter for Unity3D
  ☆36Updated 8 years ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆15Updated 4 years ago
• EricZinda / InductorHtn
  Lightweight C++/Python Hierarchical Task Network (HTN) AI Engine
  ☆41Updated last year
• CuppoJava / Feeny
  Learn Compiler Writing with the Feeny Programming Language
  ☆13Updated 5 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• ianhorswill / CatSAT
  A simple, ASP-like embedded logic programming language for games
  ☆47Updated last year
• xoofx / gcix
  A cross-platform implementation of the Immix Garbage Collector
  ☆77Updated 11 years ago
• rzese / trill
  TRILL is a tableau reasoner able to compute probability of queries from probabilistic knowledge bases.
  ☆13Updated last week
• thezerobit / wamcc
  WAMCC is a WAM-based Prolog to C compiler.
  ☆11Updated 11 years ago
• shin1m / recyclone
  A C++ implementation of Recycler
  ☆11Updated 8 months ago
• mikey-b / linear_pool_allocator
  ☆11Updated 3 years ago
• mzucker / lsystem_optimization
  Socially isolating through obsessive micro-optimization.
  ☆13Updated 3 years ago
• mikey-b / Register-Window-Stack-VM
  Implement a Stack VM Interpreter with a Register Window
  ☆11Updated last year
• UnSkyToo / LiteGui
  Immediate Mode GUI From Scratch
  ☆25Updated last month
• jplevyak / ifa
  IFA is a library for Interative Flow Analysis of computer programs. This software is for compiler developers and program analysis resea…
  ☆13Updated 5 months ago
• tritao / clang-cli
  C++/CLI compiler based on Clang.
  ☆52Updated 11 years ago
• rivten / carbon
  Zig + Sokol + ImGui
  ☆11Updated 6 years ago
• adamant / adamant.tools.compiler.bootstrap
  A compiler for the Adamant language
  ☆22Updated 5 years ago
• aardappel / restructor
  Restructor Prototype
  ☆21Updated 8 years ago
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• chr1st0scli / RainLisp
  RainLisp, a .NET LISP implementation.
  ☆41Updated 4 months ago
• dfranx / sdbg
  CLI shader debugger / testbed for SPIRV-VM
  ☆15Updated 5 years ago
• ianhorswill / BotL
  Simplified logic programming language for Unity3D
  ☆11Updated 5 years ago