Tobias Tebbi's repositories
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
arewefastyet
AreWeFastYet is a set of tools used for benchmarking the major browser's JavaScript virtual machines against each other, as well as reporting the results on a website as insightful graphs showing the evolution of performance over time.
benchmarking
Node.js Benchmarking Working Group
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
linter-chktex
An Atom Linter plugin for LaTeX, using chktex
MSYS2-packages
Package scripts for MSYS2.
tools
The tools folder, as seen in the V8 source code repository.
v8.dev
The source code of v8.dev, the official website of the V8 project.
web-tooling-benchmark
JavaScript Benchmark for common Web Developer workloads