All software
1Filter
Mentions
Keywords
16
Program languages
8
Licenses
3
12
1-3 of 3
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
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