Ctrl K

All software

1Filter
Keywords
95
Program languages
49
Licenses
12
13-24 of 28
Logo for ESM-Tools

ESM-Tools

ESM-Tools is a toolbox to assist you in running climate and Earth System Model simulations.

  • Earth & Environment
  • Earth System Modelling
  • FAIR Software
  • + 11
  • Shell
  • Python
  • Fortran
  • + 5
6
12
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
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
2

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
  • Jupyter Notebook
  • TeX
3
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

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
  • Shell
  • + 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