☆16Mar 17, 2025Updated last year
Alternatives and similar repositories for graph-refine
Users that are interested in graph-refine are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 第十六届全国大学生智能汽车竞赛讯飞智慧餐厅组艾卡一队代码☆10Mar 31, 2021Updated 5 years ago
- ☆14Sep 8, 2017Updated 8 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 7 years ago
- SMACCMPilot flight controller☆32Aug 11, 2017Updated 8 years ago
- worst case executing time☆15May 7, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- GCC plugin for C language that tracks references to allocated objects☆31May 12, 2025Updated 11 months ago
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 7 years ago
- 安卓手机通过蓝牙与单片机通信-发送指令/接收数据☆14Feb 17, 2022Updated 4 years ago
- SublimeText 3 plugin for displaying regular expression explanations☆12Apr 23, 2018Updated 7 years ago
- A hyperlinked help system for Sublime Text 3☆12Apr 16, 2021Updated 4 years ago
- Component Architecture test suite and example apps.☆34Mar 31, 2026Updated 2 weeks ago
- The BERI and CHERI processor and hardware platform☆50Mar 27, 2017Updated 9 years ago
- Mathematics of Robotic Manipulation using Rocq and MathComp☆29Mar 19, 2026Updated 3 weeks ago
- VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations☆33Apr 6, 2026Updated last week
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- PolyORB-HI/C runtime for Ocarina, supports POSIX, RTEMS, Xenomai, XtratuM RTOS☆13Sep 22, 2022Updated 3 years ago
- SE3 pose lib uses JPL quaternion representing rotation. Headers only.☆13Oct 25, 2018Updated 7 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆11Jul 1, 2020Updated 5 years ago
- ☆12Sep 5, 2025Updated 7 months ago
- A blazing-fast Rust rule engine with RETE algorithm, backward chaining inference, and GRL (Grule Rule Language) syntax. Features: forward…☆38Apr 5, 2026Updated last week
- A Sublime Text 3 client for Vale Server.☆13Dec 7, 2020Updated 5 years ago
- Display an emoji based on time since your last commit to a git repo☆16Apr 29, 2013Updated 12 years ago
- A Sublime Text 3 plugin complete with Sublime Text 3 snippets☆22Mar 16, 2018Updated 8 years ago
- A free fivem storages system☆23Apr 13, 2025Updated last year
- Deploy open-source AI quickly and easily - Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- foculor Theme for Sublime Text 3☆11May 14, 2018Updated 7 years ago
- sublime text protocol☆18Sep 29, 2023Updated 2 years ago
- Extract .sublime-package files to the Sublime Text Packages folder.☆21May 3, 2022Updated 3 years ago
- A simple development of linear logic in Coq.☆13Mar 22, 2025Updated last year
- 🚀 Sliding Window Attention Training for Efficient Large Language Models☆16Dec 8, 2025Updated 4 months ago
- Specification and Analysis for Requirements Tool☆10Mar 31, 2016Updated 10 years ago
- Complete software package for the Iris Lunar Rover (CMU).☆16Feb 23, 2026Updated last month
- Source code for 'Software Exorcism' by Bill Blunden☆13Mar 30, 2017Updated 9 years ago
- Stability Dashboard☆13Updated this 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.
- Generates random utf-8 strings for fuzz t�sting character encoding probl�ms☆11Aug 21, 2015Updated 10 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Segmenting a given document using recursive xy-cut algorithm.☆12Oct 9, 2018Updated 7 years ago
- Coq plugin for monomorphization and C code generation☆40Jan 16, 2026Updated 3 months ago
- MelGAN and Tacotron 2 in PyTorch☆11Oct 22, 2019Updated 6 years ago
- Ada library and tools for the analysis of Complex Networks and more☆11Nov 16, 2023Updated 2 years ago
- Expected edit distance implementation using OpenFst tools☆11May 13, 2015Updated 10 years ago