Pinned 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
bespoke-theme-terminal
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.
opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
pegjs
PEG.js: Parser generator for JavaScript
semantics
tools
The tools folder, as seen in the V8 source code repository.
tebbi's Repositories
tebbi/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
tebbi/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.
tebbi/benchmarking
Node.js Benchmarking Working Group
tebbi/bespoke-theme-terminal
tebbi/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.
tebbi/linter-chktex
An Atom Linter plugin for LaTeX, using chktex
tebbi/MSYS2-packages
Package scripts for MSYS2.
tebbi/pegjs
PEG.js: Parser generator for JavaScript
tebbi/semantics
tebbi/tools
The tools folder, as seen in the V8 source code repository.
tebbi/v8.dev
The source code of v8.dev, the official website of the V8 project.
tebbi/web-tooling-benchmark
JavaScript Benchmark for common Web Developer workloads