☆34Feb 20, 2024Updated 2 years ago
Alternatives and similar repositories for swipl-rs
Users that are interested in swipl-rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Management Dashboard for Terminus DB☆16Apr 24, 2020Updated 6 years ago
- Prolog binding for terminusdb-store☆23Jun 13, 2022Updated 4 years ago
- A simple tool to help building stacking models.☆18Feb 7, 2026Updated 6 months ago
- Repository no longer in use☆15Aug 19, 2022Updated 4 years ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 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.
- TerminusDB Bootstrap☆67Nov 22, 2023Updated 2 years ago
- Tutorials for using TerminusDB☆59May 5, 2023Updated 3 years ago
- Log(ic) programming in Ru(st), an embeddable engine for prolog-like logic programming.☆25Sep 27, 2025Updated 11 months ago
- TerminusDB Python Client☆80Jul 4, 2026Updated last month
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- Prolog benchmarks (`van Roy' set)☆19Updated this week
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆30Feb 1, 2022Updated 4 years ago
- A Djot implementation in Prolog☆33Dec 30, 2025Updated 8 months ago
- parser for makepkg's .SRCINFO file format☆19Jan 8, 2026Updated 7 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.
- CSOM - C implementation of the Simple Object Machine Smalltalk☆12Jun 6, 2026Updated 2 months ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆18Jan 31, 2021Updated 5 years ago
- Rust bindings for Apple's FoundationModels.framework☆24Aug 16, 2026Updated 2 weeks ago
- a tokio-enabled data store for triple data☆383Mar 11, 2024Updated 2 years ago
- DocLog builds documentation from source code in Prolog☆34May 9, 2026Updated 3 months ago
- Port of Shen Language for Clojure☆11Oct 12, 2022Updated 3 years ago
- WIP stack language that uses regex for control flow☆43Oct 10, 2023Updated 2 years ago
- Rust crate providing a reimplementation of the `std::Any` trait that supports types with non-`'static` lifetimes.☆44Dec 17, 2024Updated last year
- Paredit version 1 for LispWorks☆12Jun 6, 2021Updated 5 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.
- Bignum bindings for rust backed by GMP☆15Oct 13, 2017Updated 8 years ago
- The Knowledge Graph of the Knowledge Graph Conference☆14Sep 12, 2023Updated 2 years ago
- A Rust crate for helping write structs as binary data using ✨macro magic✨☆18Apr 17, 2020Updated 6 years ago
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languages☆12Aug 9, 2025Updated last year
- GNU Prolog☆147Jun 16, 2026Updated 2 months ago
- Access Contentful data using Om Next Queries☆15Apr 25, 2019Updated 7 years ago
- ☆15May 28, 2016Updated 10 years ago
- Fully-runtime equivalent of Rust's string formatting macro.☆15May 20, 2022Updated 4 years ago
- Generic virtual dom implementation for rust☆18Mar 4, 2024Updated 2 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.
- reworking quest, but faster☆11Jul 26, 2025Updated last year
- TerminusDB JavaScript Client☆43Jul 4, 2026Updated last month
- Java <-> XSB Prolog bridge library☆12Oct 13, 2020Updated 5 years ago
- k theorem prover☆11Aug 16, 2022Updated 4 years ago
- Shen implementation in Haskell☆16Aug 19, 2013Updated 13 years ago
- 喜鹊派员工餐配方存档☆12Jun 13, 2024Updated 2 years ago
- ☆18Jul 20, 2025Updated last year