Alternatives and similar repositories for smaccmpilot-build

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

• GaloisInc / smaccmpilot-stm32f4

  View on GitHub
  SMACCMPilot flight controller
  ☆32Aug 11, 2017Updated 8 years ago
• GaloisInc / gec

  View on GitHub
  Embedded-friendly crypto a la SMACCM
  ☆13Aug 11, 2017Updated 8 years ago
• vikraman / 2DTypes

  View on GitHub
  Collaborative work on reversible computing
  ☆18Aug 3, 2022Updated 3 years ago
• pigworker / potato

  View on GitHub
  being an experiment with potato power
  ☆23Jan 14, 2020Updated 6 years ago
• yansh / MoanaML

  View on GitHub
  Moana implementation in OCaml
  ☆16Jul 15, 2015Updated 10 years ago
• DSLsofMath / FLABloM

  View on GitHub
  Functional Linear Algebra with Block Matrices
  ☆11Feb 17, 2022Updated 4 years ago
• GaloisInc / ivory

  View on GitHub
  The Ivory EDSL
  ☆408Feb 21, 2020Updated 5 years ago
• tssm / .config

  View on GitHub
  UNIX is my IDE and Neovim my Emacs
  ☆13Jun 12, 2025Updated 8 months ago
• OpenMotorDrive / openmotordrive

  View on GitHub
  ☆10Nov 26, 2017Updated 8 years ago
• evertedsphere / shorshe

  View on GitHub
  freshly-fermented, dependently-typed mustard, with a substructural aftertaste
  ☆30Mar 31, 2020Updated 5 years ago
• GaloisInc / salty

  View on GitHub
  A DSL for generating GR(1) problems
  ☆12Jul 27, 2021Updated 4 years ago
• TobiasBales / PlayuavOSDConfigurator

  View on GitHub
  A simple cross platform tool to configure the playuav osd
  ☆15Feb 16, 2020Updated 6 years ago
• jgalenson / codehint

  View on GitHub
  Eclipse plugin that synthesizes real Java code
  ☆26Aug 20, 2014Updated 11 years ago
• proglang / ldgv

  View on GitHub
  Label dependent dependent session types
  ☆16May 2, 2024Updated last year
• gbaz / mess

  View on GitHub
  Martin-Löf Extensible Specification and Simulator
  ☆29Jul 1, 2015Updated 10 years ago
• Copilot-Language / copilot-language

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

  View on GitHub
  Wolf is a wrapper around Amazon Simple Workflow Service.
  ☆16Nov 4, 2022Updated 3 years ago
• FolderLevel / Modbus_TCP

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

  View on GitHub
  A discouraging story.
  ☆16May 8, 2018Updated 7 years ago
• GaloisInc / HaNS

  View on GitHub
  The haskell network stack
  ☆118Jan 16, 2018Updated 8 years ago
• pjreddie / dubnet

  View on GitHub
  ☆15Nov 21, 2022Updated 3 years ago
• emilaxelsson / syntactic

  View on GitHub
  Generic representation and manipulation of abstract syntax
  ☆27May 26, 2022Updated 3 years ago
• dpiponi / mini_fm

  View on GitHub
  Minimal fm receiver for use with rtlsdr
  ☆30Jan 10, 2024Updated 2 years ago
• Brucetong / IMU

  View on GitHub
  EKF to IMU and LED show states
  ☆16Jul 28, 2017Updated 8 years ago
• JorgeAparicio / F4Dev

  View on GitHub
  Development board for the STM32F4 microcontrollers
  ☆18Jan 31, 2013Updated 13 years ago
• rocq-community / bits

  View on GitHub
  A formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@ant…
  ☆24Sep 7, 2025Updated 5 months ago
• ayberkt / simplc

  View on GitHub
  A tiny compiler for a security-typed imperative language with a formalised proof of noninterference-preservation.
  ☆16Dec 10, 2019Updated 6 years ago
• xieyuheng / cat

  View on GitHub
  A categorical semantics library in Agda.
  ☆16Dec 22, 2019Updated 6 years ago
• hmac / kite

  View on GitHub
  A Haskell-like language for scripting and web apps
  ☆14May 16, 2024Updated last year
• sarah-quinones / dynstack

  View on GitHub
  ☆18Jan 9, 2025Updated last year
• umazalakain / session-types-coq

  View on GitHub
  Formalising session types in Coq
  ☆17Sep 6, 2019Updated 6 years ago
• EngineeringSoftware / roosterize

  View on GitHub
  Tool for suggesting lemma names in Coq verification projects
  ☆22Sep 6, 2022Updated 3 years ago
• lpw25 / shifted-names

  View on GitHub
  Coq library for handling names
  ☆19Aug 5, 2022Updated 3 years ago
• jwiegley / linearscan

  View on GitHub
  ☆17Jul 23, 2022Updated 3 years ago
• mietek / research

  View on GitHub
  Work in progress
  ☆40Jun 7, 2025Updated 8 months ago
• PAIR-code / megaplot

  View on GitHub
  ☆21Updated this week
• ilyasergey / reachability

  View on GitHub
  Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme pro…
  ☆30Nov 24, 2015Updated 10 years ago
• hazelgrove / hazelnut-dynamics-agda

  View on GitHub
  mechanization paired with https://github.com/hazelgrove/hazelnut-dynamics
  ☆21Jun 16, 2024Updated last year
• jonsterling / hs-abt

  View on GitHub
  Type safe abstract binding trees for Haskell, using Vinyl
  ☆16Oct 1, 2017Updated 8 years ago