All software
Artifact of Knor: reactive synthesis using Oink
Artifact of Knor: reactive synthesis using Oink
- binary decision diagrams
- parity games
- reactive synthesis
- Other
- C
- HTML
- + 15
Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"
Artifact to the paper "A Fast and Verified Probabilistic Model Checking Pipeline for Minimal Reachability Probabilities"
- Correct-by-construction
- Interactive Theorem Proving
- Markov decision process
- + 1
- Other
- C
- C++
- + 4
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints
- Dependent Types
- elaboration
- elaborators
- + 3
- TeX
- Haskell
- Other
- + 4
djehuty
Source code of the 4TU.ResearchData and Nikhef data repository
- 4TU.ResearchData
- Data repository
- Djehuty
- Python
- JavaScript
- HTML
- + 9
GSI_ToolBox
GSI ToolBox underlying the publication: A Wave Scattering Approach to Modelling Surface Roughness in Orbital Aerodynamics
- aerodynamic drag
- gas-surface interaction
- scattering dynamics
- + 1
- HTML
- TeX
- Other
- + 7
Research compendium for FAIR Sharing is Caring poster
Research compendium for FAIR Sharing is Caring poster
- Data Sharing
- FAIR data
- open science
- + 1
- Other
- HTML
- CSS
- + 4
spurious_sentience
Software and data underlying the publication: "Position: Stop Making Unscientific AGI Performance Claims"
- Artificial General Intelligence
- Artificial intelligence
- interpretability
- + 1
- Other
- TeX
- Julia
- + 2
asrlitcompare
A tool written in rmarkdown for assessing the level of agreement between two raters following screening in ASReview. Users only need the two .csv files downloaded from ASReview, and the tool will automatically compile a summary report as an HTML file, viewable in your web browser.
- ASReview
- inter-rater reliability
- literature screening
- + 1
- HTML
- C++
- JavaScript
- + 14
BridgeDbR
R package for the BridgeDb Java library making identifier mapping functionality available in the R environment.
- persistent identifiers
- Statistics
- R
- TeX
- HTML
BroadLineRegions.jl
A fast and flexible toolkit for modeling the broad-line region (BLR) in Julia.
- astronomy
- Astrophysics
- Julia
- TeX
Canadian Writing Research Collaboratory (CWRC)
CWRC aims to make digital research methods broadly accessible, and to develop an active community of researchers engaged in exploring the potential of collaboration online.
- Canadian culture & history
- cultural studies
- digital humanities
- + 1
- JavaScript
- PHP
- HTML
- + 16
Ceiba
Ceiba and its command-line interface Ceiba-cli solve the problem of computing, storing, and securely sharing computationally expensive simulation results.
- Optimized data handling
- Python
- TeX
- Shell
- + 1