A relational logic programming language embedded in Rust.
☆12Aug 15, 2025Updated last year
Alternatives and similar repositories for proto-vulcan
Users that are interested in proto-vulcan are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Dec 7, 2023Updated 2 years ago
- A typescript library to transform a Tree-sitter tree to a Universal Syntax Tree.☆11Jan 5, 2023Updated 3 years ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆13Sep 25, 2026Updated last month
- RGB <-> Lab color space conversion☆17Jul 30, 2021Updated 5 years ago
- Add a REPL to your application with a few macros☆18Jul 28, 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.
- Mathematical expression parser and evaluator☆15Feb 29, 2020Updated 6 years ago
- Example Project to show how to build a Catalyst static library with Rust☆17Feb 26, 2021Updated 5 years ago
- Yet Another rust Neural Network framework☆17Mar 17, 2022Updated 4 years ago
- Personal AI assistant for saving and chatting with web content.☆16Feb 19, 2026Updated 8 months ago
- Very high quality image quantization in Rust☆41Feb 26, 2022Updated 4 years ago
- Log(ic) programming in Ru(st), an embeddable engine for prolog-like logic programming.☆26Sep 27, 2025Updated last year
- Odin Programming Language☆14Updated this week
- Krypt is a swiss-army knife for encoding, decoding, and hashing in the terminal.☆20Jun 13, 2020Updated 6 years ago
- Slog 1.0☆47Jun 11, 2024Updated 2 years ago
- 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.
- SSL certificate authority script package for creating and signing your own SSL/TLS certificates☆11Nov 28, 2025Updated 11 months ago
- ☆22Apr 6, 2024Updated 2 years ago
- Experimental Vim key bindings for Godot's built-in script editor.☆10Jan 3, 2022Updated 4 years ago
- A Lojban parser in Piston-Meta☆25Apr 11, 2021Updated 5 years ago
- Assign multiple macros as global key bindings in Emacs☆11Dec 25, 2020Updated 5 years ago
- An OpenAPI compiler for large and complex specs.☆26Oct 23, 2026Updated last week
- An importer plugin for Godot 4.x for Piskel projects☆14Oct 5, 2025Updated last year
- A repository to hold information and issues about the rust-cv project as a whole☆15May 23, 2020Updated 6 years ago
- Create dozens/hundreds/thousands/millions of random examples based on a pest grammar (PEG). It can be used for generate string/structured…☆15Jun 8, 2021Updated 5 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.
- This script uses Python and Redis with Twitter API to run a fully automated twitter account.☆19Feb 6, 2023Updated 3 years ago
- Graphing Scrubbing Calculator☆12Nov 27, 2017Updated 8 years ago
- A Guix dashboard for GToolkit☆14Apr 14, 2023Updated 3 years ago
- Leibniz - a Digital Scientific Notation☆37Apr 11, 2025Updated last year
- A novel approach to central processing unit design☆18Apr 1, 2026Updated 6 months ago
- Rapier based physics testing determinism inside Godot☆11Jun 29, 2021Updated 5 years ago
- Updated launcher for 1.6☆11Sep 6, 2019Updated 7 years ago
- Eventstat periodically dumps out the current kernel event state. It keeps track of current events and outputs the change in events on eac…☆13Jan 1, 2025Updated last year
- Example of a monorepo using Pnpm and Nx☆23Jul 19, 2026Updated 3 months 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.
- Interactive side-bar feature for leaf based init.el☆12Updated this week
- Rust library for asynchronous stream (de)serialization☆28Oct 3, 2026Updated 3 weeks ago
- The graphics toolkit for SWI-Prolog☆23Updated this week
- Doxygen with GDScript replacing Python.☆11Nov 21, 2016Updated 9 years ago
- An easy-to-use Source Engine inspired console for Godot with the ability to manipulate Godot Nodes.☆15Jul 24, 2020Updated 6 years ago
- ALGT 2.0☆30Dec 23, 2019Updated 6 years ago
- A Conflict-Free Replicated JSON Datatype for Haskell☆34Jul 14, 2018Updated 8 years ago