Alternatives and similar repositories for ICER-Python:

Users that are interested in ICER-Python are comparing it to the libraries listed below

• ttsiodras / DataModellingTools
  The Data Modelling Tools of the European Space Agency's TASTE toolchain
  ☆18Updated 3 years ago
• GaloisInc / HARDENS
  Repository for the HARDENS project
  ☆23Updated 4 months ago
• NASA-SW-VnV / AdaStress.jl
  Reinforcement learning framework to find and analyze the likeliest failures of a system under test.
  ☆13Updated last year
• boschresearch / blech
  Blech is a language for developing reactive, real-time critical embedded software.
  ☆72Updated 2 years ago
• IntelPython / DPEP
  Data Parallel Extensions for Python*
  ☆35Updated last month
• eMoflon / emoflon-ibex
  Shared, eMoflon-specific component for incremental unidirectional and bidirectional graph transformations
  ☆17Updated last month
• greatspn / SOURCES
  Main repository of the GreatSPN framework
  ☆45Updated last month
• pacti-org / pacti
  A package for compositional system analysis and design
  ☆21Updated last week
• NASA-AMMOS / AIT-Core
  ☆47Updated last month
• FOSSEE / nghdl
  This repository contain source code for ngspice and ghdl integration
  ☆30Updated 3 months ago
• marco-compiler / marco
  Modelica Advanced Research COmpiler
  ☆27Updated this week
• povik / fold
  high abstraction synthesis
  ☆10Updated last year
• AdaCore / gnatcoll-bindings
  GNAT Components Collection – Bindings to C libraries
  ☆14Updated 2 months ago
• RoboJackets / robonav-electrical
  The electrical designs for the RoboNav team
  ☆8Updated 3 years ago
• interplanetary-robot / Verilog.jl
  Verilog for Julia
  ☆50Updated 8 years ago
• OpenAADL / ocarina
  AADL model processor: mappings to code (C, Ada); Petri Nets; scheduling tools (MAST, Cheddar); WCET; REAL
  ☆68Updated 3 years ago
• IanBriggs / megalibm
  ☆16Updated last year
• GaloisInc / pirate
  Main repository for the Galois/Two Six Pirate Project for DARPA GAPS
  ☆4Updated 4 years ago
• andrewchambers / ddmin-python
  A python implementation of delta debugging tool.
  ☆25Updated last year
• brianguenter / OpticSim.jl
  ☆68Updated this week
• LovetheFrogs / PyCircTools
  Python library containing different modules to build circuits.
  ☆46Updated 2 years ago
• f0lg0 / netmon_cli
  A simple and lightweight terminal packet sniffer.
  ☆9Updated 4 years ago
• ArcSpecter / rapidvpi
  Blazingly fast, modern C++ API using coroutines for efficient RTL verification and co-simulation via the VPI interface
  ☆11Updated 2 weeks ago
• leviathanch / SITCON
  Slides for the talk I have very soon
  ☆12Updated 6 years ago
• Quetzal-1-CubeSat-Team / quetzal1-telemetry
  Telemetry and photos received from the Quetzal-1 mission
  ☆22Updated 4 months ago
• Etaphase / FastSigmoids.jl
  Sigmoid Numbers backed by IEEE Floats
  ☆17Updated 7 years ago
• JuliaHealth / BloodFlowTrixi.jl
  This package implements 1D and 2D blood flow models for arterial circulation using Trixi.jl, enabling efficient numerical simulation and …
  ☆38Updated 3 weeks ago
• casper-astro / casper-hardware
  A repository of information and source files for toolflow-supported hardware
  ☆30Updated 2 years ago
• gorenje / sysmlv2-jupyter-docker
  Create docker image for running SysMLv2 with Jupyter
  ☆30Updated 6 months ago
• stanford-ppl / spatial-quickstart
  Quickstart for Spatial language
  ☆34Updated 4 years ago