An online IDE for visual programming in Prolog
☆245Feb 28, 2026Updated 2 weeks ago
Alternatives and similar repositories for praxis-ide
Users that are interested in praxis-ide are comparing it to the libraries listed below
Sorting:
- A compact, efficient Prolog interpreter written in plain old C.☆344Updated this week
- tar creator+extractor in ~100 lines of prolog☆260Jan 22, 2023Updated 3 years ago
- Datomic Datalog parser in Clojure with malli☆15Sep 24, 2022Updated 3 years ago
- The Power of Prolog: Introduction to modern Prolog☆1,358Feb 15, 2026Updated last month
- Logtalk - declarative object-oriented logic programming language☆477Updated this week
- ☆10Sep 7, 2022Updated 3 years ago
- Explorations into specification-as-a-value☆42Mar 15, 2013Updated 13 years ago
- 🕷️ n8n Community Node for Scrappey API – Automate web scraping and data extraction with advanced anti-bot blocking technology, seamlessl…☆16Feb 2, 2026Updated last month
- An open source Prolog interpreter in JavaScript☆630Jan 30, 2023Updated 3 years ago
- Demo of a WAM Prolog implementation in Python☆78Apr 28, 2023Updated 2 years ago
- Prolog Home Page☆74May 27, 2025Updated 9 months ago
- wordcount example using electric and rama☆10Sep 7, 2023Updated 2 years ago
- XTDB querying CLI☆15Jul 17, 2024Updated last year
- Lasertag is a utility library for categorizing values in Clojure, ClojureScript, and Babashka☆17Jan 24, 2026Updated last month
- ☆14Sep 29, 2021Updated 4 years ago
- CLI for the Py++ programming language☆25Sep 25, 2025Updated 5 months ago
- DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output…☆1,481Jul 7, 2023Updated 2 years ago
- A copy of Atari's coin-op assembler and tools, as well as coin-op Centipede☆21Jun 9, 2024Updated last year
- Parinfer layer for CodeMirror☆16Jan 16, 2018Updated 8 years ago
- Tools to analyze Interlisp source code, to support VM development, and to eventually bootstrap systems☆16Jan 12, 2025Updated last year
- Functional Geometry in Prolog☆18May 17, 2020Updated 5 years ago
- documentation used in my projects☆16Updated this week
- A Clojure/Script library providing a concise rule definition and query syntax for Datalog☆27Sep 24, 2021Updated 4 years ago
- A small library to help writing TLA+ operators in Clojure and converting TLA+ (TLC) values to/from EDN☆16Dec 28, 2025Updated 2 months ago
- Trealla Prolog embedded in Go using WASM☆83Dec 24, 2025Updated 2 months ago
- Collection of short, self-contained, thoroughly commented examples of applying Rama towards a variety of use cases☆104Dec 21, 2025Updated 2 months ago
- ☆64Aug 12, 2023Updated 2 years ago
- Omnino is a windowing system for web applications.☆57Nov 18, 2023Updated 2 years ago
- A Clojure coding tool☆19Aug 3, 2024Updated last year
- subset of ParEdit for CodeMirror☆45Sep 17, 2024Updated last year
- Fork of Lua 5.1 to encourage end-user programming☆175Nov 27, 2023Updated 2 years ago
- The only reasonable scripting engine for Go.☆708Jan 31, 2026Updated last month
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Feb 2, 2026Updated last month
- Common Lisp programmable version of LarKC/OpenCYC (And soon Prolog)☆17Apr 17, 2023Updated 2 years ago
- C plus Prolog☆168Mar 11, 2025Updated last year
- Some notes taken while working on Prolog☆196Jan 29, 2026Updated last month
- A Small Lisp in Forth☆159Apr 21, 2021Updated 4 years ago
- a datalog interpreter in typescript☆217Dec 31, 2024Updated last year
- An open source Clojure chat UI for interacting with LLM's☆21Aug 13, 2024Updated last year