jeprinz / pantograph
☆83Updated 2 months ago
Alternatives and similar repositories for pantograph:
Users that are interested in pantograph are comparing it to the libraries listed below
- Rewriting Principia Mathematica in Lean☆124Updated 5 months ago
- A lisp dialect based on pattern matching and term rewriting☆84Updated 6 months ago
- C plus Prolog☆159Updated last month
- Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp…☆266Updated last year
- A Unix shell and Lisp REPL, fused together☆212Updated this week
- A hot take on Lisp metaprogramming☆110Updated this week
- A simple implementation based on Peter Henderson's paper "Functional Geometry"☆96Updated 4 years ago
- PostgreSQL Prolog language handler☆133Updated last year
- An ngn/k tutorial.☆200Updated 11 months ago
- Proofs in Coq for the book Reflective Programs in Tree Calculus☆172Updated 3 years ago
- A small language that compiles to WebAssembly Text format☆74Updated last year
- ☆103Updated last month
- An experimental unification-based programming language with logic-agnostic types, based on Girard's transcendental syntax☆101Updated 2 weeks ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆121Updated 2 months ago
- Simple shell like scripting from Haskell☆287Updated 8 months ago
- ☆44Updated 6 months ago
- ☆48Updated 6 months ago
- An introduction to the J programming language that gets to the point.☆42Updated 4 months ago
- Embedded Lisp Interpreter☆52Updated 3 weeks ago
- the origins of J☆62Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆116Updated this week
- Transductive regular expressions☆241Updated 2 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆80Updated last month
- Text Adventure game in SWI Prolog.☆98Updated last year
- tar creator+extractor in ~100 lines of prolog☆262Updated 2 years ago
- A calligraphic esolang☆236Updated 2 weeks ago
- ☆38Updated 2 years ago
- ☆35Updated 11 months ago
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A functional, content-addressable programming language.☆428Updated 2 months ago