Skip to content
View tebbi's full-sized avatar
47 followers · 0 following

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Achievements

Achievement: Arctic Code Vault ContributorAchievement: StarstruckAchievement: Pull Shark

Block or report tebbi

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • tools Public

    Forked from v8/tools

    The tools folder, as seen in the V8 source code repository.

    Python BSD 3-Clause "New" or "Revised" License Updated Apr 1, 2022

  • v8.dev Public

    Forked from v8/v8.dev

    The source code of v8.dev, the official website of the V8 project.

    JavaScript Apache License 2.0 Updated Dec 14, 2021

  • bespoke-theme-terminal Public

    JavaScript MIT License Updated Oct 22, 2021

  • MSYS2-packages Public

    Forked from msys2/MSYS2-packages

    Package scripts for MSYS2.

    Shell BSD 3-Clause "New" or "Revised" License Updated Nov 1, 2018

  • benchmarking Public

    Forked from nodejs/benchmarking

    Node.js Benchmarking Working Group

    Shell Updated Nov 21, 2017

  • arewefastyet Public

    Forked from mozilla/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 t…

    JavaScript Other Updated Nov 18, 2017

  • web-tooling-benchmark Public

    Forked from v8/web-tooling-benchmark

    JavaScript Benchmark for common Web Developer workloads

    JavaScript Other Updated Nov 10, 2017

  • linter-chktex Public

    Forked from nscaife/linter-chktex

    An Atom Linter plugin for LaTeX, using chktex

    CoffeeScript MIT License Updated Mar 5, 2016

  • opam-coq-archive Public

    Forked from coq/opam

    Archive for all Coq related OPAM packages organized in various repositories

    JavaScript 1 GNU Lesser General Public License v2.1 Updated Dec 2, 2015

  • pegjs Public

    Forked from pegjs/pegjs

    PEG.js: Parser generator for JavaScript

    JavaScript MIT License Updated Nov 2, 2015

  • coq Public

    Forked from coq/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 develo…

    OCaml GNU Lesser General Public License v2.1 Updated Jan 24, 2015

  • semantics Public

    Coq Other Updated Dec 2, 2013