Alternatives and similar repositories for prolog_puzzles:

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

• dedbox / racket-algebraic
  Algebraic structures for untyped Racket
  ☆77Updated 9 months ago
• abrudz / aplcart
  A novel approach to finding your way in APL
  ☆138Updated 3 weeks ago
• rain-1 / continuations-study-group
  ☆78Updated 5 years ago
• caotic123 / PomPom-Language
  The cuteness implementation of a dependently typed language.
  ☆190Updated 2 years ago
• tgvaughan / sicm
  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"
  ☆98Updated 3 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆145Updated 2 years ago
• nikitadanilov / 3-lisp
  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith
  ☆111Updated last week
• otherjoel / thenotepad
  📓🍎An experimental blog written in Pollen / Racket
  ☆79Updated 3 years ago
• jeprinz / pantograph
  ☆82Updated 2 months ago
• morloc-project / morloc
  A typed, polyglot, functional language
  ☆196Updated this week
• subsetpark / pantagruel
  A program specification language with a formal syntax and ad-hoc semantics.
  ☆71Updated last year
• marvinborner / bruijn
  Programming with pure lambda calculus
  ☆105Updated this week
• brismu / klesi
  Lojban ologs (categorical databases) using jq
  ☆23Updated 6 years ago
• nickdrozd / reazon
  miniKanren for Emacs
  ☆113Updated 3 years ago
• axellang / axel
  Haskell + Lisp
  ☆208Updated 11 months ago
• jaseemabid / micromanual
  A neatly typeset version of John McCarthy's classic paper
  ☆123Updated 2 months ago
• stchang / macrotypes
  ☆137Updated 2 years ago
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• zyrolasting / polyglot
  Create websites using any mix of programming languages or workflows 💎
  ☆77Updated 4 years ago
• liamoc / holbert
  A graphical interactive proof assistant designed for education
  ☆167Updated 5 months ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• mbutterick / aoc-racket
  moved to https://git.matthewbutterick.com/mbutterick/aoc-racket
  ☆36Updated 2 years ago
• drym-org / qi
  An embeddable flow-oriented language.
  ☆70Updated last month
• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 7 months ago
• mthom / scryer-shen
  ☆48Updated 5 months ago
• georgjz / functional-geometry-gambit-scheme
  A simple implementation based on Peter Henderson's paper "Functional Geometry"
  ☆96Updated 4 years ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆189Updated last year
• thass0 / liz
  Collaborative Lisp coding on Discord
  ☆34Updated last year
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆142Updated 2 years ago
• Shen-Language / shen-sources
  Shen language kernel sources for porters
  ☆372Updated 8 months ago