Ctrl K

Limited functionality: Your browser does not support JavaScript.

All software

1Filter

Order by

Keywords

160

Program languages

Licenses

37-48 of 52

ETHOS.HiSim - Household Infrastructure and Building Simulator

ETHOS.HiSim is a Python package for simulation and analysis of household scenarios and building systems using modern components as alternative to fossil fuel based ones. This package integrates load profiles generation of electricity consumption, heating demand, electricity generation.

ESD
ESD - Topic 1
Modeling
+ 2

Python
Jupyter Notebook
TeX
+ 3

ioProc

ioProc is a light-weight workflow manager for Python ensuring robust, scalable and reproducible data pipelines. The tool is developed at the German Aerospace Center (DLR) for and in the scientific context of energy systems analysis, however, it is widely applicable in other scientific fields.

Data analysis
FAIR Data
metadata
+ 4

Python
Batchfile
Makefile

Millepede II

Millepede II has been developed to solve the linear least squares problem with a simultaneous fit of all global and local parameters, irrespectively of the number of local parameters.

Alignment
Large linear equation system
Matter
+ 1

Fortran Free Form
C
Python
+ 2

NESTML

NESTML is a domain-specific language for neuron and synapse models. It combines an easy to understand, yet powerful syntax with good simulation performance by means of code generation.

Modelling
Simulation
spiking neural networks

Python
Jinja
ANTLR
+ 4

openFuelCell2

openFuelCell2 is a computational fluid dynamics (CFD) toolbox for simulating electrochemical devices such as fuel cells and electrolysis. The solver is based on the open-source library, OpenFOAM®.

Electrolyzer
Energy
Fuel cells
+ 1

C
C++
Python
+ 2

PiGx

PiGx is a collection of genomics pipelines. All pipelines are easily configured with a simple sample sheet and a descriptive settings file. The result is a set of comprehensive, interactive HTML reports with interesting findings about your samples.

HTML
Python
R
+ 7

python-icat

Python interface to ICAT and IDS

metadata
metadata catalogue
python
+ 1

Python
XSLT
Makefile

RAFCON

RAFCON uses hierarchical state machines, featuring concurrent state execution, to represent robot programs. It ships with a graphical user interface supporting the creation of state machines and contains IDE like debugging mechanisms.

Aeronautics, Space and Transport
collaboration
robotics
+ 2

Python
SCSS
Shell
+ 1

S2Downloader

The S2Downloader allows to download Sentinel-2 L2A data from the cost-free element84 AWS Amazon server. It specifically serves the purpose to download data for user-defined area of interests (AOI). It offers several parameters for filtering the data, can stack the results, mosaic and crop to AOI.

open source
python
Remote sensing
+ 1

Python
Makefile
Shell

supervillain

supervillain does Markov-Chain Monte Carlo for modified Villain constructions of quantum field theory.

computational physics
Monte Carlo simulation
Physics
+ 2

Python
TeX
Batchfile
+ 1

Tamarin Prover

The Tamarin Prover is a state-of-the-art tool for the analysis of security protocols, which underpin the security of modern distributed computing.

Cryptographic Protocols
Formal Verification
Information

Haskell
Python
JavaScript
+ 9

TBT-Segmentation

Our tool uses Temporal Behavior Trees (TBT), a novel formalism for monitoring specifications, to segment traces provided as CSVs. Developers input a trace, and the tool analyzes it using a TBT to identify which parts of the software worked and which didn’t, aiding in system analysis and debugging.

CPS
Formal Specification
monitoring
+ 2

Rust
Python
Shell
+ 2