All software

1Filter
Keywords
182
Program languages
80
Licenses
16
37-48 of 59
Logo for Artifact of Knor: reactive synthesis using Oink

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

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
1
0
Logo for Code underlying the publication: ExEl: Building an Elaborator Using Extensible Constraints

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
2
0
Logo for djehuty

djehuty

Source code of the 4TU.ResearchData and Nikhef data repository

  • 4TU.ResearchData
  • Data repository
  • Djehuty
  • Python
  • JavaScript
  • HTML
  • + 9
12
0
Logo for GSI_ToolBox

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
5
0
Logo for Research compendium for FAIR Sharing is Caring poster

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
3
0
Logo for spurious_sentience

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
4
0

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
2
0

BridgeDbR

R package for the BridgeDb Java library making identifier mapping functionality available in the R environment.

  • persistent identifiers
  • Statistics
  • R
  • TeX
  • HTML
0
0
Logo for BroadLineRegions.jl

BroadLineRegions.jl

A fast and flexible toolkit for modeling the broad-line region (BLR) in Julia.

  • astronomy
  • Astrophysics
  • Julia
  • TeX
0
0
Logo for Canadian Writing Research Collaboratory (CWRC)

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
1
0

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
2
0