Skip to content
View teto's full-sized avatar
👹
wrecking havoc
👹
wrecking havoc

Organizations

@NixOS @direct-code-execution @neovim @papis @IHaskell @lumen-oss

Block or report teto

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.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
22 stars written in HTML
Clear filter

Convert PDF to HTML without losing text or format.

HTML 10,595 1,852 Updated Jun 2, 2023

Limiter, compressor, convolver, equalizer and auto volume and many other plugins for PipeWire applications

HTML 9,228 338 Updated Apr 7, 2026

🍀 Local git statistics including GitHub-like contributions calendars.

HTML 6,596 189 Updated Nov 9, 2025

An Open-Source Collection of Flash Cards to Help You Preparing Your Algorithms & Data Structures and System Design Interviews 💯

HTML 5,814 568 Updated Dec 9, 2025

Notes and exercise attempts for "An Introduction to Statistical Learning"

HTML 2,151 1,594 Updated Feb 14, 2023

Deprecated Catapult GitHub. Please instead use http://crbug.com "Speed>Benchmarks" component for bugs and https://chromium.googlesource.com/catapult for downloading and editing source code..

HTML 1,962 570 Updated Nov 18, 2025

Powerful and highly extensible command-line based document and bibliography manager.

HTML 1,680 115 Updated Apr 6, 2026

Read Japanese manga inside browser with selectable text.

HTML 1,570 105 Updated Feb 22, 2026

Examples and hands-on labs for Linux tracing tools workshops

HTML 1,322 296 Updated Jun 19, 2020

presentations as code - author cool slide decks, text-only, offline-ready, collaborative

HTML 1,266 36 Updated Feb 4, 2023

@tzarc's custom keyboard designs.

HTML 970 43 Updated Apr 16, 2025

Lapis is a modern Anki note type designed with compatibility in mind.

HTML 409 32 Updated Mar 28, 2026

In-browser video player for learning Japanese with subtitles

HTML 308 32 Updated Jul 4, 2024

A lightweight Python-based Web-GUI for Linux traffic control (tc) to set, view and delete traffic shaping rules.

HTML 180 58 Updated Aug 11, 2024

Analyze GHC .dump-timings files

HTML 111 4 Updated Feb 14, 2024

Rocks for torch

HTML 71 66 Updated Dec 20, 2017

nix-env graphical user interface

HTML 53 5 Updated Nov 17, 2015

Learn Japanese from anime and Japanese drama

HTML 40 3 Updated May 15, 2021

outputs an interactive but static html page to view trace and sample profiling results from luajit

HTML 27 Updated Mar 11, 2026

utilities for the Frames haskell library

HTML 5 2 Updated Sep 9, 2025