sbml-test-suiteThe SBML Test Suite is a conformance testing system. It allows developers and users to test the degree and correctness of the SBML support provided in a software package.
Stars: ✭ 21 (+40%)
OsvvmOSVVM Utility Library: AlertLogPkg, CoveragePkg, RandomPkg, ScoreboardGenericPkg, MemoryPkg, TbUtilPkg, TranscriptPkg, ...
Stars: ✭ 140 (+833.33%)
RiscvRISC-V CPU Core (RV32IM)
Stars: ✭ 272 (+1713.33%)
LogicCMake, SystemVerilog and SystemC utilities for creating, building and testing RTL projects for FPGAs and ASICs.
Stars: ✭ 149 (+893.33%)
EdalizeAn abstraction library for interfacing EDA tools
Stars: ✭ 270 (+1700%)
LivehdLive Hardware Development (LiveHD), a productive infrastructure for Synthesis and Simulation
Stars: ✭ 110 (+633.33%)
vericertA formally verified high-level synthesis tool based on CompCert and written in Coq.
Stars: ✭ 63 (+320%)
Higan VerilogThis is a higan/Verilator co-simulation example/framework
Stars: ✭ 35 (+133.33%)
Cocotbcocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python
Stars: ✭ 740 (+4833.33%)
fphdlVHDL-2008 Support Library
Stars: ✭ 36 (+140%)
dockerScripts to build and use docker images including GHDL
Stars: ✭ 27 (+80%)
async fifoA dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog
Stars: ✭ 117 (+680%)
pcievhostPCIe (1.0a to 2.0) Virtual host model for verilog
Stars: ✭ 22 (+46.67%)
cucumber-steps🥒 Quick start for testing with Cucumber.js
Stars: ✭ 15 (+0%)
nvjob-boids#NVJOB Simple Boids (Flocks of Birds, Fish and Insects). Flocking Simulation. Free Unity Asset.
Stars: ✭ 55 (+266.67%)
piclasPICLas is a parallel, three-dimensional PIC-DSMC solver developed cooperatively by the Institute of Space Systems, Institute of Aerodynamics and Gas Dynamics at the University of Stuttgart and the spin-off boltzplatz. PICLas is a flexible particle-based plasma simulation suite.
Stars: ✭ 34 (+126.67%)
GYM XPLANE MLGYM Environment for XPlane. Reinforcement Learning and Autonomous Piloting.
Stars: ✭ 45 (+200%)
estjEstJ is my own test framework!
Stars: ✭ 13 (-13.33%)
aciduinoCheap and DIY make in 1 hour, 2 tracks, 14 patterns, Roland TB-303 step sequencer clone +plus features aimed for musicians and djs to use it on live performance or for the studio create process
Stars: ✭ 82 (+446.67%)
WasmiteNow WebAssembly has proper testing, unit-testing and debugging 🤗
Stars: ✭ 20 (+33.33%)
rust-verification-toolsRVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Stars: ✭ 237 (+1480%)
msa-toolkitThe MSA Toolkit provides useful codes for flight simulations and analysis, aerodynamic optimization and sensibility analysis. The codes are implemented by the MisSion Analysis Team.
Stars: ✭ 22 (+46.67%)
amcheckcontrib/amcheck from Postgres v11 backported to earlier Postgres versions
Stars: ✭ 74 (+393.33%)
landlordMagic: The Gathering mulligan and card draw simulator
Stars: ✭ 16 (+6.67%)
TraceRTrace Replay and Network Simulation Framework
Stars: ✭ 17 (+13.33%)
Vortex2DReal-time fluid simulation engine running on GPU with Vulkan
Stars: ✭ 91 (+506.67%)
email-checkerProvides email verification on the go.
Stars: ✭ 116 (+673.33%)
tmtTest Management Tool
Stars: ✭ 46 (+206.67%)
DSMACCDynamically Simple Model of Atmospheric Chemical Complexity
Stars: ✭ 16 (+6.67%)
protonsOpenMM testbed for constant-pH methodologies.
Stars: ✭ 18 (+20%)
hackipyHacking, pen-testing, and cyber-security related tools built with Python.
Stars: ✭ 26 (+73.33%)
BanditBandit algorithms
Stars: ✭ 26 (+73.33%)
bulletJVM Bullet Physics SDK: real-time collision detection and multi-physics simulation for VR, games, visual effects, robotics, machine learning etc.
Stars: ✭ 35 (+133.33%)
car-racingA toolkit for testing control and planning algorithm for car racing.
Stars: ✭ 30 (+100%)
PavilionUnreal-based Gazebo Alternative
Stars: ✭ 30 (+100%)
crafterBenchmarking the Spectrum of Agent Capabilities
Stars: ✭ 173 (+1053.33%)
Graphical DatasheetsCode, final versions, and information on the Sparkfun Graphical Datasheets
Stars: ✭ 89 (+493.33%)
graph-vlSelf hosted identity verification layer with GraphQL.
Stars: ✭ 25 (+66.67%)
skenarioA simulator toolkit for Knative
Stars: ✭ 26 (+73.33%)
terrain generatorA wizard that generates terrains for Gazebo using height maps.
Stars: ✭ 46 (+206.67%)
osrdOpen Source Railway Designer
Stars: ✭ 54 (+260%)
JSON-for-VHDLA JSON library implemented in VHDL.
Stars: ✭ 56 (+273.33%)
Testcase-Generator⚡️ Handy script for HackerRank, HackerEarth and CodeChef TCs Generation.
Stars: ✭ 85 (+466.67%)
pyphysimSimulation of Digital Communication (physical layer) in Python.
Stars: ✭ 78 (+420%)
tutorials-hg1These tutorials demonstrate the usage of the Harfang API
Stars: ✭ 12 (-20%)
PySDMPythonic particle-based (super-droplet) warm-rain/aqueous-chemistry cloud microphysics package with box, parcel & 1D/2D prescribed-flow examples in Python, Julia and Matlab
Stars: ✭ 26 (+73.33%)
BlendingToolKitTools to create blend catalogs, produce training samples and implement blending metrics
Stars: ✭ 21 (+40%)
tribbleCoverage based JVM Fuzz testing tool.
Stars: ✭ 16 (+6.67%)
Foxss-XSS-Penetration-Testing-ToolFoxss is a simple php based penetration Testing Tool.Currently it will help to find XSS vulnerability in websites.
Stars: ✭ 35 (+133.33%)
playwright-pytestPytest plugin to write end-to-end browser tests with Playwright.
Stars: ✭ 214 (+1326.67%)
toyboxa collection of computational playthings.
Stars: ✭ 94 (+526.67%)
ResterA command line tool to test (REST) APIs
Stars: ✭ 42 (+180%)
ur5UR5 Robot with a Robotiq gripper
Stars: ✭ 77 (+413.33%)