InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now. Learn more →
Top 18 Haskell Embedded Projects
-
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
improve
An imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
-
-
-
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
-
-
-
-
-
-
-
-
copilot-core
Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
-
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
Haskell Embedded discussion
Haskell Embedded related posts
-
[ANNOUNCE] GHC 9.6.1-alpha1 is now available
-
Atom: An EDSL for embedded hard realtime applications
-
Do You Know Where Haskell Is Used?
-
Haskell @ Tesla
-
FTDI v0.3 Release
-
A note from our sponsor - InfluxDB
www.influxdata.com | 23 Jun 2025
Index
What are some of the best open-source Embedded projects in Haskell? This list will help you:
# | Project | Stars |
---|---|---|
1 | atom | 271 |
2 | copilot | 149 |
3 | improve | 57 |
4 | ecu | 51 |
5 | verilog | 34 |
6 | hruby | 23 |
7 | ion | 14 |
8 | atom-msp430 | 11 |
9 | copilot-language | 9 |
10 | copilot-sbv | 5 |
11 | processor-creative-kit | 5 |
12 | copilot-cbmc | 4 |
13 | fault-tree | 3 |
14 | copilot-c99 | 2 |
15 | copilot-libraries | 2 |
16 | ejdb2-binding | 2 |
17 | copilot-core | 2 |
18 | ftdi | 1 |