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
• EricZinda / InductorHtn
  Lightweight C++/Python Hierarchical Task Network (HTN) AI Engine
  ☆39Updated last year
• dfranx / sdbg
  CLI shader debugger / testbed for SPIRV-VM
  ☆15Updated 5 years ago
• Rezonality / nodegraph
  NodeGraph - A simple directed graph with visualization UI.
  ☆23Updated last year
• nenadTod / RoseLib
  Library that aims to simlify work with .NET Compiler Platform ("Roslyn").
  ☆11Updated 7 months ago
• Safebox36 / OdaiHTN
  ☆10Updated 10 months ago
• xoofx / gcix
  A cross-platform implementation of the Immix Garbage Collector
  ☆77Updated 11 years ago
• mikey-b / linear_pool_allocator
  ☆11Updated 3 years ago
• fnogatz / plammar
  A Prolog grammar written in Prolog, for parsing and serialising Prolog code.
  ☆15Updated 4 years ago
• rivten / carbon
  Zig + Sokol + ImGui
  ☆11Updated 5 years ago
• WojciechMula / ternary-logic
  Support for ternary logic in SSE, XOP, AVX2 and x86 programs
  ☆31Updated 9 months ago
• CuppoJava / Feeny
  Learn Compiler Writing with the Feeny Programming Language
  ☆12Updated 5 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last week
• hexedrevii / Flapper
  Faithful Flappy Bird clone written in C#.
  ☆11Updated last month
• UnSkyToo / LiteGui
  Immediate Mode GUI From Scratch
  ☆25Updated 9 months ago
• lameiro / simple-tracing-jit
  A simple interpreter featuring a tracing JIT
  ☆16Updated 14 years ago
• OthmanT / QuadTree-Flocking-Boids
  QuadTree Flocking Boids in Processing
  ☆11Updated 5 years ago
• hugeproblem / parmscript
  A comfortable way to describe parameter interface and generate its underlying data structure
  ☆14Updated 2 years ago
• thautwarm / PySExpr
  S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.
  ☆17Updated 5 years ago
• mikey-b / Register-Window-Stack-VM
  Implement a Stack VM Interpreter with a Register Window
  ☆11Updated last year
• friguzzi / bddem
  bddem is a SWI-Prolog pack for using Binary Decision Diagrams
  ☆11Updated last month
• ianhorswill / CatSAT
  A simple, ASP-like embedded logic programming language for games
  ☆48Updated last year
• shin1m / recyclone
  A C++ implementation of Recycler
  ☆11Updated 6 months ago
• lindig / quest
  A tool for testing C compilers automatically
  ☆21Updated 9 years ago
• MoserMichael / cppcombinator
  parser combinator and AST generator in c++17
  ☆24Updated 2 years ago
• tritao / clang-cli
  C++/CLI compiler based on Clang.
  ☆52Updated 11 years ago
• grammarware / slps
  Software Language Processing Suite
  ☆47Updated 3 years ago
• kuba-- / ut
  Yet Another Efficient Unification Algorithm
  ☆27Updated last year
• friguzzi / matrix
  Operations with matrices, SWI pack
  ☆13Updated last year