Alternatives and similar repositories for wumpus-prolog:

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

• kloni / node-prolog-swi
  A node.js interface to the SWI-Prolog library
  ☆38Updated 8 years ago
• norm2782 / NanoProlog
  ☆17Updated last year
• amcphail / lambda
  An untyped lambda calculus interpreter
  ☆12Updated last year
• swi-to-yap / swicli
  SWI-Prolog 2-Way interface to Commmon Language Interface
  ☆13Updated 7 years ago
• ColemanGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 8 years ago
• gousiosg / AegeanC
  The Aegean C compiler
  ☆9Updated 8 years ago
• fatuhoku / prolog-sudoku
  A simple sudoku solver written in SWI-Prolog
  ☆16Updated 12 years ago
• leanprover / presentations
  lean-related presentations
  ☆16Updated 11 months ago
• theoremprover-museum / prover9
  Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for finite models and counterexamples.
  ☆16Updated 6 years ago
• geon / gloss
  A bidirectional path tracer written in C.
  ☆50Updated 9 years ago
• mndrix / list_util
  Prolog list utility predicates
  ☆11Updated 6 years ago
• wyc / snippets
  ☆52Updated 7 years ago
• kowey / GenI
  Surface realiser (part of a Natural Language Generation system) using Tree Adjoining Grammar
  ☆21Updated 9 years ago
• iatorm / grime
  A language for matching two-dimensional patterns, based on Boolean grammars.
  ☆13Updated 6 years ago
• tchajed / goedel-t
  Formalization of termination of Gödel's System T
  ☆9Updated 3 years ago
• doppioslash / CastleOfElm
  Roguelike for 7DRL make in Elm
  ☆30Updated 8 years ago
• logicmoo / programk
  Chatbot impls in Prolog
  ☆15Updated 2 years ago
• racket / mzscheme
  ☆12Updated 2 months ago
• GaloisInc / http-server
  A Haskell HTTP server
  ☆23Updated 7 years ago
• soegaard / meta
  Exploration of the inner workings of Racket
  ☆19Updated 8 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• catseye / Chrysoberyl
  MIRROR of https://codeberg.org/catseye/Chrysoberyl : An attempt to catalogue and curate Cat's Eye Technologies
  ☆13Updated last year
• logic-tools / nadea
  NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  ☆15Updated 2 years ago
• chip8-rust / chip8-vm
  CHIP-8 virtual machine implementation in the Rust programming language
  ☆13Updated 9 years ago
• angrave / sys
  Linux and C programming in a web browser
  ☆26Updated 8 years ago
• SWI-PrologTeamLudumDare32 / LudumDare
  Our Ludum Dare entry
  ☆20Updated 7 years ago
• piskvorky / PredatorPrey
  Boid flocking model in OpenGL
  ☆11Updated 7 years ago
• hypercore-cxx / cxx-eventemitter
  A minimalist event emitter in C++
  ☆16Updated 3 years ago
• marianoguerra / match
  [kept for historical reasons, see efene] a calculator implemented in erlang that will turn into a toy language if I have time
  ☆16Updated 15 years ago
• acharal / wam
  A simple compiler from Prolog to WAM (Warren Abstract Machine) and a runtime for WAM.
  ☆19Updated 4 years ago