Alternatives and similar repositories for prolog

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

• Slesa / Prolog.NET
  Forking Prolog.NET by R. Todd from CodePlex
  ☆30Updated 7 months ago
• microsoft / Guan
  Guan is a cross-platform, general-purpose logic programming library with a C# API for external predicate implementation. It is a close ap…
  ☆80Updated 3 months ago
• FacticiusVir / BacktraQ
  ☆13Updated 5 years ago
• naasking / uKanren.NET
  A native implementation of the MicroKanren DSL for .NET
  ☆47Updated 10 years ago
• microsoft / rudder
  Static analysis of MSIL based on the analysis-net infrastructure
  ☆19Updated 2 years ago
• edgardozoppi / analysis-net
  Static analysis framework for .NET programs.
  ☆28Updated 4 years ago
• ledbutter / CSharpFingerTree
  C# Implementation of Finger Tree
  ☆12Updated 8 years ago
• RicardoNiepel / Z3.LinqBinding
  LINQ to Z3 - an esoteric LINQ binding based on Bart De Smet's idea
  ☆14Updated 3 years ago
• jsakamoto / CSharpProlog
  A C# implementation of Prolog (port from https://sourceforge.net/p/cs-prolog )
  ☆50Updated 5 years ago
• jonathanvdc / Flame
  A compiler framework for managed code.
  ☆53Updated 5 years ago
• k-john-gough / gplex
  GPLEX is a scanner generator which produces lexical scanners written in C# V2 or higher. The input language is similar to the original LE…
  ☆55Updated 4 years ago
• microsoft / formula
  FORMULA 2.0: Formal Specifications for Verification and Synthesis
  ☆17Updated last year
• patrickhuber / Pliant
  ☆26Updated 9 months ago
• ascvorcov / z80.net
  ZX Spectrum 48K-128K emulator written on .net core using avalonia library for UI
  ☆11Updated last year
• k-john-gough / gppg
  GPPG is a parser generator that produces parsers written in the C# V2 or higher. The input language is YACC-like, and the parsers are LAL…
  ☆40Updated last year
• sergeyt / fint
  .NET CIL interpreter written in simple subset of F#
  ☆53Updated 2 years ago
• neosmart / collections
  A collection of various data structures and containers for .NET Standard
  ☆11Updated 2 years ago
• qwertie / LoycCore
  The Loyc Core Libraries. Loyc.Essentials fills in gaps in the .NET Base Class Library; Loyc.Collections adds sophisticated data structure…
  ☆47Updated 3 years ago
• KvanTTT / DAGE
  Desktop Antlr Grammar Editor
  ☆33Updated 2 years ago
• benjamin-hodgson / Sawmill
  Simple tools for working with immutable trees
  ☆59Updated this week
• kaby76 / Piggy
  A transformational system for ASTs, including generation of a p/invoke API from C++ headers.
  ☆32Updated 2 years ago
• AutomataDotNet / srm
  High-performance .NET regex engine with predictable performance
  ☆48Updated last year
• plioi / parsley
  ☆61Updated 2 months ago
• nblumhardt / superpower
  A C# parser combinator library
  ☆19Updated 4 years ago
• cederberg / grammatica
  Grammatica is a C# and Java parser generator (compiler compiler)
  ☆92Updated 3 years ago
• stanislaw89 / sharpen
  Sharpen is an Eclipse plugin created by db4o that allows you to convert your Java project into c#
  ☆13Updated 6 years ago
• SergeyTeplyakov / RuntimeContracts
  Library-based implementation of Code Contracts-like API
  ☆33Updated last year
• jessiepathfinder / LesbianDB-v2.1
  An ultra-simple, high-performance, work-in-progress database
  ☆16Updated 2 years ago
• FrankBakkerNl / IntelliFind
  This Visual Studio Extension allows Developers to search their code base using C# script and the Roslyn API.
  ☆14Updated 9 years ago
• nenadTod / RoseLib
  Library that aims to simlify work with .NET Compiler Platform ("Roslyn").
  ☆11Updated 3 months ago