tatut / pgprolog
PostgreSQL Prolog language handler
☆132Updated 11 months ago
Alternatives and similar repositories for pgprolog:
Users that are interested in pgprolog are comparing it to the libraries listed below
- A small language that compiles to WebAssembly Text format☆74Updated 10 months ago
- Lamport's Bakery Algorithm Demonstrated in Python☆96Updated last year
- tar creator+extractor in ~100 lines of prolog☆260Updated 2 years ago
- ☆82Updated last month
- Brzozowski derivative python sketch☆85Updated 11 months ago
- An introduction to temporal logic and how it can be used to analyze concurrency☆105Updated last year
- Persistence of concurrent activities for Gerbil Scheme☆50Updated 5 months ago
- ☆11Updated last year
- Generate (message) sequence diagrams from TLA+ state traces☆73Updated 2 years ago
- An implementation of the rete algorithm from 'Production Matching for Large Learning Systems'☆82Updated 4 years ago
- An online IDE for visual programming in Prolog☆240Updated last week
- A data and code editor that feels like a spreadsheet.☆156Updated 9 months ago
- ZSV Utility for converting json to/from zip-separated-values☆56Updated 9 months ago
- A basic spreadsheet application with hexagonal cells inspired by: http://www.secretgeek.net/hexcel.☆91Updated 11 months ago
- A Prolog library to connect to PostgreSQL databases☆97Updated 10 months ago
- ☆50Updated 9 months ago
- B-field implementation in Rust☆204Updated 10 months ago
- the origins of J☆62Updated last year
- A logic programming language that has features of both Datalog and answer set programming.☆112Updated last month
- Embedded Lisp Interpreter☆36Updated this week
- Simple live calculator in tree-sitter + cranelift jit☆72Updated 3 months ago
- Numscript is a Domain-Specific Language (DSL) designed to help you model complex financial transactions, replacing complex and error-pron…☆86Updated this week
- C plus Prolog☆157Updated last week
- A compact, efficient Prolog interpreter written in plain-old C.☆289Updated this week
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆134Updated this week
- Scale to zero Seafowl hosting with Cloud Run☆38Updated last year
- Transductive regular expressions☆239Updated last month
- Foundation DB Query Language☆141Updated last month
- This is a numpy implementation of the Skip-gram algorithm described in Mikolov et al's Word2Vec paper. It is intended for didactic purpos…☆35Updated last year
- What if Git worked with Programming Languages?☆98Updated 3 years ago