Monthly Downloads: 8
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
verilog alternatives and similar packages
Based on the "Embedded" category.
Alternatively, view verilog alternatives based on common mentions on social networks and blogs.
atom9.6 0.0 verilog VS atomA DSL for embedded hard realtime applications.
copilot9.4 0.0 verilog VS copilotA (Haskell DSL) stream language for generating hard real-time C code.
ecu8.6 0.0 verilog VS ecuUtilities for automotive ECU development.
improve8.4 0.0 verilog VS improveAn imperative programming language in Haskell for high assurance embedded applications. ImProve programs are verified with model checking. ImProve compiles to C and Simulink.
ion7.2 0.0 verilog VS ionAn Ivory library inspired by Atom
copilot-language6.6 0.0 verilog VS copilot-languageA Haskell-embedded DSL for monitoring hard real-time distributed systems.
atom-msp4306.1 0.0 verilog VS atom-msp430Definitions for using Atom with the MSP430 microcontroller family.
copilot-sbv5.8 0.0 verilog VS copilot-sbvSBV backend for Copilot.
copilot-core4.0 0.0 verilog VS copilot-coreIntermediate representation for CoPilot. Strictly follows Haskell 2010 except for universal and existential quantification.
fault-tree4.0 0.0 verilog VS fault-treeA fault tree analysis library.
copilot-libraries3.8 0.0 verilog VS copilot-librariesCopilot libraries that use the Copilot language
copilot-cbmc3.2 0.0 verilog VS copilot-cbmccbmc based tool for verifying copilot programs
copilot-c992.6 0.0 verilog VS copilot-c99A C99-backend for Copilot
Access the most powerful time series database as a service
Ingest, store, & analyze all types of time series data in a fully-managed, purpose-built database. Keep data forever with low-cost storage and superior data compression.
Do you think we are missing an alternative of verilog or a related project?