Discover @tomaz1502 Open Source projects

Tomaz Gomes Mascarenhas (@tomaz1502)

tomaz1502

Stars
29
Global Rank 505,517 (Top 18 %)
Followers 40
Following 45
Registered over 6 years ago
Most used languages

Lean 25.0 %

Rust
16.7 %

JavaScript
8.3 %

OCaml
8.3 %

Vim Script
8.3 %

Agda 8.3 %

TeX
8.3 %

Haskell
8.3 %

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

Agda 6

Lean 6

Vim Script
223

OCaml
224

Haskell
230

TeX
645

Rust
947

C++
5,322

JavaScript
5,772

RunTimeFormalization

A formalization of the run time complexity of Insertion Sort and Merge Sort.

lean-syntax-highlight

A plugin for Obsidian that provides syntax highlight for Lean.

Lam

A formally verified interpreter for Lambda Calculus.

dotfiles

Making setups easier

RuntimeFormalization4

Porting https://github.com/tomaz1502/RunTimeFormalization to Lean 4

Reconstruction

FunctionalEditor

An editor for functional programming languages (WIP).

TinySAT

A tiny proof producing SAT solver.

aoc-2022

master-thesis

CPP_Lib

Collection of C++ algorithms

vim-driver