SMACCMPilot flight controller
☆32Aug 11, 2017Updated 9 years ago
Alternatives and similar repositories for smaccmpilot-stm32f4
Users that are interested in smaccmpilot-stm32f4 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
- An umbrella repository including all of the dependencies to build the smaccmpilot project☆75Aug 11, 2017Updated 9 years ago
- (DEPRECATED) Front-end of Copilot defining the user language.☆16Mar 29, 2021Updated 5 years ago
- ☆14Oct 4, 2021Updated 5 years ago
- ☆12Jan 7, 2021Updated 5 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.
- ☆16Mar 17, 2025Updated last year
- Automatic Haskell setup in Emacs, for Nix users☆29Jun 15, 2019Updated 7 years ago
- Arbitrary size tuples in Haskell☆12Feb 27, 2017Updated 9 years ago
- The Ivory EDSL☆417Feb 21, 2020Updated 6 years ago
- Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms☆16Jul 1, 2026Updated 3 months ago
- ☆11Apr 12, 2014Updated 12 years ago
- A bot that uses elm-review to find common mistakes in packages.☆18Feb 16, 2022Updated 4 years ago
- Tower backend and Ivory board support package for the STM32 line of microcontrollers☆12Feb 20, 2024Updated 2 years ago
- 目标是分析Modbus TCP协议，对B-L475E-IOT01A STM32源代码进行了分析，理解其MQTT、Modbus协议通信工作原理。☆11Mar 20, 2018Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Effectful Raw handler for Servant servers.☆16Mar 16, 2021Updated 5 years ago
- Tools to build JSON-RPC clients and servers the Servant way☆10Sep 28, 2024Updated 2 years ago
- An OS written in Idris (eventually...)☆19Mar 4, 2015Updated 11 years ago
- simple interface to ghc's simd vector support☆23Jun 25, 2015Updated 11 years ago
- ☆25Jun 10, 2023Updated 3 years ago
- All files relevant to the TiltyIMU family of circuit boards☆13May 8, 2014Updated 12 years ago
- Runtime verification for C code via a GCC plugin architecture.☆11Apr 30, 2016Updated 10 years ago
- ☆18Oct 23, 2026Updated last week
- Open-Hardware Flight-Controller☆41Mar 25, 2015Updated 11 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- http://www.reddit.com/r/haskell/comments/cr15z/visualprof_profiles_your_haskell_program_and/?sort=hot☆58Sep 18, 2015Updated 11 years ago
- Script to download all of Hackage☆18Jul 14, 2019Updated 7 years ago
- Imports gmail contacts to abook☆11Sep 20, 2012Updated 14 years ago
- A Haskell interface to Lego Mindstorms NXT over Bluetoooth. It supports direct commands, messages and many sensors (also unofficial).☆12Dec 27, 2022Updated 3 years ago
- Demoscene: Lambda Team☆20Jun 18, 2019Updated 7 years ago
- A concurrency framework for the Ivory language☆45Oct 7, 2019Updated 7 years ago
- Haskell space profiling toolset☆14Nov 7, 2018Updated 7 years ago
- Gidl: an Interface Description Language☆11Aug 11, 2017Updated 9 years ago
- An experiment in reading ZFS in C#. CDDL licensed.☆18Feb 16, 2026Updated 8 months 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.
- Certificate and Key Reader/Writer in haskell☆60Apr 29, 2024Updated 2 years ago
- Pure-Haskell proper unicode string handling☆15Jun 5, 2016Updated 10 years ago
- Haskell library for efficiently building up buffers☆27Jan 6, 2025Updated last year
- Bibweb: a utility for automatically retrieving bibliographical information from MathSciNet☆11Sep 26, 2023Updated 3 years ago
- A simple project showing how to use the a TIMER and GPIOTE, connected with the PPI to toggle an I/O at 8 MHz.☆11Jan 21, 2014Updated 12 years ago
- The haskell network stack☆117Jan 16, 2018Updated 8 years ago
- Octree is a shallow tree structure for 3-dimensional points☆20Jul 22, 2020Updated 6 years ago