☆18Mar 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:
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- Coq executable semantics and resource verifier☆14Dec 23, 2015Updated 10 years ago
- Interactions Trees in Isabelle/HOL and a CSP model☆11Aug 28, 2026Updated 2 months ago
- L3 based MIPS specification and emulator☆15Jul 29, 2021Updated 5 years ago
- A formal proof of LaSalle's invariance principle☆12Feb 3, 2026Updated 9 months ago
- 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.
- 第十六届全国大学生智能汽车竞赛讯飞智慧餐厅组艾卡一队代码☆10Mar 31, 2021Updated 5 years ago
- The Rumprun unikernel and toolchain for various platforms☆11Updated this week
- ☆14Sep 8, 2017Updated 9 years ago
- Rumprun (SMP version)☆11Jan 4, 2021Updated 5 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆64Updated this week
- ☆12Jan 23, 2022Updated 4 years ago
- Automated Controller Synthesis☆15Jun 27, 2018Updated 8 years ago
- Bare metal SDK for i.MX6 Q/D/DL/S/SL☆12Apr 1, 2018Updated 8 years ago
- Fork of http://compcert.inria.fr/☆22Oct 30, 2014Updated 12 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.
- Unikraft port of the lwip network stack☆17Apr 20, 2026Updated 6 months ago
- worst case executing time☆15May 7, 2014Updated 12 years ago
- A simple, smart hooks and utility functions to make development easier☆15Mar 30, 2026Updated 7 months ago
- An standalone micro-ROS app for Nuttx☆15Sep 16, 2025Updated last year
- LIMA: Language for Integrated Modeling and Analysis☆12Sep 8, 2018Updated 8 years ago
- Automotive S32 U-Boot☆11Updated this week
- 安卓手机通过蓝牙与单片机通信-发送指令/接收数据☆14Feb 17, 2022Updated 4 years ago
- A Sublime Text 3 client for Vale Server.☆13Dec 7, 2020Updated 5 years ago
- SublimeText 3 plugin for displaying regular expression explanations☆12Apr 23, 2018Updated 8 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.
- Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [mai…☆36Updated this week
- SMACCMPilot flight controller☆32Aug 11, 2017Updated 9 years ago
- Mirror of the official Xenomai repository for CI purposes☆39Aug 12, 2025Updated last year
- klibc Verification with Frama-C and WP☆11May 5, 2014Updated 12 years ago
- Capability Distribution Language tools for seL4☆44Updated this week
- Convert FreeRTOS trace-recorder traces to LTTng-shaped CTF☆16Dec 24, 2024Updated last year
- Haskell library for representing and manipulating Symbolic Regression Tree☆19Oct 2, 2026Updated last month
- A hyperlinked help system for Sublime Text 3☆12Sep 26, 2026Updated last month
- Introduction to python and Jupyter Notebook; includes all of Michael's lecture notes☆15Apr 7, 2026Updated 6 months ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- Tower backend and Ivory board support package for the STM32 line of microcontrollers☆12Feb 20, 2024Updated 2 years ago
- ☆11Apr 5, 2025Updated last year
- Rounding vectors☆10Jan 22, 2026Updated 9 months ago
- foculor Theme for Sublime Text 3☆11May 14, 2018Updated 8 years ago
- Reinforcement Learning Project☆12Jan 16, 2017Updated 9 years ago
- ☆11Oct 9, 2025Updated last year
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago