Cedille Programming Language · GitHub
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 395 29

  2. ial ial Public

    The Iowa Agda Library

    Agda 56 21

  3. cedille-developments cedille-developments Public

    A showcase of interesting code and proof developments in Cedille

    Haskell 36 4

  4. cedille2 cedille2 Public

    Rust 17 1

  5. cedille-cast cedille-cast Public

    Source files used for the Cedille Cast videos

    12 2

  6. icfp18-tutorial icfp18-tutorial Public

    Materials related to the tutorial on Cedille at ICFP '18

    TeX 5

Repositories

Showing 10 of 10 repositories
  • ial Public

    The Iowa Agda Library

    cedille/ial's past year of commit activity
    Agda 56 MIT 21 1 0 Updated Aug 29, 2026
  • cedille-cast Public

    Source files used for the Cedille Cast videos

    cedille/cedille-cast's past year of commit activity
    12 2 0 0 Updated Dec 28, 2025
  • cedille-developments Public

    A showcase of interesting code and proof developments in Cedille

    cedille/cedille-developments's past year of commit activity
    Haskell 36 4 0 0 Updated Jun 10, 2025
  • cedille2 Public
    cedille/cedille2's past year of commit activity
    Rust 17 MIT 1 0 0 Updated Jan 3, 2025
  • cedille Public

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

    cedille/cedille's past year of commit activity
    Agda 395 MIT 29 39 (1 issue needs help) 9 Updated Oct 23, 2023
  • cedille.github.io Public

    Cedille Homepage

    cedille/cedille.github.io's past year of commit activity
    Shell 3 3 0 0 Updated Sep 21, 2020
  • icfp2020-captions Public Forked from lkuper/icfp2020-captions
    cedille/icfp2020-captions's past year of commit activity
    0 15 0 0 Updated Sep 3, 2020
  • agda-performance-experiments Public
    cedille/agda-performance-experiments's past year of commit activity
    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

    cedille/cedille-core-spec's past year of commit activity
    TeX 1 4 0 0 Updated Apr 3, 2019
  • icfp18-tutorial Public

    Materials related to the tutorial on Cedille at ICFP '18

    cedille/icfp18-tutorial's past year of commit activity
    TeX 5 0 0 0 Updated Oct 4, 2018

Most used topics

Loading…