bilderbuchi
Follow
Stars
List of resources about programming practices for writing safety-critical software.
A highly efficient, flexible, and accurate implementation of thermodynamic EOS powered by automatic differentiation
Maelstrom is a fast Rust, Go, and Python test runner that runs every test in its own container. Tests are either run locally or distributed to a clustered job runner.
OpenSSL based Authenticode signing for PE/MSI/Java CAB files
Setup OpenModelicaLibraryTesting scripts and run them on Modelica package and publishes results.
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust
Adds the functionality to skip songs on double-tap with earphones that activate virtual assistant
Simple Modelica Artificial Intelligence Interface
MoPyRegtest: A Python enabled simple regression testing framework for Modelica models
A helper tool for visualizing and editing a ModelingToolkit.jl system connections
Interface library for using Trixi.jl from C/C++/Fortran
A package for simple property based testing in julia.
Downloads the latest "nightly" build/artifact from a continuous testing workflow
Move data to and from the clipboard in Julia
PyVISA remote server and client in order to address your remote "local" hardware as it would be plugged in locally.
A general-purpose CMake library that provides functions that improve the CMake experience following the best practices.
CubeSim - A Simulation Framework for small Satellites
Block diagram editor and real time code generator for Python
A debugging and profiling tool that can trace and visualize python code execution
Modern IntelliJ plugin to learn shortcuts for buttons
Surrogate modeling and optimization for scientific machine learning (SciML)
Software to compare time series within user-specified tolerances
VSCode extension that generates docstrings for python files