Skip to content
<awesome-gh-repos>
vic

cedille/cedille

Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations
Source code at GitHub https://cedille.github.io/
cedille/cedille.json
{
  "createdAt": "2018-06-22T23:05:47Z",
  "defaultBranch": "master",
  "description": "Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations",
  "fullName": "cedille/cedille",
  "homepage": "https://cedille.github.io/",
  "language": "Agda",
  "name": "cedille",
  "pushedAt": "2023-10-23T15:21:17Z",
  "stargazersCount": 382,
  "topics": [
    "dependent-intersections",
    "dependent-types",
    "lambda-calculus",
    "programming-language"
  ],
  "updatedAt": "2025-11-20T19:09:34Z",
  "url": "https://github.com/cedille/cedille"
}

The Cedille Programming Language

Section titled “The Cedille Programming Language”

Build Status

Please see the Cedille homepage for an introduction to Cedille.

Repository Content Highlights

Section titled “Repository Content Highlights”
  • cedille-mode/: Elisp code for the Cedille Emacs mode
  • cedille-tests/: Unit tests for the Cedille Emacs frontend
  • core/: A Haskell implementation of a Cedille Core checker
  • language-overview/: Example Cedille programs that demonstrate some of its important features
  • lib/: The (provisional) Cedille Standard Library
  • parser/: The parser for the Cedille language (written in Haskell)
  • se-mode/: The Elisp source code for the Emacs “Structured Editing Mode”
  • src/: The Cedille source code (written in Agda)

License

Section titled “License”

MIT