☆33Feb 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 3 months ago
- Management Dashboard for Terminus DB☆16Apr 24, 2020Updated 6 years ago
- Prolog binding for terminusdb-store☆22Jun 13, 2022Updated 3 years ago
- A simple tool to help building stacking models.☆18Feb 7, 2026Updated 3 months ago
- tuscli - TerminusDB Javascript document client☆10Mar 13, 2026Updated 2 months ago
- AI Agents on 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.
- Implementation of dependent type theory in SWI-Prolog☆10Oct 6, 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.☆25Sep 27, 2025Updated 8 months ago
- TerminusDB Bootstrap☆67Nov 22, 2023Updated 2 years ago
- Tutorials for using TerminusDB☆58May 5, 2023Updated 3 years ago
- A Djot implementation in Prolog☆32Dec 30, 2025Updated 5 months ago
- Prolog benchmarks (`van Roy' set)☆18May 11, 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
- A template for wrapping any Java builder (eg., Maven Takari builder) and bring it into Bazel.☆10May 1, 2025Updated last year
- 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.
- The Ambire AdEx Validator Stack implemented in Rust: sentry, validator worker, adapter, adview manager☆11Mar 25, 2023Updated 3 years ago
- An operator precedence parser for Scryer Prolog, an up and coming ISO Prolog implementation.☆17Jan 31, 2021Updated 5 years ago
- Extract clips of audio and video from source files according to a DaVinci Resolve 16 exported EDL file, using ffmpeg☆16Dec 4, 2024Updated last year
- a tokio-enabled data store for triple data☆382Mar 11, 2024Updated 2 years ago
- Performant physics-focussed quantum circuit library built in Rust☆18Sep 4, 2025Updated 8 months ago
- [WIP] A federated chat thing☆14Mar 24, 2023Updated 3 years ago
- Technical blogs around data collaboration, data management, and building collaborative applications.☆47Jun 1, 2023Updated 2 years ago
- Sans-I/O abstraction layer for any async runtime.☆25Apr 20, 2026Updated last month
- DocLog builds documentation from source code in Prolog☆35May 9, 2026Updated 3 weeks 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.
- Hierarchical sparse bitset☆64May 14, 2026Updated 2 weeks ago
- WIP stack language that uses regex for control flow☆42Oct 10, 2023Updated 2 years ago
- Common Interface to ISO Prolog implementations from Common Lisp☆41Nov 21, 2021Updated 4 years ago
- SecretHandshake secure connections in C++, with Cap'n Proto support☆15Jan 11, 2026Updated 4 months ago
- Derive macro for generating arrays from struct fields.☆20Apr 8, 2026Updated last month
- Paredit version 1 for LispWorks☆12Jun 6, 2021Updated 4 years ago
- The Knowledge Graph of the Knowledge Graph Conference☆14Sep 12, 2023Updated 2 years ago
- /r/Excel Reddit Add-In☆23Jun 25, 2015Updated 10 years ago
- Rust crate providing a reimplementation of the `std::Any` trait that supports types with non-`'static` lifetimes.☆44Dec 17, 2024Updated last year
- AI Agents on 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.
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- A Rust crate for helping write structs as binary data using ✨macro magic✨☆18Apr 17, 2020Updated 6 years ago
- Implementation of "Warren's Abstract Machine: A Tutorial Reconstruction" by Hassan Aït-Kaci.☆29Aug 21, 2017Updated 8 years ago
- Fully-runtime equivalent of Rust's string formatting macro.☆15May 20, 2022Updated 4 years ago
- GNU Prolog☆142Mar 31, 2026Updated last month
- ☆25Dec 3, 2025Updated 5 months ago
- kgraph whitepaper☆19Nov 16, 2021Updated 4 years ago