Copilot-core Alternatives

Similar projects and alternatives to copilot-core

• verilog

  0 32 0.0 Haskell copilot-core VS verilog

  A Verilog parser for Haskell.

• copilot

  0 146 0.0 Haskell copilot-core VS copilot

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

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• copilot-c99

  0 2 0.0 Haskell copilot-core VS copilot-c99

  A C99-backend for Copilot

• copilot-language

  0 9 0.0 Haskell copilot-core VS copilot-language

• copilot-cbmc

  0 4 0.0 Haskell copilot-core VS copilot-cbmc

  cbmc based tool for verifying copilot programs

• processor-creative-kit

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

  haskell prrocessor-creative-kit

• ion

  0 12 0.0 Haskell copilot-core VS ion

  An Ivory library inspired by Atom (by HaskellEmbedded)

  

• InfluxDB

  www.influxdata.com sponsored

  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.

  

• copilot-libraries

  0 2 0.0 Haskell copilot-core VS copilot-libraries

  Copilot libraries that use the Copilot language

• fault-tree

  0 3 0.0 Haskell copilot-core VS fault-tree

  A fault tree analysis library.

• copilot-sbv

  0 5 0.0 Haskell copilot-core VS copilot-sbv

  SBV backend for Copilot.