☆16Mar 17, 2025Updated 11 months ago
Alternatives and similar repositories for graph-refine
Users that are interested in graph-refine are comparing it to the libraries listed below
Sorting:
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- GCC plugin for C language that tracks references to allocated objects☆30May 12, 2025Updated 9 months ago
- ☆11Feb 11, 2026Updated 3 weeks ago
- A simple, smart hooks and utility functions to make development easier☆15Feb 7, 2026Updated 3 weeks ago
- SMACCMPilot flight controller☆32Aug 11, 2017Updated 8 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆33Jan 9, 2026Updated last month
- Mathematics of Robotic Manipulation using Rocq and MathComp☆29Feb 25, 2026Updated last week
- Component Architecture test suite and example apps.☆34Aug 15, 2025Updated 6 months ago
- Introduction to python and Jupyter Notebook; includes all of Michael's lecture notes☆15Mar 9, 2025Updated 11 months ago
- A blazing-fast Rust rule engine with RETE algorithm, backward chaining inference, and GRL (Grule Rule Language) syntax. Features: forward…☆36Updated this week
- Coq plugin for monomorphization and C code generation☆40Jan 16, 2026Updated last month
- Reranking for Multi-objective Optimized Recommender Systems☆11Aug 3, 2023Updated 2 years ago
- Open source game engine☆11Jan 26, 2026Updated last month
- 第十六届全国大学生智能汽车竞赛讯飞智慧餐厅组艾卡一队代码☆10Mar 31, 2021Updated 4 years ago
- A repository for resources relating to NLP in the Balochi language☆19Jun 3, 2023Updated 2 years ago
- Paper dataset for "Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers"☆12Oct 20, 2024Updated last year
- Extension for vk.com that makes life easier☆10Feb 4, 2021Updated 5 years ago
- ☆10Jan 16, 2025Updated last year
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- A MongoDB migration CLI tool for Typescript & Javascript☆13Oct 30, 2024Updated last year
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆13Sep 5, 2025Updated 6 months ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated last week
- IIT Tirupati Digital Wizards x HacktoberFest 2024☆11Jan 28, 2026Updated last month
- Scorched Gunssss☆16Nov 9, 2025Updated 3 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- ☆11Feb 24, 2025Updated last year
- ☆17Updated this week
- HOL Guidebook☆12Oct 11, 2024Updated last year
- PyRex: A didactic polynomial-time regular expressions implementation in Python☆12Jul 29, 2014Updated 11 years ago
- A free fivem storages system☆23Apr 13, 2025Updated 10 months ago
- Project in which an MPC controller using both state feedback and output feedback with disturbance rejection is design for the attitude dy…☆13Jul 3, 2024Updated last year
- A linter for Soufflé Datalog☆17Apr 1, 2024Updated last year
- The implementation of an SMTLib dialect for xDSL☆17Feb 27, 2026Updated last week
- SublimeText 3 plugin for displaying regular expression explanations☆12Apr 23, 2018Updated 7 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- ☆13Dec 9, 2022Updated 3 years ago
- ☆12Mar 4, 2025Updated last year
- Static program slicer used in Symbiotic tool☆12Mar 31, 2025Updated 11 months ago