Copilot-libraries Alternatives

Similar projects and alternatives to copilot-libraries

• verilog

  0 32 0.0 Haskell copilot-libraries VS verilog

  A Verilog parser for Haskell.

• copilot-c99

  0 2 0.0 Haskell copilot-libraries VS copilot-c99

  A C99-backend for Copilot

• InfluxDB

  www.influxdata.com featured

  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.

  

• processor-creative-kit

  0 5 0.0 Haskell copilot-libraries VS processor-creative-kit

  haskell prrocessor-creative-kit

• improve

  0 56 0.0 Haskell copilot-libraries VS 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.

• copilot-language

  0 9 0.0 Haskell copilot-libraries VS copilot-language

• copilot

  0 146 0.0 Haskell copilot-libraries VS copilot

  A (Haskell DSL) stream language for generating hard real-time C code. (by leepike)

• ecu

  0 46 0.0 Haskell copilot-libraries VS ecu

  Utilities for automotive ECU development.

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

• copilot-core

  0 2 0.0 Haskell copilot-libraries VS copilot-core

  Intermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.

• ion

  0 12 0.0 Haskell copilot-libraries VS ion

  An Ivory library inspired by Atom (by HaskellEmbedded)

  

• copilot-cbmc

  0 4 0.0 Haskell copilot-libraries VS copilot-cbmc

  cbmc based tool for verifying copilot programs