All software
5 software items. Page 0 of 1. 12 items per page. 1 filters active.
12
1-5 of 5
agda-core
Code underlying the publication: Building a Correct-By-Construction Type Checker for a Dependently Typed Core Language
- core language
- Dependent Types
- type-checking
- + 2
- Haskell
- Markdown
- Other
- + 1
2
2
ghc
GHC with stream fusion, used as benchmark in the publication: Higher Order Patterns for Rewrite Rules
- compiler
- fusion
- higher order matching
- + 2
- Automake
- C
- C++
- + 16
1
1
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs
- glob imports
- haskell
- lm
- + 5
- Haskell
- Other
- Python
- + 1
3
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
STIR
A software package for tomographic image reconstruction. Primarily used for PET and SPECT.
- Imaging and Image Processing
- Assembly
- Batchfile
- C
- + 10
0
0