Ctrl K

All software

1Filter
Keywords
99
Program languages
48
Licenses
12
13-24 of 29
Logo for mmpxrt

mmpxrt

Raytracing code for x-ray spectrometers with (not only) mossaic crystals Helps with design and analysis of x-ray spectrometers. Useful tool for (rather) experienced physicist.

  • Python
  • CSS
  • HTML
  • + 2
1
6

SicHash

A perfect hash function is a function that has no collisions on a given set. SicHash places objects in a cuckoo hash table and then stores the final hash function choice of each object in a retrieval data structure. Using irregular cuckoo hashing, each object has a different number of hash functions

  • C++
  • TeX
  • Shell
  • + 2
0
3

UQTestFuns

A Python3 library of uncertainty quantification (UQ) test functions

  • Benchmark
  • python
  • Software Testing
  • + 1
  • Python
  • TeX
2
2

ETHOS.PeNALPS

ETHOS.PeNALPS (Petri Net Agent based Load Profile Simulator) is a Python library for the simulation of load profiles of plants of industrial manufacturing processes. Load profiles are energy demand time series.

  • Energy System Analysis
  • ESD
  • ESD - Topic 1
  • + 4
  • Python
  • TeX
3
1

Independent Parallel Particle Layer (IPPL)

IPPL is a C++ library to develop performance portable code for fully Eulerian, Lagrangian or hybrid Eulerian-Lagrangian methods. IPPL supports simulations in one to six dimensions, mixed precision, and asynchronous execution in different execution spaces (e.g. CPUs and GPUs).

  • Computational Fluid Dynamics
  • GPU
  • High performance computing
  • + 5
  • C++
  • TeX
  • CMake
  • + 3
23
1
Logo for PeriHub

PeriHub

PeriHub is a platform that provides a numerical implementation of the peridynamic theory. It is an extension of the open source Peridigm software. Peridynamics is a non-local theory that overcomes discontinuity problems of the classical theory of continuum mechanics.

  • Data Visualization
  • High performance computing
  • Modelling
  • + 2
  • Python
  • Vue
  • TypeScript
  • + 7
2
1
Logo for Tamarin Prover

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
  • + 11
1
1

ETHOS.MO|DE.behave

ETHOS.MO|DE.behave is a Python-based software package for the estimation and simulation of discrete choice models. The purpose of this software is to enable rapid quantitative analysis of survey data on choice behavior, utilizing advanced discrete choice methods.

  • ESD
  • ESD - Topic 1
  • Python
  • TeX
2
0
Logo for GIPPtools

GIPPtools

A collection of software utilities that aid with initial pre-processing of recorded (seismic) data supporting users that borrow instruments from the GIPP.

  • Cube
  • Earth & Environment
  • geophysics
  • + 4
  • Java
  • TeX
  • Shell
  • + 2
1
0

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
1
0
Logo for JuKKR

JuKKR

The Korringa-Kohn-Rostoker (KKR) Greens function method is a highly accurate all-electron method to perform density functional theory calculations for the prediction of materials properties based on quantum mechanical simulations.

  • CPU
  • Density functional theory
  • High performance computing
  • + 5
  • Fortran Free Form
  • Fortran
  • TeX
  • + 2
29
0

methylKit

methylKit is an R package for DNA methylation analysis and annotation from high-throughput bisulfite sequencing. The package is designed to deal with sequencing data from RRBS and its variants, but also target-capture methods and whole genome bisulfite sequencing.

  • R
  • C++
  • TeX
2
0