All software
ShockHash
A perfect hash function is a function that has no collisions on a given set. ShockHash constructs very compact perfect hash functions significantly faster than previous approaches.
- C++
- CMake
- Shell
SMG2S
SMG2S (Sparse Matrix Generator with Given Spectrum) is able to generate large-scale non-Hermitian and non-Symmetric matrices in parallel with the spectral distribution functions or eigenvalues given by users, and the spectrum of generated matrix is the same as the one specified by the users.
- CPU
- High performance computing
- Matrix Computation
- + 1
- C++
- Python
- CMake
- + 1
swiftmhc
SwiftMHC is a deep learning algorithm for predicting pMHC structure and binding affinity at the same time.
- deep learning
- Protein-Protein Interaction
- Transformer
- ("Jupyter Notebook")
- (Mask)
- (Python)
- + 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
- + 11
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
Tigramite
Tigramite is a python package for causal inference with a focus on time series data. It allows to efficiently estimate causal graphs from high-dimensional time series datasets (causal discovery) and to use graphs for the estimation and prediction of direct, total, and mediated effects.
- causal inference
- python
- time series analysis
- Jupyter Notebook
- Python
tortellini
GitHub action to check whether any licensing issues exist for given software.
- (JavaScript)
- (TypeScript)
UQTestFuns
A Python3 library of uncertainty quantification (UQ) test functions
- Benchmark
- python
- Software Testing
- + 1
- Python
- TeX
Viable North Sea (ViNoS): A NetLogo Agent-based Model of German Small-scale Fisheries
A Social-Ecological Systems (SES) model focussing on the adaptive behaviour of fishers facing regulatory, economic, and resource changes.
- Agent-based Model
- Earth&Environment
- FAIR Software
- + 10
Pedestrian random walk in NetLogo (ch2.1)
A collection of methods for random walk in NetLogo, including various movement restrictions, biases, and algorithm alternatives.
Place them on the map
Multiple agent placement in specific geographical location. Set up an input number of agents (turtles) at an input location (cell or patch) in an grid holding the input spatial data (map).
Epidemic Network
Experimental environment for testing of large array of theoretical conditions for development epidemic event within various quantitative, spatial and connectedness (network structure) aspects.