Explore @DeepSpec Open Source projects

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.

CSS

Zig

Julia

HTML

PHP

CoffeeScript

Rust

Go

More Languages
Awesome

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

Objective-C

Rust

Kotlin

Crystal

C++

Elm

Julia

Ada

More Languages
By Country

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

🇯🇴 Jordan

🇻🇳 Vietnam

🇮🇷 Iran

🇩🇲 Dominica

🇼🇫 Wallis and Futuna

🇲🇼 Malawi

🇹🇯 Tajikistan

🇰🇮 Kiribati

All Countries Compare Countries

@DeepSpec

DeepSpec

Stars
365
Global Org. Rank 28,896 (Top 10 %)
Registered about 9 years ago
Most used languages

Coq 50.0 %

HTML
50.0 %

InteractionTrees

A Library for Representing Recursive and Impure Programs in Coq

dsss17

Lecture material for DeepSpec Summer School 2017

dsss18

Lecture material for DeepSpec Summer School 2018

sf