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
  ☆228Updated 9 months ago
• videolang / video
  Source Code for Video language.
  ☆140Updated 6 years ago
• racket / scribble
  ☆239Updated last week
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆83Updated last month
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆78Updated last year
• jeprinz / pantograph
  ☆96Updated 9 months ago
• disconcision / fructure
  a structured interaction engine 🗜️ ⚗️
  ☆488Updated last year
• otherjoel / thenotepad
  📓🍎An experimental blog written in Pollen / Racket
  ☆79Updated 3 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆205Updated last week
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆110Updated 4 years ago
• axellang / axel
  Haskell + Lisp
  ☆213Updated last year
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆245Updated 2 years ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆444Updated 2 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆263Updated 2 years ago
• mbutterick / beautiful-racket
  Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]
  ☆290Updated 4 years ago
• vilterp / datalog-ts
  a datalog interpreter in typescript
  ☆212Updated 10 months ago
• rain-1 / continuations-study-group
  ☆79Updated 6 years ago
• hazelgrove / tylr
  a tiny tile-based editor
  ☆313Updated 2 months ago
• toblotron / praxis-ide
  An online IDE for visual programming in Prolog
  ☆245Updated 3 weeks ago
• stchang / macrotypes
  ☆137Updated 3 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆193Updated 2 years ago
• sorawee / fmt
  A code formatter for Racket
  ☆82Updated 3 months ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆169Updated 11 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆158Updated 4 months ago
• brismu / brismu
  A relational interpretation of Lojban
  ☆34Updated 3 months ago
• Web-Prolog / swi-web-prolog
  A proof-of-concept SWI-Prolog implementation of Web Prolog
  ☆189Updated 4 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆282Updated 11 years ago
• fogus / thunks
  posts and code related to personal studies
  ☆371Updated last year
• zyrolasting / polyglot
  Create websites using any mix of programming languages or workflows 💎
  ☆78Updated 4 years ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆143Updated 2 weeks ago