Alternatives and similar repositories for prolog_puzzles:

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

• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆141Updated 2 years ago
• otherjoel / thenotepad
  📓🍎An experimental blog written in Pollen / Racket
  ☆78Updated 3 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆108Updated 2 years ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆76Updated 6 months ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆145Updated last year
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• mthom / scryer-shen
  ☆45Updated 3 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆188Updated 4 years ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆136Updated last week
• simply-logical / simply-logical
  Online, interactive edition of the "Simply Logical" Prolog textbook
  ☆130Updated last month
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆96Updated 3 years ago
• jackfirth / lens
  A Racket package for creating and composing pure functional lenses
  ☆75Updated 5 years ago
• racket / scribble
  ☆212Updated this week
• jrm-code-project / LISP-Machine
  Archive of LISP Machine, Inc.
  ☆265Updated 4 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆69Updated last week
• videolang / video
  Source Code for Video language.
  ☆138Updated 5 years ago
• rain-1 / continuations-study-group
  ☆78Updated 5 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• nickdrozd / reazon
  miniKanren for Emacs
  ☆113Updated 3 years ago
• f5devcentral / shapeRank
  ☆47Updated 3 years ago
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆238Updated last year
• mbutterick / brag
  Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]
  ☆61Updated 2 years ago
• axellang / axel
  Haskell + Lisp
  ☆208Updated 8 months ago
• aarroyoc / postgresql-prolog
  A Prolog library to connect to PostgreSQL databases
  ☆96Updated 9 months ago
• soegaard / urlang
  Urlang is JavaScript with a sane syntax
  ☆302Updated last month
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• zyrolasting / polyglot
  Create websites using any mix of programming languages or workflows 💎
  ☆77Updated 4 years ago