tatut / pgprologLinks
PostgreSQL Prolog language handler
☆135Updated last year
Alternatives and similar repositories for pgprolog
Users that are interested in pgprolog are comparing it to the libraries listed below
Sorting:
- Rewriting Principia Mathematica in Lean☆136Updated this week
- A small language that compiles to WebAssembly Text format☆74Updated last year
- ☆101Updated 11 months ago
- A Prolog library to connect to PostgreSQL databases☆107Updated last year
- Brzozowski derivative python sketch☆85Updated 9 months ago
- Persistence of concurrent activities for Gerbil Scheme☆55Updated 2 months ago
- What if Git worked with Programming Languages?☆100Updated 4 years ago
- An online IDE for visual programming in Prolog☆247Updated last week
- An introduction to temporal logic and how it can be used to analyze concurrency☆107Updated last year
- tar creator+extractor in ~100 lines of prolog☆263Updated 2 years ago
- Generate (message) sequence diagrams from TLA+ state traces☆74Updated 2 years ago
- A data and code editor that feels like a spreadsheet.☆185Updated last year
- A collection of documents and writings on efficient programming in array-oriented languages akin to APL.☆76Updated 2 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆90Updated 5 years ago
- C plus Prolog☆167Updated 10 months ago
- A logic programming language that has features of both Datalog and answer set programming.☆120Updated last month
- Transductive regular expressions☆253Updated 3 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆95Updated last year
- Text Adventure game in SWI Prolog.☆102Updated 2 years ago
- Prolog Home Page☆74Updated 7 months ago
- A query language for exploring knowledge graphs.☆145Updated 7 months ago
- ☆53Updated last year
- Trealla Prolog embedded in Go using WASM☆80Updated 3 weeks ago
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 3 months ago
- ZSV Utility for converting json to/from zip-separated-values☆56Updated last year
- Foundation DB Query Language☆149Updated last week
- A headless spreadsheet document container service.☆104Updated 11 months ago
- Compiler for the Jill programming language (an alternative to Jack from the nand2tetris course)☆81Updated 10 months ago
- A functional, content-addressable programming language.☆451Updated 5 months ago
- ☆35Updated 2 months ago