RedPRL / redtt

"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory

Date Created 2018-03-07 (6 years ago)

Commits 1,139 (last one 2 years ago)

Stargazers 204 (0 this week)

Watchers 25 (0 this week)

Forks 12

License apache-2.0

Ranking

RepositoryStats indexes 579,555 repositories, of these RedPRL/redtt is ranked #175,205 (70th percentile) for total stargazers, and #87,992 for total watchers. Github reports the primary language for this repository as OCaml, for repositories using this language it is ranked #171/701.

RedPRL/redtt is also tagged with popular topics, for these it's ranked: ocaml (#97/287)

Other Information

RedPRL/redtt has 1 open pull request on Github, 239 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 37 open issues and 198 closed issues.

All Topics

ocaml type-theory proof-assistant cubical-type-theory

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

1 commits on the default branch (master) since jan '22

Yearly Commits

Commits to the default branch (master) per year

Issue History

Languages

The primary language is OCaml but there's also others...

updated: 2024-10-26 @ 04:03pm, id: 124154053 / R_kgDOB2ZwxQ