seL4 / graph-refineView external linksLinks
☆16Mar 17, 2025Updated 10 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
- A simple, smart hooks and utility functions to make development easier☆15Updated this week
- SMACCMPilot flight controller☆32Aug 11, 2017Updated 8 years ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆32Jan 9, 2026Updated last month
- Mathematics of Robotic Manipulation using Rocq and MathComp☆29Updated this week
- Component Architecture test suite and example apps.☆32Aug 15, 2025Updated 5 months ago
- Introduction to python and Jupyter Notebook; includes all of Michael's lecture notes☆15Mar 9, 2025Updated 11 months ago
- Coq plugin for monomorphization and C code generation☆39Jan 16, 2026Updated 3 weeks ago
- Open source game engine☆11Jan 26, 2026Updated 2 weeks ago
- Reranking for Multi-objective Optimized Recommender Systems☆11Aug 3, 2023Updated 2 years ago
- Paper dataset for "Factored Verification: Detecting and Reducing Hallucination in Summaries of Academic Papers"☆13Oct 20, 2024Updated last year
- IIT Tirupati Digital Wizards x HacktoberFest 2024☆11Jan 28, 2026Updated 2 weeks ago
- ☆10Jan 16, 2025Updated last year
- A MongoDB migration CLI tool for Typescript & Javascript☆13Oct 30, 2024Updated last year
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic☆11Jul 15, 2024Updated last year
- Extension for vk.com that makes life easier☆10Feb 4, 2021Updated 5 years ago
- ☆14Sep 5, 2025Updated 5 months ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- ☆16Updated this week
- 第十六届全国大学生智能汽车竞赛讯飞智慧餐厅组艾卡一队代码☆10Mar 31, 2021Updated 4 years ago
- A repository for resources relating to NLP in the Balochi language☆19Jun 3, 2023Updated 2 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Oct 22, 2024Updated last year
- Expected edit distance implementation using OpenFst tools☆11May 13, 2015Updated 10 years ago
- Source code for 'Software Exorcism' by Bill Blunden☆13Mar 30, 2017Updated 8 years ago
- Tree-automata-based run-time type constraints for miniKanren☆14Aug 3, 2023Updated 2 years ago
- The implementation of an SMTLib dialect for xDSL☆17Feb 6, 2026Updated last week
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Mar 29, 2023Updated 2 years ago
- A hyperlinked help system for Sublime Text 3☆12Apr 16, 2021Updated 4 years ago
- Universal instruction selection☆12Jun 8, 2018Updated 7 years ago
- All in One dv-hud system☆13Sep 30, 2024Updated last year
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- ☆12Mar 4, 2025Updated 11 months ago
- A Lean implementation of Interaction Trees☆13Jan 13, 2025Updated last year
- SublimeText 3 plugin for displaying regular expression explanations☆12Apr 23, 2018Updated 7 years ago
- Display an emoji based on time since your last commit to a git repo☆16Apr 29, 2013Updated 12 years ago