Discover @boulme 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.

Scala

JavaScript

Clojure

C#

C++

TypeScript

Python

Perl

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

R

Lua

MATLAB

Zig

Crystal

Dart

Perl

More Languages
By Country

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

🇳🇨 New Caledonia

🇭🇷 Croatia

🇸🇬 Singapore

🇫🇯 Fiji

🇮🇩 Indonesia

🇸🇮 Slovenia

🇨🇼 Curaçao

🇧🇩 Bangladesh

All Countries Compare Countries

Boulmé (@boulme)

boulme

Stars
8
Global Rank 1,106,139 (Top 39 %)
Followers 5
Registered almost 14 years ago
Most used languages

Coq 100.0 %
Location 🇫🇷 France
Country Total Rank 22,765
Country Ranking

Coq 28

Impure

A Coq library to embed Impure OCaml oracles in certified Coq code

satans-cert

Certifying Answers of Boolean SAT-Solvers (with a proof combining Coq and OCaml typecheckers)

ImpureDemo

A Coq library to embed Impure OCaml oracles in certified Coq code