☆32Feb 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:
- TUS protocol for resumable file uploads via HTTP☆14Feb 16, 2026Updated last month
- Prolog binding for terminusdb-store☆22Jun 13, 2022Updated 3 years ago
- A simple tool to help building stacking models.☆18Feb 7, 2026Updated last month
- tuscli - TerminusDB Javascript document client☆10Mar 13, 2026Updated 2 weeks ago
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 2020Updated 5 years ago
- Wordpress hosting with auto-scaling on Cloudways • AdFully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
- A simple proof of concept of storing content on TerminusDB for a CMS-like system.☆15Nov 23, 2020Updated 5 years ago
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- Log(ic) programming in Ru(st), an embeddable engine for prolog-like logic programming.☆24Sep 27, 2025Updated 6 months ago
- TerminusDB Python Client☆79Feb 26, 2026Updated last month
- TerminusDB Bootstrap☆67Nov 22, 2023Updated 2 years ago
- Tutorials for using TerminusDB☆58May 5, 2023Updated 2 years ago
- Prolog benchmarks (`van Roy' set)☆18Mar 15, 2026Updated 2 weeks ago
- Patient-centered safety diagnostics for oncology dose-escalation trials, examining design safety in light of inter-individual variation i…☆29Feb 1, 2022Updated 4 years ago
- The Ambire AdEx Validator Stack implemented in Rust: sentry, validator worker, adapter, adview manager☆11Mar 25, 2023Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- parser for makepkg's .SRCINFO file format☆19Jan 8, 2026Updated 2 months ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- a tokio-enabled data store for triple data☆381Mar 11, 2024Updated 2 years ago
- Curating the best Libra project and resource☆11Jul 8, 2019Updated 6 years ago
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 2 years ago
- Port of Shen Language for Clojure☆11Oct 12, 2022Updated 3 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆40Nov 21, 2021Updated 4 years ago
- Derive macro for generating arrays from struct fields.☆20Oct 6, 2022Updated 3 years ago
- Paredit version 1 for LispWorks☆12Jun 6, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Generic virtual dom implementation for rust☆17Mar 4, 2024Updated 2 years ago
- A clean academic curriculum vitae (CV) template using Typst and YAML☆24May 3, 2025Updated 10 months ago
- A me maintained zub-vm fork. A super-fast, stack-based virtual machine for dynamic languages☆12Aug 9, 2025Updated 7 months ago
- Access Contentful data using Om Next Queries☆15Apr 25, 2019Updated 6 years ago
- An implementation of the multi-paradigm declarative language Curry which compiles Curry programs into Haskell programs☆20Feb 22, 2026Updated last month
- Fully-runtime equivalent of Rust's string formatting macro.☆14May 20, 2022Updated 3 years ago
- My undergradate thesis on coinductive types in univalent type theory☆17May 10, 2018Updated 7 years ago
- GNU Prolog☆139Dec 15, 2025Updated 3 months ago
- A data-first Rust-native UI design toolkit. Experimental embedded version (no_std).☆19Jul 31, 2020Updated 5 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- It's from the future!☆10Dec 6, 2021Updated 4 years ago
- kgraph whitepaper☆19Nov 16, 2021Updated 4 years ago
- Low-level X.509 verification☆20Jun 25, 2021Updated 4 years ago
- reworking quest, but faster☆10Jul 26, 2025Updated 8 months ago
- ☆15May 28, 2016Updated 9 years ago
- Actor-like concurrency for Rust.☆15Dec 20, 2020Updated 5 years ago
- model testing sugar for testing interactions on structures over time☆26Jul 24, 2019Updated 6 years ago