GaloisInc/smaccmpilot-stm32f4 external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

GaloisInc/smaccmpilot-stm32f4

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/GaloisInc/smaccmpilot-stm32f4)

Close

GaloisInc / smaccmpilot-stm32f4View on GitHubMore

• External links
• Readme badge

SMACCMPilot flight controller

☆32Aug 11, 2017Updated 8 years ago

Alternatives and similar repositories for smaccmpilot-stm32f4

Users that are interested in smaccmpilot-stm32f4 are comparing it to the libraries listed below

• Copilot-Language / copilot-language

  View on GitHub
  (DEPRECATED) Front-end of Copilot defining the user language.
  ☆16Mar 29, 2021Updated 4 years ago
• GaloisInc / gidl

  View on GitHub
  Gidl: an Interface Description Language
  ☆10Aug 11, 2017Updated 8 years ago
• gfour / gic

  View on GitHub
  The generalized intensional compiler for a Haskell-like language.
  ☆14Nov 27, 2017Updated 8 years ago
• lepture / markit

  View on GitHub
  A markdown parser and compiler with custom rendering. Forked from marked.
  ☆73Feb 28, 2015Updated 11 years ago
• MartinSStewart / elm-review-bot

  View on GitHub
  A bot that uses elm-review to find common mistakes in packages.
  ☆17Feb 16, 2022Updated 4 years ago
• EncodePanda / haskell-starter-kit

  View on GitHub
  ☆12Jan 7, 2021Updated 5 years ago
• dchest / cryptopass

  View on GitHub
  Chrome extension: password generator from master key using PBKDF2 with SHA-256.
  ☆19Sep 14, 2015Updated 10 years ago
• sebastiaanvisser / salvia

  View on GitHub
  Salvia - Modular Haskell HTTP server.
  ☆24Sep 4, 2010Updated 15 years ago
• smaccoun / polysemy-servant

  View on GitHub
  ☆14Oct 4, 2021Updated 4 years ago
• seL4 / graph-refine

  View on GitHub
  ☆16Mar 17, 2025Updated 11 months ago
• bitnomial / servant-jsonrpc

  View on GitHub
  Tools to build JSON-RPC clients and servers the Servant way
  ☆10Sep 28, 2024Updated last year
• GaloisInc / tower

  View on GitHub
  A concurrency framework for the Ivory language
  ☆45Oct 7, 2019Updated 6 years ago
• nh2 / hackage-download

  View on GitHub
  Script to download all of Hackage
  ☆16Jul 14, 2019Updated 6 years ago
• tiwai / salsa-lib

  View on GitHub
  SALSA library
  ☆16Nov 16, 2022Updated 3 years ago
• factisresearch / large-hashable

  View on GitHub
  Efficiently hash Haskell values with MD5, SHA256, SHA512 and other hashing algorithms
  ☆16Jan 13, 2025Updated last year
• co-dan / interactive-diagrams

  View on GitHub
  Interactive-diagrams
  ☆39May 18, 2015Updated 10 years ago
• FolderLevel / Modbus_TCP

  View on GitHub
  目标是分析Modbus TCP协议，对B-L475E-IOT01A STM32源代码进行了分析，理解其MQTT、Modbus协议通信工作原理。
  ☆11Mar 20, 2018Updated 7 years ago
• ehamberg / fswatcher

  View on GitHub
  A simple file/directory watcher for Linux and macOS and other BSDs
  ☆13Oct 28, 2023Updated 2 years ago
• mirror / patch

  View on GitHub
  git://git.savannah.gnu.org/patch.git
  ☆13Sep 25, 2024Updated last year
• bgamari / dts-mode

  View on GitHub
  A rudimentary emacs major mode for Device Tree sources
  ☆17Sep 29, 2022Updated 3 years ago
• BioHaskell / octree

  View on GitHub
  Octree is a shallow tree structure for 3-dimensional points
  ☆20Jul 22, 2020Updated 5 years ago
• cdepillabout / servant-rawm

  View on GitHub
  Effectful Raw handler for Servant servers.
  ☆16Mar 16, 2021Updated 4 years ago
• lloyd / ircloggr

  View on GitHub
  A system for producing web accessible IRC logs, in node.js.
  ☆34Feb 3, 2014Updated 12 years ago
• LineageOS / cve_tracker

  View on GitHub
  ☆12Oct 18, 2023Updated 2 years ago
• hadronized / wavefront

  View on GitHub
  Haskell Wavefront OBJ loader library
  ☆20Dec 23, 2023Updated 2 years ago
• GaloisInc / ivory

  View on GitHub
  The Ivory EDSL
  ☆408Feb 21, 2020Updated 6 years ago
• multigcs / openfc

  View on GitHub
  Open-Hardware Flight-Controller
  ☆36Mar 25, 2015Updated 10 years ago
• serokell / blog-posts

  View on GitHub
  The place for submitting new articles to the Serokell blog.
  ☆16Mar 15, 2024Updated last year
• tadam777 / Projects

  View on GitHub
  Ultimate LRS
  ☆17Dec 8, 2016Updated 9 years ago
• archhaskell / archlinux

  View on GitHub
  ☆24Jun 2, 2015Updated 10 years ago
• treymarc / multiwii-mavlink-gc

  View on GitHub
  Multiwii Mavlink GroundControl
  ☆24May 15, 2014Updated 11 years ago
• lua-vr / organon

  View on GitHub
  📖 view and generate static websites from your Org files (WIP).
  ☆20Feb 10, 2024Updated 2 years ago
• osidorkin / haskell-eigen

  View on GitHub
  Haskel binding for Eigen library. Eigen is a C++ template library for linear algebra: matrices, vectors, numerical solvers, and related a…
  ☆23Sep 21, 2018Updated 7 years ago
• ch1bo / servant-exceptions

  View on GitHub
  Extensible exceptions for servant
  ☆23Jan 25, 2021Updated 5 years ago
• smarc-project / uavcan_ros_bridge

  View on GitHub
  🟢 Bridge for communication between ROS and the uavcan CAN-bus protocol
  ☆25May 30, 2023Updated 2 years ago
• input-output-hk / pvss-haskell

  View on GitHub
  ☆21Feb 21, 2018Updated 8 years ago
• esp-rs / esp-storage

  View on GitHub
  implementation of embedded-storage traits to access unencrypted ESP32 flash
  ☆26May 27, 2024Updated last year
• byteverse / country

  View on GitHub
  Haskell data types and functions for countries
  ☆28Mar 7, 2025Updated last year
• agocorona / MFlow

  View on GitHub
  (Haskell) Web application server with stateful, type safe user interactions and widget combinators
  ☆101Sep 26, 2015Updated 10 years ago