Repositories list

• cedille2

  Public
  Rust

  •

  MIT License

  •1•9•0•0•Updated Jul 14, 2024Jul 14, 2024

• ial

  Public
  The Iowa Agda Library

  Agda

  •

  MIT License

  •19•46•2•0•Updated May 25, 2024May 25, 2024

• 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•369•39•9•Updated Oct 23, 2023Oct 23, 2023

• cedille-developments

  Public
  A showcase of interesting code and proof developments in Cedille

  Haskell

  •3•36•0•0•Updated Feb 13, 2023Feb 13, 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•2•0•0•Updated Sep 21, 2020Sep 21, 2020

• icfp2020-captions

  Public
  16•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