GeezerVison is showing github.com — Cedille Programming Language
Popular repositories
Loading
Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Agda
398
28
The Iowa Agda Library
Agda
57
21
A showcase of interesting code and proof developments in Cedille
Haskell
38
4
Source files used for the Cedille Cast videos
12
2
Materials related to the tutorial on Cedille at ICFP '18
TeX
5
Repositories
Loading
Type
All
Public
Sources
Forks
Archived
Mirrors
Templates
Language
All
Agda
Haskell
Rust
Shell
TeX
Sort
Showing 10 of 10 repositories
ial
Public
The Iowa Agda Library
cedille/ial's past year of commit activity
Agda
57
MIT
21
1
0
Updated Nov 5, 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/cedille-developments's past year of commit activity
Haskell
38
4
0
0
Updated Jun 10, 2025
cedille/cedille2's past year of commit activity
Rust
18
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
cedille/cedille.github.io's past year of commit activity
Shell
3
2
0
0
Updated Sep 21, 2020
cedille/icfp2020-captions's past year of commit activity
0
15
0
0
Updated Sep 3, 2020
cedille/agda-performance-experiments's past year of commit activity
Agda
0
0
0
0
Updated Oct 14, 2019
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
Uh oh!
There was an error while loading. Please reload this page.
Most used topics
Loading…
Uh oh!
There was an error while loading. Please reload this page.