Cedille Programming Language

icon indicating a website link https://groups.google.com/forum/#!forum/cedille-lang

Results 3 repositories owned by Cedille Programming Language
trafficstars

cedille

360
Stars
27
Forks
Watchers

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

verified publisher icon cedille

cedille-developments

36
Stars
3
Forks
Watchers

A showcase of interesting code and proof developments in Cedille

verified publisher icon cedille

ial

41
Stars
17
Forks
Watchers

The Iowa Agda Library

verified publisher icon cedille