maebert / prolog_puzzlesLinks
Prolog puzzles for fun and profit (mostly fun)
☆80Updated 4 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:
- The Principia Rewrite☆227Updated 8 months ago
- Source Code for Video language.☆139Updated 5 years ago
- 📓🍎An experimental blog written in Pollen / Racket☆79Updated 3 years ago
- a structured interaction engine 🗜️ ⚗️☆480Updated last year
- A program specification language with a formal syntax and ad-hoc semantics.☆78Updated 2 years ago
- ☆235Updated this week
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆104Updated 4 years ago
- A typed, polyglot, functional language☆204Updated this week
- Algebraic structures for untyped Racket☆77Updated last year
- ☆79Updated 6 years ago
- Archive of LISP Machine, Inc.☆271Updated 4 years ago
- Haskell + Lisp☆212Updated last year
- Resources for the “Beautiful Racket” book [moved to https://gitlab.com/mbutterick/beautiful-racket]☆290Updated 4 years ago
- A Lisp interpreter written in untyped lambda calculus☆244Updated 2 years ago
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- ☆138Updated 3 years ago
- ☆94Updated 8 months ago
- I used to have PDFs for my books on my web site - I moved them to this public repo.☆312Updated 2 years ago
- Domain-Specific Languages of Mathematics☆443Updated last month
- Persistence of concurrent activities for Gerbil Scheme☆54Updated 3 months ago
- ☆56Updated 4 months ago
- A graphical interactive proof assistant designed for education☆169Updated 10 months ago
- The cuteness implementation of a dependently typed language.☆193Updated 2 years ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆180Updated 4 years ago
- The Reckless Racket Shell☆562Updated last year
- An ngn/k tutorial.☆207Updated last year
- posts and code related to personal studies☆371Updated 11 months ago
- The APL programming language (a subset thereof) compiling to Common Lisp.☆638Updated 3 months ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆120Updated 6 months ago
- An implementation of a full fledged Lisp interpreter with Data Structure, Pattern Programming and High level Functions with Lazy Evaluati…☆421Updated 3 weeks ago