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,316 96 Updated Jun 8, 2026

A Microsoft SQL Server plugin for neovim

Lua 104 12 Updated May 7, 2026

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

Haskell 1,556 50 Updated Jun 12, 2026

Fast CRC32 implementations

C 133 11 Updated Nov 27, 2025

uBlock Origin filter list to hide YouTube Shorts

2,380 149 Updated Apr 29, 2026

use your reMarkable as a graphics tablet

Python 627 64 Updated May 14, 2026

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

JavaScript 4,098 203 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,877 1,069 Updated Jun 11, 2026

mawww's experiment for a better code editor

C++ 10,931 772 Updated Jun 4, 2026

FreeRDP is a free remote desktop protocol library and clients

C 13,290 15,357 Updated Jun 13, 2026

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

Python 4,741 512 Updated Jun 13, 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,425 447 Updated Aug 28, 2023

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

JavaScript 3,018 113 Updated Nov 12, 2025

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

Java 3,437 638 Updated Jun 9, 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,834 2,055 Updated Jun 13, 2026

Reverse engineering WhatsApp Web.

JavaScript 6,459 841 Updated Apr 22, 2024

GTK application to configure gaming devices

Python 5,821 219 Updated Apr 25, 2026

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

C++ 27,628 1,820 Updated Jun 4, 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,899 371 Updated Jun 13, 2026

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

TypeScript 57,312 4,294 Updated Jun 13, 2026

uops.info Code Analyzer

Python 349 26 Updated Jan 14, 2024

Universal markup converter

Haskell 44,762 3,898 Updated Jun 13, 2026

Google Chrome DevTools extension to live edit WebGL GLSL shaders

JavaScript 633 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++ 14,312 1,466 Updated Jun 13, 2026

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

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

Firefox extension for managing tabs and bookmarks in sidebar.

TypeScript 4,606 235 Updated May 19, 2026

AWStats Log Analyzer project (official sources)

Perl 430 135 Updated Nov 10, 2025

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

Python 514 83 Updated May 28, 2026
Next