maebert / prolog_puzzlesLinks
Prolog puzzles for fun and profit (mostly fun)
☆77Updated 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:
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- Algebraic structures for untyped Racket☆77Updated 10 months ago
- The Principia Rewrite☆222Updated 4 months ago
- A strict, impure, curried, partially applied programming language with rather peculiar syntax.☆281Updated 11 years ago
- A novel approach to finding your way in APL☆141Updated last week
- 📓🍎An experimental blog written in Pollen / Racket☆80Updated 3 years ago
- Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"☆100Updated 4 years ago
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆148Updated 2 years ago
- The cuteness implementation of a dependently typed language.☆190Updated 2 years ago
- ☆85Updated 3 months ago
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆132Updated 6 years ago
- 3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith☆113Updated last month
- Create websites using any mix of programming languages or workflows 💎☆77Updated 4 years ago
- A typed, polyglot, functional language☆196Updated this week
- An embeddable flow-oriented language.☆71Updated this week
- miniKanren for Emacs☆113Updated 3 years ago
- Persistence of concurrent activities for Gerbil Scheme☆51Updated 3 weeks ago
- ☆79Updated 6 years ago
- Bibliography of Scheme research (readscheme.org and beyond)☆158Updated 2 years ago
- A less devious proof assistant☆224Updated 2 years ago
- The de facto standard for people who are looking to learn Dyalog APL from a book. This updated version is a work in progress.☆35Updated 2 years ago
- Kenichi Asai's reflective programming language Black☆197Updated 3 years ago
- A graphical interactive proof assistant designed for education☆166Updated 6 months ago
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- A tiny Racket for scripting☆290Updated 2 months ago
- nanopass compiler framework for Racket☆189Updated last year
- ☆137Updated 3 years ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Programming with pure lambda calculus☆107Updated last month