Explore @KestrelInstitute 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.

C#

Crystal

Haskell

F#

TypeScript

Nix

Python

Java

More Languages
Awesome

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

Zig

Julia

C#

Rust

Ada

Clojure

Go

Nix

More Languages
By Country

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

🇨🇦 Canada

🇯🇴 Jordan

🇮🇶 Iraq

🇨🇾 Cyprus

🇱🇮 Liechtenstein

🇸🇯 Svalbard and Jan Mayen

🇳🇦 Namibia

🇪🇭 Western Sahara

All Countries Compare Countries

Kestrel Institute (@KestrelInstitute)

KestrelInstitute

Stars
17
Global Org. Rank 126,863 (Top 41 %)
Registered over 9 years ago
Most used languages

Coq 50.0 %

Common Lisp
50.0 %
Location 🇺🇸 United States
Country Total Rank 122,261
Country Ranking

Coq 139

Common Lisp
164

Specware

Specware consists of a formal specification language and tools for transformation and refinement to efficient implementations in CommonLisp, C, Java and Haskell.

SpecwareC