A logic programming library (inspired by uKanren) in Rust.
☆21Feb 6, 2016Updated 10 years ago
Alternatives and similar repositories for rslogic
Users that are interested in rslogic are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Wraps around a futures::Spawn and adds diagnostics to it☆31Feb 5, 2020Updated 6 years ago
- Wrapper around Microsoft CNTK library☆21Mar 4, 2018Updated 8 years ago
- Enables dependency injection for many I/O operations in Rust☆12Sep 23, 2018Updated 8 years ago
- Rust implementation of macaroons.☆23Jan 9, 2023Updated 3 years ago
- A reddit/hackernews clone created in python with flask and app engine☆11Dec 13, 2012Updated 13 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆14Jul 19, 2017Updated 9 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.html☆82Mar 19, 2026Updated 7 months ago
- suffix array construction and searching algorithms for in-memory binary data.☆13Sep 10, 2022Updated 4 years ago
- Beautiful generative geometric images from a string, based on @jasonlong's geo_pattern, with a WASM demo☆45Aug 4, 2020Updated 6 years ago
- CSS stylesheet domain model for Rust☆13Nov 10, 2017Updated 8 years ago
- A jobserver for running experiments on test machines and copying results back.☆14Apr 5, 2024Updated 2 years ago
- Compute order statistics☆15Sep 16, 2023Updated 3 years ago
- A qp-trie implementation in Rust☆43Sep 25, 2026Updated last month
- CI and test infrastructure for OPAM packages☆10Sep 8, 2013Updated 13 years 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.
- A pool of workers operating on a single set of mio connections☆11Dec 4, 2018Updated 7 years ago
- eRPC library for Rust☆14Jan 16, 2020Updated 6 years ago
- Special functions for Rust by binding to the Cephes library.☆16Jul 26, 2024Updated 2 years ago
- Rust Tor Controller library☆25Apr 19, 2020Updated 6 years ago
- CloudABI utilities: command line tools, etc☆10Sep 11, 2020Updated 6 years ago
- A simple implementation of an 'echo' (port 7) server using epoll (Linux), kqueue (FreeBSD), and IOCompletionPorts (Windows).☆14Nov 19, 2018Updated 7 years ago
- A Python tool to manage and tag your bibliography (.bib and .pdf) files on Dropbox☆14Sep 24, 2026Updated last month
- Rust redfish library☆10Aug 25, 2026Updated 2 months ago
- Levenshtein edit distance in Rust☆54Oct 4, 2025Updated last year
- 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.
- A MIPS simulator written in Rust☆19Apr 1, 2019Updated 7 years ago
- Real-time shopping list in Rust & Vanilla JS☆14Jul 20, 2023Updated 3 years ago
- Simplify the use of performance counters.☆64Sep 19, 2026Updated last month
- 🔓 Open Alternative TuyaMCU Firmware for Treatlife Switches☆10Mar 10, 2023Updated 3 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.☆55Mar 20, 2025Updated last year
- A miniKanren implementation in Rust☆37Mar 8, 2016Updated 10 years ago
- ☆10Jun 30, 2025Updated last year
- A tool to query opam files from shell scripts☆14Aug 22, 2017Updated 9 years ago
- PCI ID Parser in Rust☆12Mar 19, 2026Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- My entry for Ludum Dare 35☆13Apr 17, 2016Updated 10 years ago
- ☆13Dec 30, 2016Updated 9 years ago
- Rust In-Memory Filesystem☆18Nov 28, 2019Updated 6 years ago
- Plain Rust implementations of basic machine learning algorithms☆17Mar 13, 2019Updated 7 years ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- Non-transferable Badges for Maker Ecosystem Activity @makerdao @ETHGlobal☆16Sep 17, 2025Updated last year
- "wc -l" for the impatient, with estimation of total line count as it progresses☆11May 24, 2012Updated 14 years ago