terohuttunen / proto-vulcanView external linksLinks
A relational logic programming language embedded in Rust.
☆12Aug 15, 2025Updated 6 months ago
Alternatives and similar repositories for proto-vulcan
Users that are interested in proto-vulcan are comparing it to the libraries listed below
Sorting:
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 5 months ago
- A repository to hold information and issues about the rust-cv project as a whole☆15May 23, 2020Updated 5 years ago
- Krypt is a swiss-army knife for encoding, decoding, and hashing in the terminal.☆19Jun 13, 2020Updated 5 years ago
- Add a REPL to your application with a few macros☆18Jul 28, 2025Updated 6 months ago
- Rust library for asynchronous stream (de)serialization☆26Feb 3, 2026Updated 2 weeks ago
- Custom derive for clap.☆34Feb 3, 2020Updated 6 years ago
- Datalog engine with extensions for integrating analyses☆39Oct 30, 2017Updated 8 years ago
- Leibniz - a Digital Scientific Notation☆36Apr 11, 2025Updated 10 months ago
- A Rust library for obtaining platform dependant directory paths for application and user directories☆40Apr 12, 2021Updated 4 years ago
- ☆14Updated this week
- EOSIO-Taurus - The Most Powerful Infrastructure for Decentralized Applications☆13Mar 29, 2024Updated last year
- MOVED TO CODEBERG☆48Jun 28, 2025Updated 7 months ago
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Sep 14, 2022Updated 3 years ago
- Crate help in terminal: A tool for looking up details about rust crates without going to crates.io☆42Jun 30, 2020Updated 5 years ago
- Famous game implemented in ReactJs tehnology.☆14Mar 4, 2023Updated 2 years ago
- Typed binary parsing for typescript☆16Sep 4, 2023Updated 2 years ago
- Statistics from our binary transformation framework☆10Jan 16, 2025Updated last year
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Updated this week
- Firefox and Chrome compatible extension that acts as annotation tool for websites (Named Entity Recognition)☆10Feb 17, 2019Updated 6 years ago
- Quantum Simulator in Scala☆12Feb 28, 2025Updated 11 months ago
- A CLI client to interact with NextCloud☆42Sep 5, 2022Updated 3 years ago
- ☆44Jan 9, 2026Updated last month
- The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for P…☆47Jan 27, 2025Updated last year
- Tiled Map Editor *.tmx files parser☆12Jan 21, 2026Updated 3 weeks ago
- Explanation Ontology Resource website☆12Jun 8, 2024Updated last year
- ☆14Mar 18, 2020Updated 5 years ago
- CoqIDE-like experience for kakoune☆10Nov 8, 2022Updated 3 years ago
- Large-scale sparse matrix factorization for Rust☆11Jan 15, 2026Updated last month
- Make the 'new' keyword optional for ES6 classes☆12Mar 22, 2017Updated 8 years ago
- ☆10Jul 29, 2024Updated last year
- Illustration of Rust await syntax alternatives☆13May 5, 2019Updated 6 years ago
- A machine learning software for extracting astronomical entities from scholarly documents☆10Oct 31, 2022Updated 3 years ago
- A framework for linking the DOM and DOM based events with scripting languages compiled to WASM. Part of the PyScript project.☆12Oct 1, 2024Updated last year
- Wee Entity Component System for Javascript☆11Feb 15, 2023Updated 3 years ago
- Bindings to provide authentication and access to Firestore data in React.☆19Apr 14, 2018Updated 7 years ago
- ☆12Sep 21, 2024Updated last year
- ☆10Feb 2, 2026Updated 2 weeks ago
- This project aims to collect rich metadata information about IUP's elements, enabling code-gen tools to create type-checked bindings for …☆11Mar 23, 2023Updated 2 years ago
- Godot Variant Notation☆10Jan 24, 2024Updated 2 years ago