livecoding prolog style
☆176Dec 14, 2025Updated 5 months ago
Alternatives and similar repositories for dogalog
Users that are interested in dogalog are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A CLI tool to for crypto functions☆13Feb 26, 2026Updated 3 months ago
- A versioning file store backed by git, darcs, or mercurial☆37Aug 26, 2025Updated 9 months ago
- Like Huygens-Fokker Scala, but electric.☆16Sep 30, 2025Updated 8 months ago
- ☆58May 17, 2025Updated last year
- slog: Handler for systemd journal☆20Mar 9, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Full-featured logic programming (AKA "Prolog") embedded in/callable from and supporting calls to Clojure. In the spirit of LogLisp, Lisp…☆271Apr 4, 2024Updated 2 years ago
- An ergonomic, mobile-first, Prolog playground!☆31Sep 13, 2022Updated 3 years ago
- Turns running Rust code into a serializable data structure.☆27Nov 8, 2022Updated 3 years ago
- This is a holding area for apps that need to be updated for serialosc compatibility before movement into their own repository.☆10Mar 24, 2016Updated 10 years ago
- ObjToPicoCAD-GUI a user-friendly graphical user interface (GUI) application written in C# that serves as a port for the original C++ scri…☆14Dec 3, 2024Updated last year
- ☆27Nov 8, 2021Updated 4 years ago
- Bindings to Cowboy server☆12Nov 20, 2023Updated 2 years ago
- Cheatsheet for Airwindows plugins. This project aims to build an automated frontend for the airwindowpedia documentation file.☆11May 20, 2026Updated 2 weeks ago
- A simple example for a Rust compiler plugin☆11Aug 8, 2016Updated 9 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated 3 months ago
- SMTP as a library (using subethasmtp) for Clojure.☆17Feb 22, 2015Updated 11 years ago
- Pronounced: chaos☆18Oct 22, 2019Updated 6 years ago
- SuperCollider library for monome grid + arc☆15Mar 31, 2025Updated last year
- Cross-platform, open-source, Rust-based GPU paravirtualization☆53Updated this week
- Language Server for Prolog☆13May 2, 2023Updated 3 years ago
- Node callbacks as thunks☆20Jan 31, 2015Updated 11 years ago
- An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university☆10Oct 9, 2018Updated 7 years ago
- A Jupyter kernel for Logtalk☆15Aug 23, 2025Updated 9 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Home Folder☆16Jun 19, 2012Updated 13 years ago
- Exercism's blog content☆20Aug 20, 2025Updated 9 months ago
- scrapper for various science databases☆11Sep 14, 2023Updated 2 years ago
- Sway for monome norns and Desktop SuperCollider☆13Oct 11, 2024Updated last year
- ☆14Feb 10, 2026Updated 3 months ago
- A port of the vim theme☆11Jan 14, 2014Updated 12 years ago
- In-Memory Immutable Graph Structure with Datalog Query Language in Common Lisp☆73Jan 13, 2026Updated 4 months ago
- An experiment to see if a Javascript API can be created for intrinsic SIMD operations.☆12Apr 17, 2018Updated 8 years ago
- Haydn's Sonata No. 60 in C Major created in Alda☆17Apr 14, 2016Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- Vim plugin that allows you to use IPython within vim.☆26Jun 16, 2014Updated 11 years ago
- FontAwesome icons as hiccup for Clojure(Script)☆15Nov 25, 2025Updated 6 months ago
- Music DSP library written in C (Backup of https://github.com/PaulBatchelor/Soundpipe, which has disappeared)☆16Aug 25, 2020Updated 5 years ago
- JNumberTools is an open-source Java library for solving complex problems in combinatorics and number theory. Whether you're a researcher,…☆16Jun 1, 2026Updated last week
- Playing with Elm and Polymer / Web Components☆11Mar 21, 2017Updated 9 years ago
- The fluid part for your engine☆17Aug 4, 2015Updated 10 years ago
- ZOIA/Euroburo Patch Explorer☆12Jan 15, 2025Updated last year