Generalized RDF for Rust.
☆13Nov 21, 2023Updated 2 years ago
Alternatives and similar repositories for grdf
Users that are interested in grdf are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- RDF library implemented in Rust☆30Nov 13, 2020Updated 5 years ago
- An RDF library in pure Rust☆72Jul 20, 2020Updated 6 years ago
- Verified decision procedures for modal logics in Lean☆13Jun 13, 2020Updated 6 years ago
- The RDF toolkit for Rust is a set of crates providing the ability to work with RDF data☆19Jun 29, 2026Updated 4 months ago
- RDF/JS Dataset and Store that resorts to a web assembly backend☆12Jun 26, 2023Updated 3 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.
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- A Crèche Course in Model Theory. Lecture notes for an introductory (under)graduate couse in model theory☆11Updated this week
- ☆13Aug 11, 2021Updated 5 years ago
- ☆13Aug 9, 2026Updated 3 months ago
- An async Rust wrapper around the BlueZ D-Bus interface, for Bluetooth central functionality on Linux.☆44Nov 3, 2026Updated last week
- Exercises for Rust tutorial☆14Oct 27, 2017Updated 9 years ago
- RDF Dataset Canonicalization (deliverable of the RCH working group)☆24Feb 24, 2026Updated 8 months ago
- Docker image for Apache Jena's Fuseki SPARQL endpoint☆15Jun 4, 2026Updated 5 months ago
- Rust-native time-series table format with gap/overlap tracking and SQL queries☆17Oct 7, 2026Updated last month
- 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.
- RDF Tables in Rust☆18Aug 26, 2022Updated 4 years ago
- boxddd is a Rust binding workspace for Box3D☆14Aug 4, 2026Updated 3 months ago
- OWL2 representation in Rust☆23Jul 12, 2023Updated 3 years ago
- RDF parsers library☆87Apr 11, 2026Updated 6 months ago
- Stardog Visual Studio Code Extensions☆17Apr 6, 2026Updated 7 months ago
- A custom Cargo runner that runs Rust firmware in the renode emulator☆13Apr 28, 2025Updated last year
- A data-first Rust-native UI design toolkit. Experimental embedded version (no_std).☆18Jul 31, 2020Updated 6 years ago
- Simple and fast implementation of language tag normalization and validation☆29Nov 1, 2026Updated last week
- various predicates for ichiban/prolog☆16Sep 25, 2022Updated 4 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Simple Rust library for variables substitution☆25Jun 22, 2026Updated 4 months ago
- An anonymous PoW token to monetize the web☆12Mar 4, 2024Updated 2 years ago
- CWRC ontology - primary repository☆14Sep 7, 2026Updated 2 months ago
- libdecnumber bindings for the Rust programming language☆13May 7, 2025Updated last year
- A Rust implementation of the K2Tree, an extremely space-efficient way of representing sparse bit-matrices.☆17Apr 13, 2022Updated 4 years ago
- Graph library for Rust☆28Jul 31, 2026Updated 3 months ago
- Support for parsing/encoding CBOR diagnostic notation and annotated hex☆17Jun 1, 2024Updated 2 years ago
- Rust implementation of Internationalized Resource Identifiers (IRIs) and References, borrowed and owned.☆30Oct 20, 2026Updated 3 weeks ago
- 69-key split mechanical keyboard (PCB, case, firmware) | now on https://codeberg.org/valpackett/ergonice☆13Oct 1, 2022Updated 4 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.
- DEPRECATED: OpenSCAD like API for JSCAD (See the link below)☆14Jan 17, 2018Updated 8 years ago
- Interactive command line interface to xinput for managing touchpad settings.☆10Jun 3, 2019Updated 7 years ago
- A pure Rust implementation of SCTP☆19Aug 23, 2022Updated 4 years ago
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆19May 26, 2025Updated last year
- For parts of https://www.ats-lang.org☆26Jun 29, 2025Updated last year
- Crate for calculating sunrise / sunset times☆22Jan 1, 2026Updated 10 months ago
- Problem Sets for MIT 6.822 Formal Reasoning About Programs, Spring 2018☆23May 9, 2018Updated 8 years ago
Are these results useful?