☆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:
- 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
- A simple proof of concept of storing content on TerminusDB for a CMS-like system.☆15Nov 23, 2020Updated 5 years ago
- Repository no longer in use☆15Aug 19, 2022Updated 3 years ago
- TerminusDB Python Client☆80Jul 4, 2026Updated last month
- 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.
- 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☆34Dec 30, 2025Updated 7 months ago
- 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☆22Jul 26, 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☆35May 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
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Rust crate providing a reimplementation of the `std::Any` trait that supports types with non-`'static` lifetimes.☆43Dec 17, 2024Updated last year
- Bigloo Scheme Compiler☆11Dec 28, 2015Updated 10 years ago
- The Knowledge Graph of the Knowledge Graph Conference☆14Sep 12, 2023Updated 2 years ago
- WGPU based 2D game engine made on stream☆12Apr 11, 2023Updated 3 years ago
- A Rust crate for helping write structs as binary data using ✨macro magic✨☆18Apr 17, 2020Updated 6 years 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
- kgraph whitepaper☆19Nov 16, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- k theorem prover☆11Aug 16, 2022Updated 3 years ago
- Statically typed, high-level functional programming language.☆16Aug 22, 2021Updated 4 years ago
- A low level, expressive language☆14Dec 12, 2024Updated last year
- A neanderthal backend for core.matrix.☆15Mar 3, 2018Updated 8 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writ…☆22May 20, 2021Updated 5 years ago
- Restock but with colors☆11Updated this week
- Canonical miniKanren implementation in Racket☆87Sep 21, 2021Updated 4 years ago
- Performant physics-focussed quantum circuit library built in Rust☆18Sep 4, 2025Updated 11 months ago
- A Prolog library to connect to PostgreSQL databases☆107Jun 7, 2026Updated 2 months ago
- 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.
- Telemetry onboarding material☆11Apr 1, 2020Updated 6 years ago
- The WebAssembly Binary Toolkit (with JitBuilder-based JIT compiler)☆10Jan 8, 2020Updated 6 years ago
- A modern Prolog implementation written mostly in Rust.☆2,443Updated this week
- ☆14Nov 15, 2022Updated 3 years ago
- Add types to your macros arguments in Rust☆13Oct 14, 2022Updated 3 years ago
- Edina - A simple stack-oriented compiled programming language.☆15Jun 8, 2023Updated 3 years ago
- Implementation of Kaplan and Zwick's soft heap. Collaboration with Alex Hollender.☆14Oct 13, 2016Updated 9 years ago