All software
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
- Haskell
- JSON
- Jupyter Notebook
- + 4
djehuty
Source code of the 4TU.ResearchData and Nikhef data repository
- 4TU.ResearchData
- Data repository
- Djehuty
- Automake
- CSS
- 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
- C
- C++
- CSS
- + 7
JuliaTrustworthyAI/CounterfactualTraining.jl
Software and data underlying the publication: "Counterfactual Training: Teaching Models Plausible and Actionable Explanations"
- Adversarial Machine Learning
- Algorithmic Recourse
- Counterfactual Explanations
- + 3
- CSS
- HTML
- JavaScript
- + 6
QuantumRepeaterChainPolicyRL
Codebase for Reinforcement Learning for Quantum Network Control with Application-Driven Objectives
- non-linear objectives
- policy gradient
- Quantum networking
- + 2
- C++
- Julia
- Jupyter Notebook
- + 6
Research compendium for FAIR Sharing is Caring poster
Research compendium for FAIR Sharing is Caring poster
- Data Sharing
- FAIR data
- open science
- + 1
- CSS
- HTML
- JavaScript
- + 4
RowFIN Artifact: Code and Datasets for "RowFIN: Scalable and Verifiable Funding for Web3 Services"
RowFIN Artifact: Code and Datasets for "RowFIN: Scalable and Verifiable Funding for Web3 Services"
- Blockchain
- decentralized systems
- distributed systems
- + 9
- Markdown
- Other
- Python
- + 2
spurious_sentience
Software and data underlying the publication: "Position: Stop Making Unscientific AGI Performance Claims"
- Artificial General Intelligence
- Artificial Intelligence
- interpretability
- + 1
- HTML
- Julia
- Markdown
- + 2
UAV_Corridor_Routing
Code supporting the MSc thesis: Navigating through Very Low Level Airspace
- airspace design
- risk-aware routing
- semi- quantitative risk assessment
- + 2
- JSON
- Jupyter Notebook
- large-text-file
- + 4
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
- AppleScript
- Awk
- Batchfile
- + 14
BridgeDbR
R package for the BridgeDb Java library making identifier mapping functionality available in the R environment.
- persistent identifiers
- Statistics
- HTML
- R
- TeX
BroadLineRegions.jl
A fast and flexible toolkit for modeling the broad-line region (BLR) in Julia.
- astronomy
- Astrophysics
- Julia
- TeX