tomahawkins/atom 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

tomahawkins/atom

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/tomahawkins/atom)

Close

tomahawkins / atomView on GitHubMore

• External links
• Readme badge

A DSL for embedded hard realtime applications.

☆276May 15, 2017Updated 8 years ago

Alternatives and similar repositories for atom

Users that are interested in atom are comparing it to the libraries listed below

• GaloisInc / ivory

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

  View on GitHub
  A (Haskell DSL) stream language for generating hard real-time C code.
  ☆153Mar 30, 2019Updated 6 years ago
• tomahawkins / improve

  View on GitHub
  An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checkin…
  ☆57Sep 14, 2011Updated 14 years ago
• HaskellEmbedded / ion

  View on GitHub
  An Ivory library inspired by Atom
  ☆14Oct 17, 2016Updated 9 years ago
• GaloisInc / HaLVM

  View on GitHub
  The Haskell Lightweight Virtual Machine (HaLVM): GHC running on Xen
  ☆1,068Dec 6, 2018Updated 7 years ago
• VinylRecords / Vinyl

  View on GitHub
  Extensible Records for Haskell. Pull requests welcome! Come visit us on #vinyl on freenode.
  ☆264Feb 26, 2026Updated last week
• Copilot-Language / copilot

  View on GitHub
  A stream-based runtime-verification framework for generating hard real-time C code.
  ☆809Jan 8, 2026Updated last month
• haskell-distributed / distributed-process

  View on GitHub
  Cloud Haskell core libraries
  ☆739Jan 13, 2026Updated last month
• conal / talk-2015-haskell-to-hardware

  View on GitHub
  From Haskell to Hardware via CCCs
  ☆58Jun 22, 2016Updated 9 years ago
• stepcut / idris-blink

  View on GitHub
  A simple Idris program to blink the LED on an Arduino
  ☆58Jul 26, 2021Updated 4 years ago
• acowley / roshask

  View on GitHub
  Haskell client library for the ROS robotics framework.
  ☆111Nov 18, 2016Updated 9 years ago
• yav / dump-core

  View on GitHub
  ☆45Nov 28, 2021Updated 4 years ago
• nicolabotta / SeqDecProbs

  View on GitHub
  ☆14Apr 9, 2017Updated 8 years ago
• clash-lang / clash-compiler

  View on GitHub
  Haskell to VHDL/Verilog/SystemVerilog compiler
  ☆1,585Updated this week
• GaloisInc / pure-zlib

  View on GitHub
  A Haskell-only implementation of zlib / DEFLATE.
  ☆32Dec 27, 2021Updated 4 years ago
• tomahawkins / mecha

  View on GitHub
  A solid modeling language in Haskell.
  ☆28Sep 14, 2012Updated 13 years ago
• edwinb / States

  View on GitHub
  State machines in Idris
  ☆37Nov 6, 2016Updated 9 years ago
• LeventErkok / sbv

  View on GitHub
  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  ☆265Updated this week
• skogsbaer / roundtrip

  View on GitHub
  Roundtrip allows the definition of bidirectional (de-)serialization specifications
  ☆16Oct 16, 2024Updated last year
• swift-nav / plover

  View on GitHub
  Plover is a language for matrix algebra on embedded systems.
  ☆48Jul 3, 2021Updated 4 years ago
• atzeus / CTRex

  View on GitHub
  Open records for Haskell
  ☆22Oct 6, 2017Updated 8 years ago
• OlafChitil / hat

  View on GitHub
  The Haskell tracer - generating and viewing Haskell execution traces
  ☆38Jun 1, 2023Updated 2 years ago
• GaloisInc / HaNS

  View on GitHub
  The haskell network stack
  ☆118Jan 16, 2018Updated 8 years ago
• GaloisInc / halvm-web

  View on GitHub
  ☆15May 16, 2017Updated 8 years ago
• fpco / inline-c

  View on GitHub
  ☆302Jun 9, 2025Updated 8 months ago
• sharkdp / purescript-flare

  View on GitHub
  A special-purpose UI library for Purescript
  ☆285Jul 22, 2020Updated 5 years ago
• LeventErkok / hArduino

  View on GitHub
  Control your Arduino board from Haskell, using the Firmata protocol
  ☆74Dec 15, 2022Updated 3 years ago
• maoe / viewprof

  View on GitHub
  Text-based interactive GHC .prof viewer
  ☆48Jun 19, 2023Updated 2 years ago
• turingjump / bookkeeper

  View on GitHub
  ☆54Nov 30, 2018Updated 7 years ago
• augustss / djinn

  View on GitHub
  Generate Haskell code from a type
  ☆146Feb 21, 2025Updated last year
• z0w0 / helm

  View on GitHub
  A functionally reactive game engine, with headgear to protect you from the headache of game development provided.
  ☆598Dec 1, 2018Updated 7 years ago
• fbsamples / ghc-hotswap

  View on GitHub
  Example code for how we swap compiled code within a running Haskell process.
  ☆174Sep 24, 2018Updated 7 years ago
• mthom / shentong

  View on GitHub
  A Haskell implementation of the Shen programming language.
  ☆168Apr 5, 2018Updated 7 years ago
• nikita-volkov / hasql

  View on GitHub
  The fastest PostgreSQL libpq-based driver for Haskell
  ☆547Updated this week
• Gabriella439 / Haskell-MMorph-Library

  View on GitHub
  Monad morphisms
  ☆51Jan 10, 2026Updated last month
• commercialhaskell / stack-ide

  View on GitHub
  Stack-based JSON interface to ide-backend
  ☆98Jan 12, 2016Updated 10 years ago
• alphaHeavy / protobuf

  View on GitHub
  An implementation of Google's Protocol Buffers in Haskell.
  ☆96Oct 2, 2025Updated 5 months ago
• idris-hackers / idris-llvm

  View on GitHub
  Idris LLVM codegen factored out
  ☆82Jul 28, 2017Updated 8 years ago
• typed-wire / typed-wire

  View on GitHub
  Language independent type-safe communication
  ☆134Mar 2, 2018Updated 8 years ago