Top Rating
- Top Contributors
  Discover the Top Open Source contributors by country or by language
- Interviews
  Discover real stories from Open Source developers
Discover

Discover your Favorite Language
Discover the top trending repositories and projects on Github. Explore the latest trends in your preferred languages.

F#

Ruby

Lua

Kotlin

HTML

Swift

Jupyter Notebook

MATLAB

More Languages
Awesome

Awesome repositories
Discover the most awesome repositories and projects of your favorite languages. Inspired by the Awesome-* lists trend in GitHub.

Ruby

Erlang

Java

Go

Objective-C

Python

Crystal

Elixir

More Languages
By Country

Rankings by Country
Discover the community of talented open source contributors in each country.

🇵🇪 Peru

🇱🇾 Libya

🇺🇿 Uzbekistan

🇨🇦 Canada

🇳🇺 Niue

🇹🇹 Trinidad and Tobago

🇨🇿 Czechia

🇯🇵 Japan

All Countries Compare Countries

amintimany/CTDT

Stars
6
Rank 2,539,965 (Top 51 %)
Language Coq
Created about 9 years ago
Updated almost 9 years ago

amintimany/CTDT

amintimany

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Category-theoretic domain theory.

Categories

A formalization of category theory in the Coq proof assistant.

OPLSS

NbE

Normalization by Evaluation for STLC

UniverseComparator

A tool to compare universe levels in Coq.

Categories-HoTT

The HoTT version of Categories.

F_mu_ref_conc_sub

monotone