An umbrella repository including all of the dependencies to build the smaccmpilot project
☆75Aug 11, 2017Updated 9 years ago
Alternatives and similar repositories for smaccmpilot-build
Users that are interested in smaccmpilot-build are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SMACCMPilot flight controller☆32Aug 11, 2017Updated 9 years ago
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- Material for the Agda course at the EUTYPES Summer School '19 in Ohrid☆23Sep 3, 2019Updated 7 years ago
- A (Haskell DSL) stream language for generating hard real-time C code.☆153Mar 30, 2019Updated 7 years ago
- Simple Amazon IoT compatible client☆13Oct 24, 2019Updated 7 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.
- The Ivory EDSL☆417Feb 21, 2020Updated 6 years ago
- A Smarter QuickCheck☆102Aug 11, 2017Updated 9 years ago
- Architectural Framework For Integrated Refinement Modeling☆11May 30, 2017Updated 9 years ago
- The project SPARK Formal aims at developing a complete semantics of the SPARK language in Coq.☆12Apr 6, 2021Updated 5 years ago
- Lean4 port of Arduino balance car controller☆56Mar 17, 2021Updated 5 years ago
- Embedded-friendly crypto a la SMACCM☆13Aug 11, 2017Updated 9 years ago
- LL(1) parser generator verified in Coq☆54Jan 30, 2020Updated 6 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 7 years ago
- A formal specification for BIL☆14Oct 5, 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.
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 7 years ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆16Mar 29, 2021Updated 5 years ago
- Repository for the HARDENS project☆30Dec 12, 2024Updated last year
- Control Systems Analysis Framework - a framework to minimize the effort required to evaluate, implement, and verify controller design (cl…☆16Nov 21, 2022Updated 3 years ago
- A Zoo of Haskell Newtype Wrappers☆15Nov 30, 2020Updated 5 years ago
- Tower backend and Ivory board support package for the STM32 line of microcontrollers☆12Feb 20, 2024Updated 2 years ago
- Microcontroller Register Viewer for GDB☆15Feb 23, 2018Updated 8 years ago
- Type safe abstract binding trees for Haskell, using Vinyl☆16Oct 1, 2017Updated 9 years ago
- This is the place where (more or less) stable releases of my RW library will be published.☆16Jun 4, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Morte IDE☆29Apr 3, 2025Updated last year
- Hopefully verifiable code generation in GHC☆94May 10, 2017Updated 9 years ago
- ☆35May 8, 2019Updated 7 years ago
- Staged regular expression library for MetaOCaml☆12Jun 30, 2023Updated 3 years ago
- A Redex model of CIC as specified in Chapter 4 of the Coq reference manual.☆34May 27, 2017Updated 9 years ago
- A tool to connect SMT-based frontends to Lean4.☆20Oct 21, 2026Updated last week
- Wolf is a wrapper around Amazon Simple Workflow Service.☆16Nov 4, 2022Updated 3 years ago
- ☆11Apr 12, 2014Updated 12 years ago
- Haskell library to interface with the nix package manager☆25Nov 23, 2021Updated 4 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics☆22Jun 16, 2024Updated 2 years ago
- DARPA CASE program☆16Jun 10, 2025Updated last year
- ☆16Mar 17, 2025Updated last year
- being bits and pieces I'm inclined to leave lying around☆60Mar 11, 2026Updated 7 months ago
- A Model of Relationally Parametric System F in Coq☆25May 27, 2015Updated 11 years ago
- Graph database in Haskell☆24Jun 12, 2016Updated 10 years ago
- The haskell network stack☆117Jan 16, 2018Updated 8 years ago