Alternatives and similar repositories for Fault:

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

• trealla-prolog / trealla
  A compact, efficient Prolog interpreter written in plain-old C.
  ☆295Updated this week
• brunokim / prol
  Demo of a WAM Prolog implementation in Python
  ☆77Updated 2 years ago
• robsimmons / dusa
  A logic programming language that has features of both Datalog and answer set programming.
  ☆116Updated this week
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• hwayne / learntla-v2
  Learn TLA+ for free! No prior experience necessary!
  ☆210Updated last month
• JonathanMEdwards / subtext10
  ☆100Updated 3 years ago
• japiirainen / fp
  A small, weird and unpractical programming language.
  ☆103Updated this week
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆75Updated 2 weeks ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆304Updated last week
• hwayne / alloydocs
  Proposed documentation for alloytools.org
  ☆70Updated 5 months ago
• GavinMendelGleason / syntactic_versioning
  What if Git worked with Programming Languages?
  ☆98Updated 3 years ago
• tatut / pgprolog
  PostgreSQL Prolog language handler
  ☆133Updated last year
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆107Updated last year
• ciao-lang / ciao
  Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.
  ☆302Updated 5 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆262Updated 2 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated this week
• trealla-prolog / go
  Trealla Prolog embedded in Go using WASM
  ☆79Updated this week
• bollu / rete
  An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'
  ☆81Updated 4 years ago
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆32Updated 3 weeks ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆172Updated 3 years ago
• f5devcentral / shapeRank
  ☆47Updated 3 years ago
• tokay-lang / tokay
  Tokay is a programming language designed for ad-hoc parsing, inspired by awk.
  ☆242Updated this week
• dcnorris / precautionary
  Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…
  ☆28Updated 3 years ago
• eashanhatti / peridot
  A fast functional language based on two level type theory
  ☆391Updated 2 years ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆240Updated 3 weeks ago
• mlatu-lang / mlatu
  A declarative concatenative programming language
  ☆164Updated 6 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆98Updated last year
• jamii / imp
  Various experiments in relational programming
  ☆272Updated 3 years ago
• cell-lang / compiler
  Cell compiler
  ☆113Updated last year
• hazelgrove / hazel
  Hazel, a live functional programming environment with typed holes
  ☆922Updated last week