Skip to content
View bitonic's full-sized avatar
🍥
bottomless pit
🍥
bottomless pit

Organizations

@agda

Block or report bitonic

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
Showing results

An exabyte-scale, multi-region distributed file system

C++ 1,293 90 Updated Apr 13, 2026

A Microsoft SQL Server plugin for neovim

Lua 99 9 Updated Oct 23, 2025

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Haskell 1,457 45 Updated Apr 10, 2026

Fast CRC32 implementations

C 124 11 Updated Nov 27, 2025

uBlock Origin filter list to hide YouTube Shorts

2,297 149 Updated Aug 31, 2025

use your reMarkable as a graphics tablet

Python 621 62 Updated Feb 23, 2025

Browser extension that automatically fills out cookie popups based on your preferences

JavaScript 4,023 198 Updated Feb 7, 2026

Xournal++ is a handwriting notetaking software with PDF annotation support. Written in C++ with GTK3, supporting Linux (e.g. Ubuntu, Debian, Arch, SUSE), macOS and Windows 10. Supports pen input fr…

C++ 14,617 1,040 Updated Apr 5, 2026

mawww's experiment for a better code editor

C++ 10,832 754 Updated Apr 12, 2026

FreeRDP is a free remote desktop protocol library and clients

C 13,032 15,294 Updated Apr 11, 2026

A simple CalDAV (calendar) and CardDAV (contact) server.

Python 4,565 507 Updated Apr 12, 2026

Android app to sync contacts, calendars and tasks without a server using DecSync

Kotlin 282 13 Updated May 29, 2022

Small tool to display chats from the Android msgstore.db database (crypt12)

C 1,420 443 Updated Aug 28, 2023

☕ GDBFrontend is an easy, flexible and extensible gui debugger.

JavaScript 3,016 112 Updated Nov 12, 2025

Lightning fast, open-source, < 250kb Android launcher

Java 3,405 639 Updated Apr 12, 2026

Programatically obtain information about the pages backing a given memory region

C 82 7 Updated Oct 22, 2021

Run compilers interactively from your web browser and interact with the assembly

TypeScript 18,680 2,017 Updated Apr 9, 2026

Reverse engineering WhatsApp Web.

JavaScript 6,355 830 Updated Apr 22, 2024

GTK application to configure gaming devices

Python 5,750 209 Updated Dec 15, 2025

KeePassXC is a cross-platform community-driven port of the Windows application “KeePass Password Safe”.

C++ 26,558 1,742 Updated Mar 15, 2026

Lightweight vault and password manager for Android, KeePassDX allows editing encrypted data in a single file in KeePass format and fill in the forms in a secure way.

Kotlin 6,575 359 Updated Apr 12, 2026

📝A simple and elegant markdown editor, available for Linux, macOS and Windows.

JavaScript 55,152 4,097 Updated Mar 4, 2026

uops.info Code Analyzer

Python 338 25 Updated Jan 14, 2024

Universal markup converter

Haskell 43,307 3,811 Updated Apr 11, 2026

Google Chrome DevTools extension to live edit WebGL GLSL shaders

JavaScript 631 58 Updated May 1, 2017

🍃 Organic Maps is a free Android & iOS offline maps app for more than 6M travelers, tourists, hikers, and cyclists. It uses crowd-sourced OpenStreetMap data and is developed with love by the commun…

C++ 13,679 1,368 Updated Apr 13, 2026

A gameboy emulator that only plays Pokemon Blue, in ~50 lines of c++.

C++ 1,381 58 Updated Feb 12, 2024

Firefox extension for managing tabs and bookmarks in sidebar.

TypeScript 4,545 225 Updated Apr 5, 2026

AWStats Log Analyzer project (official sources)

Perl 427 133 Updated Nov 10, 2025

NumPy-based text/binary PLY file reader/writer for Python

Python 514 84 Updated Oct 22, 2025
Next