livecoding prolog style
☆171Dec 14, 2025Updated 2 months ago
Alternatives and similar repositories for dogalog
Users that are interested in dogalog are comparing it to the libraries listed below
Sorting:
- exploration of reflective architectures in Scheme☆21May 20, 2022Updated 3 years ago
- An open workbench for the open source connected home of the future, @casajamina in Torino, Italy. http://casajasmina.arduino.cc/☆12Dec 23, 2015Updated 10 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆13Updated this week
- slog: Handler for systemd journal☆17Feb 9, 2026Updated last month
- ☆58May 17, 2025Updated 9 months ago
- Like Huygens-Fokker Scala, but electric.☆15Sep 30, 2025Updated 5 months ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- Tiny routine to blit inline bitmap fonts from SDL, a tool to create such fonts and a small collection of those.☆20Sep 13, 2014Updated 11 years ago
- Clojure bindings for Scryer Prolog☆17Feb 16, 2025Updated last year
- Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp…☆270Apr 4, 2024Updated last year
- Turns running Rust code into a serializable data structure.☆27Nov 8, 2022Updated 3 years ago
- Examples from the book Introduction to the Practice of Statistics☆22Updated this week
- scrapper for various science databases☆11Sep 14, 2023Updated 2 years ago
- A proof tree viewer that works with Coq through Proof General☆28Jan 29, 2021Updated 5 years ago
- Docker containers as clojure.test fixtures☆21Mar 11, 2017Updated 8 years ago
- Date and time formatting for humans☆25Jan 12, 2015Updated 11 years ago
- Provides a kakoune mode for VSCode. Mirror of https://git.sr.ht/~reykjalin/kakoune-mode☆23Apr 6, 2020Updated 5 years ago
- Functional first-aid for JavaScript/jQuery code☆23Dec 4, 2015Updated 10 years ago
- The Grand Scheme Glossary☆32May 29, 2025Updated 9 months ago
- In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp☆72Jan 13, 2026Updated last month
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- moved -> 'lucid.git'☆25Apr 30, 2016Updated 9 years ago
- m̴̨̱̫͆͆a̴̪̟͙͔̹̒c̶͚̻̏h̶̙̖̓̀ȋ̵̝̭͕̦̝̽ṇ̴̙͖̆̌̐̅̕į̷̧̡̼̜̆̄̽c̷͓̔̐̃̚ ̸͈̦͓̿́̊̍ờ̷͎̭̌̀ń̴̨̠̮̫̀t̴͕̭̑̈͐ơ̴̙̇̀̄̾l̵̞̬̆̈́̐ō̸̰̟͖̠͈̏̅g̴̢̼͈̈́̅̀̾̓y̴̼͉̆͊͑͝…☆30Apr 27, 2020Updated 5 years ago
- ⚗️ | Soma is a general-purpose dependently-typed functional programming language powered by Interaction Nets with a minimal runtime.☆63Mar 3, 2026Updated last week
- bayesPop R package☆11Feb 23, 2026Updated 2 weeks ago
- Philosophy diagrams in Ti𝑘Z☆38Jul 13, 2021Updated 4 years ago
- Telegram-bot which notifies chat participants about coming Birthdays 🎉☆11Jul 7, 2024Updated last year
- Implementing grep in Agda☆33Jan 11, 2021Updated 5 years ago
- A still-nascent, GPL-licensed, modular, "Unix way" game engine.☆10May 17, 2023Updated 2 years ago
- My personal site.☆10Mar 1, 2026Updated last week
- the NSA selector eurorack module☆165Oct 25, 2025Updated 4 months ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- A data visualization library for Racket.☆38Nov 12, 2024Updated last year
- Setoid type theory implementation☆40Aug 24, 2023Updated 2 years ago
- I built an awesome giant LED ceiling!☆10Feb 3, 2023Updated 3 years ago
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- S/PDIF Library☆11Nov 17, 2025Updated 3 months ago
- subset-Prolog-like DSL running on Factor☆10Apr 7, 2020Updated 5 years ago
- Dyne.org's W3C-DID implementation☆12May 16, 2024Updated last year