Alternatives and similar repositories for prolog_puzzles:

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

• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆137Updated this week
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆109Updated 2 years ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated last week
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆189Updated 2 years ago
• mthom / scryer-shen
  ☆46Updated 4 months ago
• otherjoel / thenotepad
  📓🍎An experimental blog written in Pollen / Racket
  ☆79Updated 3 years ago
• woodrush / lambdalisp
  A Lisp interpreter written in untyped lambda calculus
  ☆240Updated 2 years ago
• phantomics / april
  The APL programming language (a subset thereof) compiling to Common Lisp.
  ☆618Updated 3 months ago
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆142Updated 2 years ago
• zyrolasting / polyglot
  Create websites using any mix of programming languages or workflows 💎
  ☆77Updated 4 years ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆95Updated 4 years ago
• mbutterick / brag
  Racket DSL for generating parsers from BNF grammars [moved to https://git.matthewbutterick.com/mbutterick/brag]
  ☆61Updated 3 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆145Updated 2 years 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.
  ☆34Updated 2 years ago
• videolang / video
  Source Code for Video language.
  ☆138Updated 5 years ago
• nickdrozd / reazon
  miniKanren for Emacs
  ☆113Updated 3 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆69Updated 2 weeks ago
• greghendershott / fear-of-macros
  A practical guide to Racket macros
  ☆252Updated 5 years ago
• asrp / flpc
  Forth Lisp Python Continuum: A small highly dynamic self-bootstrapping language
  ☆222Updated 3 years ago
• axellang / axel
  Haskell + Lisp
  ☆208Updated 10 months ago
• prathyvsh / lambda-calculus-visualizations
  Catalog of visual lambda calculi
  ☆109Updated last year
• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 8 months ago
• LogicalAtomist / principia
  The Principia Rewrite
  ☆214Updated last month
• rain-1 / continuations-study-group
  ☆78Updated 5 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• tromp / AIT
  Algorithmic Information Theory, using Binary Lambda Calculus
  ☆145Updated 2 months ago
• SuperDisk / tar.pl
  tar creator+extractor in ~100 lines of prolog
  ☆260Updated 2 years ago
• racket / scribble
  ☆216Updated this week