Solutions to the Ninety-Nine Prolog Problems
☆19Mar 15, 2021Updated 5 years ago
Alternatives and similar repositories for 99-prolog-problems
Users that are interested in 99-prolog-problems are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- Resources to parse into computational semantics in order to enable model checkers to regenerate and extend a program resembling the origi…☆13Sep 2, 2024Updated last year
- Symbolic computer vision tool☆20Jan 8, 2019Updated 7 years ago
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆23Mar 29, 2026Updated last month
- Incremental Learning Event Definitions☆16Jul 21, 2015Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Python implementation of churiso☆20Jul 16, 2020Updated 5 years ago
- Configuration files I use.☆14Jun 14, 2024Updated last year
- A Jupyter kernel for Logtalk☆15Aug 23, 2025Updated 9 months ago
- Discussion of MeTTa programming with examples☆39Sep 1, 2025Updated 8 months ago
- An experimental TUI platform for Roc☆12Mar 30, 2025Updated last year
- Proxy for using Nostr over Nym mixnet☆16May 16, 2023Updated 3 years ago
- The Electron application implementing my project 'Tanglestash'☆12Feb 10, 2018Updated 8 years ago
- Starter web app using roc, htmx, tailwindcss☆14Jan 24, 2025Updated last year
- Python library implementing recommender systems algorithms with http://tensorflow.org☆12Dec 21, 2018Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Railway oriented programming talk and code for TechTrain2021☆11Mar 26, 2021Updated 5 years ago
- A lazy iterator for lazy programmers☆16Nov 30, 2023Updated 2 years ago
- Supervisor trees for Go☆11Nov 4, 2017Updated 8 years ago
- terminal ui widget based on illwill☆20Apr 17, 2026Updated last month
- run functions on app exit (receiving os signal)☆10Sep 3, 2018Updated 7 years ago
- Protect online forms from spam by making them perform Proof of Work (PoW).☆16Nov 9, 2017Updated 8 years ago
- watching for changes inside a directory and all sub-directories, recursively☆13Jul 5, 2018Updated 7 years ago
- Racket to JavaScript Compiler☆14Aug 30, 2021Updated 4 years ago
- Simple Sub-Commands for Go using flag package - can be used via copy/paste too, because it's small.☆10Apr 26, 2018Updated 8 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A basic window manager written in Zig.☆18Oct 2, 2025Updated 7 months ago
- A tweening library for libGDX☆10Oct 6, 2023Updated 2 years ago
- The board game Diplomacy, spoken in Haskell☆13May 27, 2022Updated 3 years ago
- Instead of asking "What values are in a type?" let's ask the reverse question. One interpretation is that the simplest type constructor …☆21Feb 18, 2026Updated 3 months ago
- A modern packet radio framework☆13Jan 26, 2026Updated 3 months ago
- Mirror of Apache Qpid ProtonJ2☆21May 15, 2026Updated last week
- Online playground from RacketScript☆19Mar 28, 2024Updated 2 years ago
- Top-down interpreter for ASP programs with Constraints☆38Jun 30, 2025Updated 10 months ago
- Io ported to WebAssembly using emscripten☆13Jul 24, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Simple Injector; Dependency Injection☆12Mar 6, 2017Updated 9 years ago
- Tokenize XML☆25Jan 15, 2023Updated 3 years ago
- a rule-engine with custom dsl for golang☆13Dec 7, 2019Updated 6 years ago
- Go + HTMX + Templ + Tailwindcss and Alpinejs (PinesUI) template (aka updated version of https://github.com/anthdm/gothstarter [which @ant…☆10Jan 1, 2025Updated last year
- A TCP Server with simple and clean API☆12Nov 4, 2016Updated 9 years ago
- a redis client library for io☆22Apr 21, 2010Updated 16 years ago
- Go application template based on Uber Fx.☆11Jul 22, 2023Updated 2 years ago