Alternatives and similar repositories for PrologInfo

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

• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆93Updated last week
• prologbyexample / code
  ☆31Updated 2 years ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆152Updated this week
• gteege / gentle-isabelle
  A gentle introduction to Isabelle and Isabelle/HOL
  ☆16Updated 8 months ago
• jkoppel / ecta
  ☆37Updated last year
• kirkedal / rfun-interp
  Interpreter for the reversible functional language rFun
  ☆38Updated 7 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆35Updated 2 years ago
• kyledewey / typed-prolog
  A basic type system on top of Prolog, along with higher-order clauses. Translates to normal Prolog.
  ☆31Updated 8 years ago
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆21Updated 9 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• yzyzsun / CP-next
  The Next Generation of Compositional Programming
  ☆54Updated 3 weeks ago
• gregr / dbKanren
  Kanren with databases
  ☆44Updated last year
• curry-language / curry2go
  A compiler and run-time system to compile and run Curry programs as Go programs
  ☆38Updated last month
• ptarau / natlog
  Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools
  ☆32Updated 2 months ago
• teyjus / teyjus
  An efficient implementation of the higher-order logic programming language Lambda Prolog
  ☆158Updated last year
• WasmCert / WasmCert-Isabelle
  A mechanisation of Wasm in Isabelle.
  ☆30Updated 2 weeks ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆34Updated last month
• mthom / scryer-shen
  ☆56Updated 6 months ago
• SWI-Prolog / sCASP
  Top-down interpreter for ASP programs with Constraints
  ☆34Updated 5 months ago
• jsiek / deduce
  A proof checker meant for education. Primarily for teaching proofs of correctness of functional programs.
  ☆119Updated last week
• theoremprover-museum / theoremprover-museum.github.io
  ☆56Updated 7 months ago
• medovina / natty
  Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…
  ☆38Updated last week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆83Updated 8 years ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated last year
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆130Updated 4 months ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 5 months ago
• racket / datalog
  ☆49Updated 3 weeks ago