Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality. Learn more →
Top 18 Haskell Embedded Projects
-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
-
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 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 | 10 May 2024
Index
What are some of the best open-source Embedded projects in Haskell? This list will help you:
Project | Stars | |
---|---|---|
1 | atom | 265 |
2 | copilot | 146 |
3 | improve | 56 |
4 | ecu | 46 |
5 | verilog | 32 |
6 | hruby | 23 |
7 | ion | 12 |
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 |
Sponsored