guregu / php
Prolog Home Page
☆71Updated 3 weeks ago
Alternatives and similar repositories for php:
Users that are interested in php are comparing it to the libraries listed below
- the origins of J☆62Updated last year
- An ngn/k tutorial.☆200Updated 9 months ago
- tar creator+extractor in ~100 lines of prolog☆260Updated 2 years ago
- The no-framework framework for building component-based purely-functional UIs.☆125Updated last month
- PostgreSQL Prolog language handler☆132Updated 11 months ago
- Lossy compression of CSS for fun and loss (or profit)☆34Updated last year
- A compact, efficient Prolog interpreter written in plain-old C.☆289Updated this week
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆82Updated 4 years ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆77Updated last week
- Brzozowski derivative python sketch☆85Updated 11 months ago
- ☆172Updated 5 months ago
- abuse ImageMagick (or GraphicsMagick) to create arbitrary files☆53Updated last month
- An ergonomic, mobile-first, Prolog playground!☆30Updated 2 years ago
- Programming language for ternary computing☆30Updated 4 years ago
- Trealla Prolog embedded in Go using WASM☆79Updated this week
- A functional, content-addressable programming language.☆422Updated 3 weeks ago
- Fully Open Public Licence☆18Updated last year
- Demo of a WAM Prolog implementation in Python☆77Updated last year
- a tiny tile-based editor☆304Updated last week
- C plus Prolog☆157Updated 2 weeks ago
- Transductive regular expressions☆239Updated last month
- A small language that compiles to WebAssembly Text format☆74Updated 10 months ago
- Cell compiler☆113Updated last year
- ☆182Updated last year
- A Prolog library to connect to PostgreSQL databases☆97Updated 10 months ago
- An experiment in controlling the size of a thread pool using a PID controller.☆117Updated last year
- [Mirror] A close reading of the μKanren paper.☆42Updated 2 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆134Updated this week
- A compiler and IDE for the Luon programming language - a liaison beween Lua and Oberon+ - targeting LuaJIT☆161Updated 2 months ago
- ☆44Updated 5 months ago