maebert / prolog_puzzlesLinks
Prolog puzzles for fun and profit (mostly fun)
β82Updated 5 years ago
Alternatives and similar repositories for prolog_puzzles
Users that are interested in prolog_puzzles are comparing it to the libraries listed below
Sorting:
- a structured interaction engine ποΈ βοΈβ493Updated last year
- ππAn experimental blog written in Pollen / Racketβ79Updated 3 years ago
- Source Code for Video language.β141Updated 6 years ago
- β240Updated last week
- A novel approach to finding your way in APLβ144Updated 2 weeks ago
- Algebraic structures for untyped Racketβ78Updated last year
- Resources for the βBeautiful RacketβΒ book [moved to https://gitlab.com/mbutterick/beautiful-racket]β291Updated 4 years ago
- The Principia Rewriteβ229Updated 2 weeks ago
- A program specification language with a formal syntax and ad-hoc semantics.β83Updated 2 months ago
- A Lisp interpreter written in untyped lambda calculusβ247Updated 2 years ago
- A typed, polyglot, functional languageβ206Updated last week
- Interpreter for a simple Lisp. Written in Prolog.β151Updated 2 years ago
- β98Updated 10 months ago
- β79Updated 6 years ago
- Haskell + Lispβ213Updated last year
- Create websites using any mix of programming languages or workflows πβ78Updated 4 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"β111Updated 4 years ago
- A proof-of-concept SWI-Prolog implementation of Web Prologβ190Updated 4 years ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.β282Updated 11 years ago
- a tiny tile-based editorβ314Updated 2 weeks ago
- β56Updated 6 months ago
- A neatly typeset version of John McCarthy's classic paperβ124Updated 10 months ago
- tar creator+extractor in ~100 lines of prologβ263Updated 2 years ago
- Programming with pure lambda calculusβ133Updated this week
- A relational interpretation of Lojbanβ34Updated 4 months ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smithβ121Updated 8 months ago
- k crash courseβ203Updated 3 years ago
- β47Updated 3 years ago
- Urlang is JavaScript with a sane syntaxβ305Updated 11 months ago
- miniKanren for Emacsβ113Updated 3 years ago