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
• dchest / cryptopass

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

  View on GitHub
  ☆12Jan 7, 2021Updated 5 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
• lepture / markit

  View on GitHub
  A markdown parser and compiler with custom rendering. Forked from marked.
  ☆73Feb 28, 2015Updated 10 years ago
• gfour / gic

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

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

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

  View on GitHub
  ☆16Mar 17, 2025Updated 11 months ago
• sebastiaanvisser / salvia

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

  View on GitHub
  A concurrency framework for the Ivory language
  ☆45Oct 7, 2019Updated 6 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
• jmsaavedra / Citizen-Sensor

  View on GitHub
  DIY data collection system. There are *stationary* (ethernet connected) and *mobile* (bluetooth to Android) versions of Citizen Sensor.
  ☆25Aug 23, 2015Updated 10 years ago
• tiwai / salsa-lib

  View on GitHub
  SALSA library
  ☆16Nov 16, 2022Updated 3 years ago
• nh2 / hackage-download

  View on GitHub
  Script to download all of Hackage
  ☆16Jul 14, 2019Updated 6 years ago
• mirror / patch

  View on GitHub
  git://git.savannah.gnu.org/patch.git
  ☆13Sep 25, 2024Updated last year
• co-dan / interactive-diagrams

  View on GitHub
  Interactive-diagrams
  ☆39May 18, 2015Updated 10 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
• FolderLevel / Modbus_TCP

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

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

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

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

  View on GitHub
  ☆12Oct 18, 2023Updated 2 years ago
• GaloisInc / ivory

  View on GitHub
  The Ivory EDSL
  ☆408Feb 21, 2020Updated 5 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
• treymarc / multiwii-mavlink-gc

  View on GitHub
  Multiwii Mavlink GroundControl
  ☆24May 15, 2014Updated 11 years ago
• maxsnew / hakyll-elm

  View on GitHub
  Hakyll wrapper for the Elm (http://elm-lang.org) compiler
  ☆15Sep 2, 2014Updated 11 years ago
• archhaskell / archlinux

  View on GitHub
  ☆24Jun 2, 2015Updated 10 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
• input-output-hk / pvss-haskell

  View on GitHub
  ☆21Feb 21, 2018Updated 7 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
• byteverse / country

  View on GitHub
  Haskell data types and functions for countries
  ☆28Mar 7, 2025Updated 11 months ago
• esp-rs / esp-storage

  View on GitHub
  implementation of embedded-storage traits to access unencrypted ESP32 flash
  ☆26May 27, 2024Updated 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
• ocharles / hadoom

  View on GitHub
  A little Doom-like 2.5 game engine
  ☆85Jan 7, 2015Updated 11 years ago