Repositories list

• ial

  Public
  The Iowa Agda Library

  Agda

  •

  MIT License

  •20•48•1•0•Updated Jun 18, 2025Jun 18, 2025

• cedille-developments

  Public
  A showcase of interesting code and proof developments in Cedille

  Haskell

  •3•36•0•0•Updated Jun 10, 2025Jun 10, 2025

• cedille2

  Public
  Rust

  •

  MIT License

  •1•15•0•0•Updated Jan 3, 2025Jan 3, 2025

• cedille

  Public
  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

  programming-languagedependent-typeslambda-calculus+ 1dependent-intersections

  Agda

  •

  MIT License

  •27•381•39•9•Updated Oct 23, 2023Oct 23, 2023

• cedille-cast

  Public
  Source files used for the Cedille Cast videos

  2•12•0•0•Updated Oct 21, 2020Oct 21, 2020

• cedille.github.io

  Public
  Cedille Homepage

  Shell

  •3•3•0•0•Updated Sep 21, 2020Sep 21, 2020

• icfp2020-captions

  Public
  15•0•0•0•Updated Sep 3, 2020Sep 3, 2020

• agda-performance-experiments

  Public
  Agda

  •0•0•0•0•Updated Oct 14, 2019Oct 14, 2019

• cedille-core-spec

  Public
  Specification of the Cedille Core language

  TeX

  •3•1•0•0•Updated Apr 3, 2019Apr 3, 2019

• icfp18-tutorial

  Public
  Materials related to the tutorial on Cedille at ICFP '18

  TeX

  •0•5•0•0•Updated Oct 4, 2018Oct 4, 2018