An experimental package manager for Scryer Prolog
☆22Nov 25, 2025Updated 4 months ago
Alternatives and similar repositories for bakage
Users that are interested in bakage are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Integrated RDF Surfaces inspired by Pat Hayes, Patrick Hochstenbach and EYE.☆13Aug 13, 2025Updated 7 months ago
- DocLog builds documentation from source code in Prolog☆34Jan 5, 2026Updated 2 months ago
- ☆58May 17, 2025Updated 10 months ago
- Fast, simplified WAM-based Prolog system☆25Oct 30, 2025Updated 4 months ago
- YAML parser for Dyalog APL☆12Oct 30, 2023Updated 2 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.
- Web playground to try Scryer Prolog in your browser!☆16Nov 29, 2025Updated 3 months ago
- A compact, efficient Prolog interpreter written in plain old C.☆346Updated this week
- An accessible Forth written in machine code for the RISC-V architecture.☆24Jan 19, 2026Updated 2 months ago
- Boxing primitive types in C++☆17Sep 27, 2024Updated last year
- ☆62Nov 11, 2025Updated 4 months ago
- A set of tools and libraries for automatically generating and initiating sandboxes for Rust programs☆15Oct 24, 2022Updated 3 years ago
- The Graphplan algorithm is an automatic planning algorithm that can compute, given a set of rules, a plan of action to go from an initial…☆38Jan 25, 2015Updated 11 years ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated 11 months ago
- hitchhiker Prolog - an implementation of a novel virtual machine☆12May 6, 2023Updated 2 years ago
- DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Quantum Annealing Prolog☆40Jan 25, 2022Updated 4 years ago
- GNU Prolog☆139Dec 15, 2025Updated 3 months ago
- A JNA wrapper for nanomsg/nng☆14Oct 5, 2020Updated 5 years ago
- header-only Windows implementation of the <strings.h> header☆19Mar 17, 2023Updated 3 years ago
- Constraint Logic Programming over Integers☆210Feb 5, 2024Updated 2 years ago
- ☆10Jul 24, 2021Updated 4 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆12Sep 6, 2022Updated 3 years ago
- Heroicons as elm/svg elements☆12Jul 17, 2024Updated last year
- Prolog interpreter with support for weak unification. Fork of https://bitbucket.org/cfbolz/pyrolog/☆15Jun 23, 2020Updated 5 years ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Planning and Domain Definition Language (PDDL) syntax highlighting for vim☆10Dec 12, 2023Updated 2 years ago
- A modern Prolog implementation written mostly in Rust.☆2,376Updated this week
- String OS from User Space!☆11Jun 5, 2023Updated 2 years ago
- C. Hocquette and A. Cropper, Relational program synthesis with numerical reasoning, AAAI23.☆16Feb 22, 2023Updated 3 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Mar 8, 2016Updated 10 years ago
- A style guide for Haskell code.☆14May 26, 2025Updated 9 months ago
- APL-based web service framework supporting JSON or REST☆38Feb 11, 2026Updated last month
- Learn nix by example☆11Aug 11, 2022Updated 3 years ago
- Apple ][+ emulator written in Go.☆15May 21, 2018Updated 7 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- header-only Windows implementation of the <dirent.h> header☆33Feb 2, 2025Updated last year
- Blog engine in Rust using Rocket☆14Jul 22, 2024Updated last year
- General Board Game Playing☆25Jun 16, 2025Updated 9 months ago
- header-only Windows implementation of the <sys/wait.h> header☆29May 12, 2019Updated 6 years ago
- header-only Windows implementation of the <unistd.h> header☆40Jul 29, 2019Updated 6 years ago
- Language Server Protocol server for SWI-Prolog☆124Dec 9, 2025Updated 3 months ago
- concurrent map implementation using bucket list like a skip list.☆10May 29, 2022Updated 3 years ago