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

An exabyte-scale, multi-region distributed file system

C++ 1,292 89 Updated Mar 27, 2026

A Microsoft SQL Server plugin for neovim

Lua 97 7 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,438 44 Updated Mar 27, 2026

Fast CRC32 implementations

C 124 11 Updated Nov 27, 2025

uBlock Origin filter list to hide YouTube Shorts

2,290 145 Updated Aug 31, 2025

use your reMarkable as a graphics tablet

Python 618 61 Updated Feb 23, 2025

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

JavaScript 4,007 194 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,546 1,030 Updated Mar 28, 2026

mawww's experiment for a better code editor

C++ 10,800 755 Updated Mar 25, 2026

FreeRDP is a free remote desktop protocol library and clients

C 12,974 15,279 Updated Mar 27, 2026

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

Python 4,523 502 Updated Mar 28, 2026

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

Kotlin 281 12 Updated May 29, 2022

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

C 1,419 442 Updated Aug 28, 2023

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

JavaScript 3,014 112 Updated Nov 12, 2025

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

Java 3,390 635 Updated Mar 28, 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,647 2,010 Updated Mar 27, 2026

Reverse engineering WhatsApp Web.

JavaScript 6,355 829 Updated Apr 22, 2024

GTK application to configure gaming devices

Python 5,722 209 Updated Dec 15, 2025

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

C++ 26,395 1,738 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,520 357 Updated Feb 27, 2026

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

JavaScript 54,740 4,065 Updated Mar 4, 2026

uops.info Code Analyzer

Python 335 25 Updated Jan 14, 2024

Universal markup converter

Haskell 42,934 3,795 Updated Mar 28, 2026

Google Chrome DevTools extension to live edit WebGL GLSL shaders

JavaScript 635 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,563 1,363 Updated Mar 28, 2026

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

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

Firefox extension for managing tabs and bookmarks in sidebar.

TypeScript 4,532 224 Updated Mar 23, 2026

AWStats Log Analyzer project (official sources)

Perl 425 131 Updated Nov 10, 2025

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

Python 512 84 Updated Oct 22, 2025
Next