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 6 months ago
- A repository to hold information and issues about the rust-cv project as a whole☆15May 23, 2020Updated 5 years ago
- Add a REPL to your application with a few macros☆18Jul 28, 2025Updated 7 months ago
- Krypt is a swiss-army knife for encoding, decoding, and hashing in the terminal.☆19Jun 13, 2020Updated 5 years ago
- Rust library for asynchronous stream (de)serialization☆26Feb 3, 2026Updated last month
- Datalog engine with extensions for integrating analyses☆39Oct 30, 2017Updated 8 years ago
- Custom derive for clap.☆34Feb 3, 2020Updated 6 years ago
- Leibniz - a Digital Scientific Notation☆36Apr 11, 2025Updated 10 months ago
- EOSIO-Taurus - The Most Powerful Infrastructure for Decentralized Applications☆13Mar 29, 2024Updated last year
- ☆14Updated this week
- A Rust library for obtaining platform dependant directory paths for application and user directories☆40Apr 12, 2021Updated 4 years ago
- MOVED TO CODEBERG☆48Jun 28, 2025Updated 8 months 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
- An OpenAI-powered triage bot for a slack support channel designed to tag oncalls, prioritize issues, suggest solutions, and streamline co…☆12Jun 11, 2025Updated 8 months ago
- Statistics from our binary transformation framework☆11Jan 16, 2025Updated last year
- Not just a PDE toolbox. Adapt your ideas from a clean, modular code base with Femeko.☆15Feb 22, 2026Updated 2 weeks ago
- Typed binary parsing for typescript☆16Sep 4, 2023Updated 2 years ago
- INCLUSIFY is a tool to support the practical use of diversity-sensitive language in German.☆12Sep 14, 2022Updated 3 years ago
- Firefox and Chrome compatible extension that acts as annotation tool for websites (Named Entity Recognition)☆10Feb 17, 2019Updated 7 years ago
- Quantum Simulator in Scala☆12Feb 28, 2025Updated last year
- Famous game implemented in ReactJs tehnology.☆14Mar 4, 2023Updated 3 years ago
- The most atomic way to train and run inference for a GPT in 100 lines of pure, dependency-free Julia.☆86Updated this week
- ☆44Jan 9, 2026Updated 2 months ago
- A CLI client to interact with NextCloud☆42Sep 5, 2022Updated 3 years ago
- 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
- ☆28Mar 2, 2026Updated last week
- A creative coding environment where Claude can express itself through generative art using p5.js. See tweet thread for examples: https://…☆13Feb 3, 2026Updated last month
- ☆11Nov 20, 2020Updated 5 years ago
- Large-scale sparse matrix factorization for Rust☆11Jan 15, 2026Updated last month
- Official Implementation of the CVPR'23 paper 'Regularization of polynomial networks for image recognition'.☆10Jun 8, 2023Updated 2 years ago
- Loading MagicaVoxel models in Three.js☆10Jan 27, 2022Updated 4 years ago
- reactive state machines☆15Jan 7, 2023Updated 3 years ago
- LONGAGENT: Scaling Language Models to 128k Context through Multi-Agent Collaboration☆11Mar 11, 2024Updated last year
- Power Assert instrumentor from code to code, with SourceMap.☆13Dec 2, 2022Updated 3 years ago
- High-performance tokenized language data-loader for Python C++ extension☆14Jul 22, 2024Updated last year
- 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
- A proof of concept / prototype alternative String implementation for Pharo using a variable length UTF8 encoded internal representation☆12May 7, 2022Updated 3 years ago
- A machine learning software for extracting astronomical entities from scholarly documents☆10Oct 31, 2022Updated 3 years ago
- Images in terminals☆10May 27, 2022Updated 3 years ago