AI-Hybrid Rules Engine for Logical Reasoning.
☆17Sep 29, 2026Updated last month
Alternatives and similar repositories for vulcan-core
Users that are interested in vulcan-core are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆13Mar 17, 2025Updated last year
- ☆13May 15, 2025Updated last year
- An advanced RAG (Retrieval-Augmented Generation) system that provides intelligent access to Cerebras inference documentation with citatio…☆11May 24, 2025Updated last year
- Remote Jupyter Kernels via SSH tunnels☆10Updated this week
- A logistical pulsar search pipeline using Scott Ransom's PRESTO.☆16Sep 26, 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.
- rIC3 model checker for Hardware Model Checking Competition 2024(HWMCC'24) submission☆12Jul 4, 2025Updated last year
- Ditana Assistant: AI-powered CLI/GUI tool for intelligent assistance, leveraging LLMs with OS interaction capabilities and context augmen…☆13Aug 11, 2026Updated 2 months ago
- A semantic network and reasoning engine in which rules, facts and numbers are nodes of one graph, so a statement is itself a node. Import…☆16Oct 16, 2026Updated 2 weeks ago
- Generate visualisations for systematic literature reviews☆14Jun 20, 2023Updated 3 years ago
- View or diff against previous versions of the current file.☆14Oct 30, 2025Updated last year
- Sample solidity files for onchain NFT creation. Features user input at mint, Base64 encoding and SVG image generation, featuring user inp…☆24Dec 26, 2021Updated 4 years ago
- A formalization of the Banach-Tarski theorem in Lean☆17Jan 4, 2026Updated 9 months ago
- GPU code for quasar and supernovae microlensing simulations☆11Updated this week
- Optimize Z3 strategies for your problem!☆28Oct 20, 2026Updated last week
- 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.
- Grakn Core: The Knowledge Graph☆12Apr 3, 2019Updated 7 years ago
- ☆11Apr 20, 2024Updated 2 years ago
- ☆12Feb 28, 2020Updated 6 years ago
- generate gcode which makes a 3d printer draw on paper☆13Mar 30, 2023Updated 3 years ago
- A package to calculate ensemble averaged waves in heterogeneous materials. The focus is on wave propagation, scattering, and reflection, …☆20Oct 19, 2026Updated last week
- a hipper chat☆11Aug 15, 2016Updated 10 years ago
- Honeywell Enviracom Interface☆14Feb 2, 2021Updated 5 years ago
- Efficient Auto-scalable Scientific Infrastructure for Engineers and Researchers☆16Jul 10, 2026Updated 3 months ago
- HDMI CEC library for Arduino☆14Feb 18, 2024Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- The official CLI for Momentic. Build, run, and manage end-to-end tests through natural language prompts.☆14Updated this week
- Formalized quantum computing in Lean theorem prover☆38Sep 15, 2026Updated last month
- Open Claw skill for PII redaction using Distil-PII models☆16Sep 7, 2026Updated last month
- ☆20Jan 11, 2021Updated 5 years ago
- A package for wave optics simulations through atmospheric turbulence.☆19May 13, 2022Updated 4 years ago
- Multitaper spectrum for time-series analysis☆18Jan 12, 2026Updated 9 months ago
- A library of algorithms for aperture synthesis radio telescopes☆21Oct 19, 2026Updated last week
- Easy-to-use and fast pipeline to search for pulsars☆22Feb 12, 2026Updated 8 months ago
- ETNA CLI is a command line interface that allows you to interact with the ETNA Benchmarking and Analysis Platform. It provides a set of c…☆15Oct 21, 2026Updated last week
- 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.
- My custom dev container features (https://containers.dev)☆20Jul 21, 2026Updated 3 months ago
- Read & write JavaScript values from Python with the V8 serialization format.☆20Sep 30, 2025Updated last year
- Browser SDK for ProgramAsWeights — run neural programs in the browser via WebAssembly☆22Oct 24, 2026Updated last week
- z3-powered solver (theorem prover) for deal☆20Sep 28, 2023Updated 3 years ago
- ATtiny10 firmware to act as a bridge between the i2c and CEC buses on an HDMI cable☆13Apr 22, 2022Updated 4 years ago
- ☆41May 18, 2022Updated 4 years ago
- An example of how to make a fancy scientific talk in HTML☆22Sep 24, 2013Updated 13 years ago