Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
12
Program languages
7
Licenses
3
1-3 of 3
Logo for Generics library for datatype-generic programming in Agda

Generics library for datatype-generic programming in Agda

Generics library for datatype-generic programming in Agda

  • Agda
  • Dependent Types
  • Generic Programming
  • + 2
    2
    1
    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
    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