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 6 months ago
• otherjoel / thenotepad
  📓🍎An experimental blog written in Pollen / Racket
  ☆79Updated 3 years ago
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆78Updated last year
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated last year
• racket / scribble
  ☆228Updated this week
• videolang / video
  Source Code for Video language.
  ☆139Updated 5 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆101Updated 4 years ago
• disconcision / fructure
  a structured interaction engine 🗜️ ⚗️
  ☆477Updated last year
• mbutterick / beautiful-racket
  Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]
  ☆291Updated 4 years ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆263Updated 2 years ago
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆243Updated 2 years ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆142Updated last week
• jeprinz / pantograph
  ☆93Updated 6 months ago
• mighty-gerbils / gerbil-persist
  Persistence of concurrent activities for Gerbil Scheme
  ☆53Updated last month
• otherjoel / try-pollen
  📔🌼 An example website/book created with Pollen.
  ☆132Updated 2 months ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• mthom / scryer-shen
  ☆56Updated 2 months ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆148Updated 2 years ago
• justinmeiners / srcweave
  A literate programming system for any language.
  ☆112Updated last year
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆204Updated this week
• shreevatsa / knuth-literate-programs
  Examples of literate programming by Knuth
  ☆37Updated last month
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 2 weeks ago
• panicz / pamphlet
  Source Codes for "A Pamphlet against R"
  ☆100Updated 3 years ago
• naver / lispe
  An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…
  ☆418Updated 2 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆148Updated 3 weeks ago
• Dyalog / MDAPL
  The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.
  ☆35Updated 2 years ago
• axellang / axel
  Haskell + Lisp
  ☆209Updated last year
• fogus / thunks
  posts and code related to personal studies
  ☆371Updated 9 months ago
• barry-jay-personal / tree-calculus
  Proofs in Coq for the book Reflective Programs in Tree Calculus
  ☆178Updated 4 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆305Updated last month