← All repos

cedille

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

GitHubcedille.github.io/
dependent-intersectionsdependent-typeslambda-calculusprogramming-language
Browse cluster: Lean4 Formal Verification & Cryptography →
1,817commits
30contributors
11languages

Tech stack & purpose

Cedille is a dependently typed programming language based on the Calculus of Dependent Lambda Eliminations. The project comprises multiple components written in different languages: the core type checker and parser are implemented in Haskell, the main source code is written in Agda, and an Emacs mode for the language is provided via Elisp. The repository includes a provisional standard library, unit tests, example programs demonstrating language features, and documentation for both the development version and stable releases.

Community & reference links

Languages

Agda
61.6%
Emacs Lisp
18.7%
Haskell
15.6%
Yacc
1.6%
Makefile
1.1%
Logos
0.3%
Shell
0.3%
TeX
0.2%
JavaScript
0.2%
HTML
0.2%
Batchfile
0.1%

Contributors