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,297 90 Updated Apr 27, 2026

A Microsoft SQL Server plugin for neovim

Lua 99 11 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,469 44 Updated Apr 24, 2026

Fast CRC32 implementations

C 125 11 Updated Nov 27, 2025

uBlock Origin filter list to hide YouTube Shorts

2,312 148 Updated Apr 26, 2026

use your reMarkable as a graphics tablet

Python 619 62 Updated Feb 23, 2025

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

JavaScript 4,044 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,673 1,051 Updated Apr 26, 2026

mawww's experiment for a better code editor

C++ 10,852 758 Updated Apr 17, 2026

FreeRDP is a free remote desktop protocol library and clients

C 13,105 15,316 Updated Apr 26, 2026

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

Python 4,602 505 Updated Apr 26, 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,424 445 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,414 635 Updated Apr 21, 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,717 2,022 Updated Apr 25, 2026

Reverse engineering WhatsApp Web.

JavaScript 6,361 830 Updated Apr 22, 2024

GTK application to configure gaming devices

Python 5,763 210 Updated Apr 25, 2026

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

C++ 26,760 1,762 Updated Apr 25, 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,645 355 Updated Apr 26, 2026

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

JavaScript 55,559 4,144 Updated Mar 4, 2026

uops.info Code Analyzer

Python 341 26 Updated Jan 14, 2024

Universal markup converter

Haskell 43,728 3,831 Updated Apr 24, 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,795 1,375 Updated Apr 26, 2026

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

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

Firefox extension for managing tabs and bookmarks in sidebar.

TypeScript 4,567 224 Updated Apr 19, 2026

AWStats Log Analyzer project (official sources)

Perl 425 134 Updated Nov 10, 2025

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

Python 514 84 Updated Oct 22, 2025
Next