Skip to main content
Ctrl K

All software

90 software items. Page 5 of 8. 12 items per page. 1 filters active.
49-60 of 90

Artifact of Knor: reactive synthesis using Oink

Artifact of Knor: reactive synthesis using Oink

  • binary decision diagrams
  • parity games
  • reactive synthesis
  • Automake
  • C
  • C++
  • + 15
1
0

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
  • C
  • C++
  • JSON
  • + 4
1
0

BEWARE

BEWARE Artifact: Code and Datasets for "Robust and Automated Reconfiguration of Byzantine Wide-Area Replication"

  • BFT-SMaRt
  • Byzantine fault tolerance
  • consensus latency
  • + 7
  • Java
  • JSON
  • Markdown
  • + 5
4
0

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

djehuty

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

  • 4TU.ResearchData
  • Data repository
  • Djehuty
  • Automake
  • CSS
  • HTML
  • + 9
12
0

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

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

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

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

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

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

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