Skip to content

@cedille Cedille Programming Language

Change the repository type filter

All

    Repositories list

    10 repositories

    • ial

      Public
      The Iowa Agda Library
      Agda
      •
      MIT License
      •21•53•1•0•Updated Apr 16, 2026Apr 16, 2026

    • cedille-cast

      Public
      Source files used for the Cedille Cast videos
      2•13•0•0•Updated Dec 28, 2025Dec 28, 2025

    • cedille-developments

      Public
      A showcase of interesting code and proof developments in Cedille
      Haskell
      •4•36•0•0•Updated Jun 10, 2025Jun 10, 2025

    • cedille2

      Public
      Rust
      •
      MIT License
      •1•17•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
      programming-languagedependent-typeslambda-calculusdependent-intersections
      Agda
      •
      MIT License
      •27•393•39•9•Updated Oct 23, 2023Oct 23, 2023

    • 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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.