The Termite driver synthesis tool
☆38Jul 25, 2017Updated 9 years ago
Alternatives and similar repositories for Termite
Users that are interested in Termite are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆11Sep 2, 2020Updated 6 years ago
- This repo is now stale; all changes have been integrated into upstream LLVM. (Was: A proof of concept implementation of proposed support…☆28Aug 4, 2014Updated 12 years ago
- A networked FPGA key-value store written in Clash☆30Apr 1, 2024Updated 2 years ago
- Web site for standardml.org.☆38Oct 17, 2023Updated 3 years ago
- ☆10Sep 24, 2021Updated 5 years ago
- 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.
- Standard ML autoformatter☆15Dec 25, 2021Updated 4 years ago
- project has moved to https://github.com/lucasdicioccio/deptrack-project☆10May 6, 2017Updated 9 years ago
- Relaxed Rust (for cats)☆14Nov 20, 2019Updated 6 years ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 8 years ago
- ELVE : ELVE Logic Visualization Engine☆11Jul 2, 2017Updated 9 years ago
- company-mode completion back-end for MLton/Standard ML☆16Dec 7, 2020Updated 5 years ago
- Type qualifiers for C☆16Sep 21, 2011Updated 15 years ago
- UNIX二十五年☆16Jun 29, 2018Updated 8 years ago
- Network Programming with Relational and Procedural Abstractions (NERPA)☆32Apr 4, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- C++ Library for Quantum State Preparation (QSP)☆13Jan 5, 2023Updated 3 years ago
- Warning: 🕳 ahead!☆16Jan 8, 2020Updated 6 years ago
- A formally verified Raft specification in SPIN, as course project of Software Formal Verification, 2020 Autumn, Tsinghua University☆17May 11, 2021Updated 5 years ago
- p4 controller in Rust☆12Feb 22, 2021Updated 5 years ago
- A Hindley-Milner(-Damas) type inference implementation in C.☆13Nov 13, 2015Updated 10 years ago
- Automatic ROP chain generator☆12Mar 29, 2015Updated 11 years ago
- The Lambda Lisp operating system☆10Aug 20, 2020Updated 6 years ago
- Better P4 Output☆12Jan 2, 2024Updated 2 years ago
- Easily toggle other Ring middleware on and off at runtime☆11Oct 16, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆14Jan 3, 2018Updated 8 years ago
- The MonoSAT SMT solver with a CTL model checking theory☆10Oct 21, 2024Updated 2 years ago
- Blink: Fast Connectivity Recovery Entirely in the Data Plane☆27Sep 23, 2021Updated 5 years ago
- 🛠 [WIP] An emulator for Nintendo Entertainment System written in Rust☆13Sep 24, 2020Updated 6 years ago
- kilroy☆39Jun 23, 2014Updated 12 years ago
- Code for ASPLOS 2026 paper: "Detecting Inconsistencies in ARM CCA’s Formally Verified Specification"☆13Jan 13, 2026Updated 9 months ago
- ☆25Dec 31, 2021Updated 4 years ago
- Common Hackable Adaptable Operating System☆14Sep 25, 2020Updated 6 years ago
- Batteries-included, zero config unified logging library for Clojure.☆11Dec 6, 2016Updated 9 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.
- My KVM breakout code from my DEFCON/Black Hat 2011 presentation☆36Apr 9, 2014Updated 12 years ago
- Welcome to Birds-of-a-Feather: Open-Source-Academic-EDA-Software !☆14Jun 6, 2019Updated 7 years ago
- CTL (Computation Tree Logic) SAT solver☆15Feb 10, 2020Updated 6 years ago
- Semzhu-Visor; a small embedded hypervisor on AArch64 on qemu☆10Apr 9, 2019Updated 7 years ago
- Request for comments on ClojureScript compiler interface updates☆14Sep 15, 2014Updated 12 years ago
- AmorphOS open source FPGA operating system project☆10Apr 16, 2020Updated 6 years ago
- this repository is obsolete please go to our new repository☆14Jan 12, 2018Updated 8 years ago