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
- A Hyperon MeTTa Interpreter/Transpilier that targets the Warren Abstract Machine☆24Mar 29, 2026Updated 2 months ago
- top-down interpreter for ASP programs with constraints☆18Sep 19, 2022Updated 3 years ago
- Proxy for using Nostr over Nym mixnet☆16May 16, 2023Updated 3 years 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.
- The Electron application implementing my project 'Tanglestash'☆12Feb 10, 2018Updated 8 years ago
- Creative Racket competition☆14Nov 7, 2022Updated 3 years ago
- Supervisor trees for Go☆10Nov 4, 2017Updated 8 years ago
- Base 32 + 64 encoding and decoding identifiers + bytes in rust, quickly☆17Oct 10, 2025Updated 8 months ago
- terminal ui widget based on illwill☆20May 26, 2026Updated 2 weeks ago
- run functions on app exit (receiving os signal)☆10Sep 3, 2018Updated 7 years ago
- Easy parallel programming in R -- Work in progress!☆12Jun 11, 2020Updated 6 years ago
- Protect online forms from spam by making them perform Proof of Work (PoW).☆16Nov 9, 2017Updated 8 years ago
- Racket to JavaScript Compiler☆14Aug 30, 2021Updated 4 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- 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
- A basic window manager written in Zig.☆18Oct 2, 2025Updated 8 months ago
- A tweening library for libGDX☆10Oct 6, 2023Updated 2 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 4 months ago
- "Unescapes" strings with escape sequences written with literal characters and converts it into a properly escaped one.☆11Mar 22, 2020Updated 6 years ago
- Examples for godot-zig☆16Dec 29, 2024Updated last year
- PwnedPasswords Go library and command line client☆13Apr 28, 2018Updated 8 years ago
- ReScript bindings for react-native-svg☆14Aug 31, 2024Updated last year
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- ☆15Aug 16, 2018Updated 7 years ago
- Simple Injector; Dependency Injection☆12Mar 6, 2017Updated 9 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 project built for an internal XState Working Group☆14Oct 13, 2021Updated 4 years ago
- A TCP Server with simple and clean API☆11Nov 4, 2016Updated 9 years ago
- Go application template based on Uber Fx.☆11Jul 22, 2023Updated 2 years ago
- 🪐 Three body simulation in Wasm☆11Apr 18, 2024Updated 2 years ago
- ☆10Mar 30, 2026Updated 2 months 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.
- Go wrapper for Swiss Ephemeris (using cgo)☆11Apr 26, 2018Updated 8 years ago
- ☆24Jul 23, 2024Updated last year
- A Zero Dependency, Typescript-First, Bun-Native Dice Notation and Rolling Engine☆12May 16, 2026Updated 3 weeks ago
- NATS client library for Tcl applications☆16Jun 2, 2026Updated last week
- ☆23Feb 15, 2025Updated last year
- A fast, lightweight Go-based CLI tool to detect and manage processes using network ports—featuring project awareness, Docker support, and…☆36Jun 5, 2025Updated last year
- [Not maintained] Implementation of TDigest algorithm in C++☆18Mar 29, 2017Updated 9 years ago