tatut / pgprolog
PostgreSQL Prolog language handler
☆128Updated 5 months ago
Related projects: ⓘ
- A small language that compiles to WebAssembly Text format☆73Updated 4 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆94Updated 8 months ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆75Updated 4 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆72Updated last year
- Brzozowski derivative python sketch☆83Updated 5 months ago
- tar creator+extractor in ~100 lines of prolog☆255Updated last year
- Persistence of concurrent activities for Gerbil Scheme☆45Updated 3 months ago
- A compact, efficient Prolog interpreter written in plain-old C.☆265Updated this week
- An introduction to temporal logic and how it can be used to analyze concurrency☆103Updated 7 months ago
- A Prolog library to connect to PostgreSQL databases☆90Updated 4 months ago
- the origins of J☆59Updated last year
- A data and code editor that feels like a spreadsheet.☆145Updated 3 months ago
- Visualize binary files☆110Updated 2 weeks ago
- Tiny, esoteric, stack-based, postfix, canvas colouring language with only 36 simple commands☆117Updated 3 weeks ago
- An ngn/k tutorial.☆195Updated 3 months ago
- What if Git worked with Programming Languages?☆99Updated 2 years ago
- Node-Based Robotics Framework Written in Rust☆56Updated this week
- ☆50Updated 3 months ago
- Trealla Prolog embedded in Go using WASM☆79Updated last week
- ZSV Utility for converting json to/from zip-separated-values☆58Updated 3 months ago
- An online IDE for visual programming in Prolog☆234Updated last month
- A query language for exploring knowledge graphs.☆135Updated last month
- A program specification language with a formal syntax and ad-hoc semantics.☆71Updated last year
- A functional, content-addressable programming language.☆348Updated this week
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 5 months ago
- B-field implementation in Rust☆201Updated 3 months ago
- ☆46Updated 2 months ago
- [Mirror] A close reading of the μKanren paper.☆39Updated 2 years ago
- Demo of a WAM Prolog implementation in Python☆71Updated last year