Alternatives and similar repositories for prolog_puzzles

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

• LogicalAtomist / principia
  The Principia Rewrite
  ☆224Updated 7 months ago
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated last year
• disconcision / fructure
  a structured interaction engine 🗜️ ⚗️
  ☆477Updated last year
• racket / scribble
  ☆230Updated last week
• otherjoel / thenotepad
  📓🍎An experimental blog written in Pollen / Racket
  ☆79Updated 3 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆101Updated 4 years ago
• videolang / video
  Source Code for Video language.
  ☆140Updated 5 years ago
• mbutterick / beautiful-racket
  Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]
  ☆290Updated 4 years ago
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆244Updated 2 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• naver / lispe
  An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…
  ☆419Updated last week
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆189Updated 4 years ago
• axellang / axel
  Haskell + Lisp
  ☆212Updated last year
• jeprinz / pantograph
  ☆92Updated 6 months ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆142Updated last month
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆262Updated 2 years ago
• stchang / macrotypes
  ☆138Updated 3 years ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆442Updated last week
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆148Updated 2 years ago
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated 2 months ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• jrm-code-project / LISP-Machine
  Archive of LISP Machine, Inc.
  ☆270Updated 4 years ago
• mthom / scryer-shen
  ☆56Updated 3 months ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated this week
• TheReasonedSchemer2ndEd / CodeFromTheReasonedSchemer2ndEd
  Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic
  ☆138Updated 7 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆307Updated last month
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆150Updated last month
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆177Updated 4 years ago
• zyrolasting / polyglot
  Create websites using any mix of programming languages or workflows 💎
  ☆78Updated 4 years ago