Ctrl K

All software

1Filter
Keywords
16
Program languages
8
Licenses
3
1-3 of 3
Logo for agda-core

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
  • Other
  • Haskell
  • YAML
  • + 1
2
1
Logo for 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

Codebase Underlying the BSc Thesis: Type-Checking Modules and Imports using Scope Graphs

  • glob imports
  • haskell
  • lm
  • + 5
  • Other
  • Haskell
  • Python
  • + 1
3
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