Skip to content
@cedille

Cedille Programming Language

Popular repositories Loading

  1. cedille cedille Public

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

    Agda 375 27

  2. ial ial Public

    The Iowa Agda Library

    Agda 47 19

  3. cedille-developments cedille-developments Public

    A showcase of interesting code and proof developments in Cedille

    Haskell 36 3

  4. cedille-cast cedille-cast Public

    Source files used for the Cedille Cast videos

    12 2

  5. cedille2 cedille2 Public

    Rust 11 1

  6. icfp18-tutorial icfp18-tutorial Public

    Materials related to the tutorial on Cedille at ICFP '18

    TeX 5

Repositories

Showing 10 of 10 repositories
  • cedille2 Public
    Rust 11 MIT 1 0 0 Updated Jan 3, 2025
  • ial Public

    The Iowa Agda Library

    Agda 47 MIT 19 2 0 Updated Dec 3, 2024
  • cedille Public

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

    Agda 375 MIT 27 39 (1 issue needs help) 9 Updated Oct 23, 2023
  • cedille-developments Public

    A showcase of interesting code and proof developments in Cedille

    Haskell 36 3 0 0 Updated Feb 13, 2023
  • cedille-cast Public

    Source files used for the Cedille Cast videos

    12 2 0 0 Updated Oct 21, 2020
  • cedille.github.io Public

    Cedille Homepage

    Shell 2 3 0 0 Updated Sep 21, 2020
  • icfp2020-captions Public Forked from lkuper/icfp2020-captions
    0 16 0 0 Updated Sep 3, 2020
  • agda-performance-experiments Public
    Agda 0 0 0 0 Updated Oct 14, 2019
  • cedille-core-spec Public Forked from astump/cedille-core-spec

    Specification of the Cedille Core language

    TeX 1 3 0 0 Updated Apr 3, 2019
  • icfp18-tutorial Public

    Materials related to the tutorial on Cedille at ICFP '18

    TeX 5 0 0 0 Updated Oct 4, 2018

Top languages

Loading…

Most used topics

Loading…