maebert / prolog_puzzlesLinks
Prolog puzzles for fun and profit (mostly fun)
β81Updated 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:
- ππAn experimental blog written in Pollen / Racketβ79Updated 4 years ago
- A program specification language with a formal syntax and ad-hoc semantics.β86Updated 3 weeks ago
- β101Updated 11 months ago
- Source Code for Video language.β141Updated 6 years ago
- Algebraic structures for untyped Racketβ78Updated last year
- tar creator+extractor in ~100 lines of prologβ259Updated 3 years ago
- a structured interaction engine ποΈ βοΈβ497Updated 2 years ago
- β243Updated last week
- The Principia Rewriteβ229Updated 2 months ago
- A novel approach to finding your way in APLβ149Updated 3 weeks ago
- Resources for the βBeautiful RacketβΒ book [moved to https://gitlab.com/mbutterick/beautiful-racket]β291Updated 4 years ago
- Interpreter for a simple Lisp. Written in Prolog.β151Updated 2 years ago
- A literate programming system for any language.β121Updated 2 years ago
- An online IDE for visual programming in Prologβ245Updated this week
- Haskell + Lispβ214Updated last year
- A proof-of-concept SWI-Prolog implementation of Web Prologβ190Updated 5 years ago
- Introduction to Dyalog APL: https://xpqz.github.io/learnaplβ149Updated 2 years ago
- An ngn/k tutorial.β210Updated last year
- A List of companies that use Array Languages (J, K, APL, q)β100Updated last year
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"β115Updated 4 years ago
- A Lisp interpreter written in untyped lambda calculusβ250Updated 2 years ago
- A typed, polyglot, functional languageβ211Updated this week
- I used to have PDFs for my books on my web site - I moved them to this public repo.β312Updated 3 months ago
- β104Updated 3 years ago
- Simple shell like scripting from Haskellβ288Updated 7 months ago
- β48Updated 4 years ago
- a tiny tile-based editorβ317Updated 2 months ago
- Examples of literate programming by Knuthβ40Updated 7 months ago
- a datalog interpreter in typescriptβ214Updated last year
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.β282Updated 12 years ago