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

HTML

Julia

Scala

Jupyter Notebook

Lua

Crystal

Assembly

Nix

More Languages
Awesome

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

Scala

Go

Elm

Shell

Elixir

Swift

Rust

Clojure

More Languages
By Country

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

🇿🇦 South Africa

🇮🇹 Italy

🇨🇻 Cape Verde

🇯🇵 Japan

🇲🇳 Mongolia

🇰🇷 South Korea

🇦🇼 Aruba

🇺🇬 Uganda

All Countries Compare Countries

Tomaz Gomes Mascarenhas (@tomaz1502)

tomaz1502

Stars
20
Global Rank 628,896 (Top 22 %)
Followers 33
Following 38
Registered almost 6 years ago
Most used languages

Lean 18.2 %

Rust
18.2 %

Haskell
18.2 %

Vim Script
9.1 %

JavaScript
9.1 %

TeX
9.1 %

OCaml
9.1 %

C++
9.1 %
Location 🇫🇷 France
Country Total Rank 18,182
Country Ranking

Lean 6

Haskell
157

Vim Script
195

OCaml
390

TeX
841

Rust
907

C++
5,505

RunTimeFormalization

BSc Final Project: Formalizing run time complexity of sorting algorithms using Lean

dotfiles

Making setups easier

Lam

A formally verified interpreter for Lambda Calculus.

FunctionalEditor

An editor for functional programming languages (WIP).

Reconstruction

lean-syntax-highlight

aoc-2022

master-thesis

CPP_Lib

Collection of C++ algorithms

vim-driver

TinySAT

A tiny proof producing SAT solver.