chayleaf

BOHM1.1. Bologna Optimal Higher-Order Machine, Version 1.1

15-Puzzle. 15 Puzzle online game powered by Vue 3 featuring Nic Cage :)

hydro. A Rust framework for correct and performant distributed systems

bud. Prototype Bud runtime (Bloom Under Development)

visita. Elegant implementation of the Visitor Pattern in Rust

UnityPy. UnityPy is python module that makes it possible to extract/unpack and edit Unity assets

differential-dataflow. An implementation of differential dataflow using timely dataflow on Rust.

lmntal-compiler. LMNtal Compiler

slim. slim LMNtal implementation

DeepSeek-R1.

Mapperatorinator. An AI framework for generating and modding osu! beatmaps for all gamemodes from spectrogram inputs.

mlsub. Prototype type inference engine

mlscript. The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

simple-sub. Alternative algorithm for algebraic subtyping.

rust-gpu. 🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

downward. The Fast Downward domain-independent classical planning system

malbolge-lisp. A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.

kime. Korean IME

Il2CppInspectorRedux. Continuation of Il2CppInspector - A powerful automated tool for reverse engineering Unity IL2CPP binaries.

kitsunekko-mirror. 🌸 A large catalog of Japanese subtitles. It also includes a backup mirror of kitsunekko.

youtube-trusted-session-generator. TOOL IS DEPRECATED - This is a generator for getting a session that passes all the checks from YouTube side

nix-systems. Externally extensible flake systems

qrazybox. QR Code Analysis and Recovery Toolkit

th06. Decompilation of 東方紅魔郷　～ the Embodiment of Scarlet Devil (1.02h)

HTMNIX. HTML for Nix to rule them all.

cve-rs. Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀

shadowsocks_install. Auto Install Shadowsocks Server for CentOS/Debian/Ubuntu

darling. Darwin/macOS emulation layer for Linux

hudsucker. Intercepting HTTP/S proxy

petals. 🌸 Run LLMs at home, BitTorrent-style. Fine-tuning and inference up to 10x faster than offloading

rknpu-reverse-engineering. Because RKNPU only knows 4D

doslinux. Run Linux programs on DOS

nix-init. Generate Nix packages from URLs with hash prefetching, dependency inference, license detection, and more [maintainer=@figsoda]

dtvis. A device tree visualizer (early development)

gd-rce. A remote code execution exploit for Geometry Dash 2.1

rikaitan. 📓 Pop-up dictionary browser extension for language learning and AJATT. Official successor of Yomichan.

Tasmota. Alternative firmware for ESP8266 and ESP32 based devices with easy configuration using webUI, OTA updates, automation using timers or rules, expandability and entirely local control over MQTT, HTTP, Serial or KNX. Full documentation at

edk2-rk3588. EDK2 UEFI firmware for Rockchip RK3588 platforms

NanakoRaws-Anime-Japanese-subtitles.

yabridge. A modern and transparent way to use Windows VST2, VST3 and CLAP plugins on Linux

harmonia. Nix binary cache implemented in rust (maintainer: @Mic92)

Nekomoekissaten-Storage. Subtitles made by Nekomoe Kissaten.

liminix. Mirror of gti.telent.net:dan/liminix

nixd. Nix language server, based on nix libraries [maintainer=@inclyc,@takeokunn,@Aleksanaa]

nixos-bpir3-example. Nix

jiten. jiten - japanese android/cli/web dictionary based on jmdict/kanjidic — 日本語　辞典　和英辞典　漢英字典　和独辞典　和蘭辞典

valetudo-crl200s-root. Tooling to root CRL-200S-based vacuum robots

TriAAN-VC. TriAAN-VC: Triple Adaptive Attention Normalization for Any-to-Any Voice Conversion

flake. A Nix flake for many AI projects

Valetudo. Cloud replacement for vacuum robots enabling local-only operation

mobile-nixos. 📱 (rebooting... please wait...)

Irie-lang. Subtyping calculus of inductive constructions

unrar_wrapper. unrar_wrapper is a wrapper python script that transforms the basic UnRAR commands to unar and lsar calls in order to provide a backwards compatibility.

cosmopolitan. build-once run-anywhere c library

duck.nvim. A duck that waddles arbitrarily in neovim.

o3de. Open 3D Engine (O3DE) is an Apache 2.0-licensed multi-platform 3D engine that enables developers and content creators to build AAA games, cinema-quality 3D worlds, and high-fidelity simulations without any fees or commercial obligations.

leaf. A versatile and efficient proxy framework.

smoltcp. a smol tcp/ip stack

helix. A post-modern modal text editor.

open-gpu-kernel-modules. NVIDIA Linux open GPU kernel module source

ankisync2. Creating and editing *.apkg and *.anki2 safely

radium. A graphical music editor. A next generation tracker.

ydb. YDB is an open source Distributed SQL Database that combines high availability and scalability with strong consistency and ACID transactions

FizzBuzzEnterpriseEdition. FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

GTTS. Global Tick Time Scale mod for Factorio

cutter. Free and Open Source Reverse Engineering Platform powered by rizin

z3. The Z3 Theorem Prover

nixos-infect. [GPLv3+] install nixos over the existing OS in a DigitalOcean droplet (and others with minor modifications)

opendrop. An open Apple AirDrop implementation written in Python

sprite-lang. An tutorial-style implementation of liquid/refinement types for a subset of Ocaml/Reason.

IntercalScript. The IntercalScript programming language

quibble. Quibble - the custom Windows bootloader

fuckingfunctionpointers.com. Syntax is hard. https://fuckingfunctionpointers.com

inkwell. It's a New Kind of Wrapper for Exposing LLVM (Safely)

stargate. Innovation-first digital audio workstation (DAW), instrument and effect plugins, wave editor

cubiml-demo. A simple ML-like programming language with subtyping and full type inference.

totally-safe-transmute. Rust

cold-clear. Tetris Bot

linux. Linux kernel source tree

tenacity-legacy. THIS REPO IS NOT MAINTAINED ANYMORE. Please see https://codeberg.org/tenacityteam/tenacity for Tenacity, which is maintained.

libhybris. Hybris is a solution that commits hybris, by allowing us to use bionic-based HW adaptations in glibc systems

porting-guide. Droidian porting guide

AndroidServoView. ServoView is a drop-in replacement for GeckoView on Android.

slskd. A modern client-server application for the Soulseek file sharing network.

jpsonic. Media server with excellent for multibyte languages

subserv-mpv-plugin. Send subtitles displayed by mpv to your web-browser.

lpunpack_and_lpmake. android super.img tools

baresip. Baresip is a modular SIP User-Agent with audio and video support

baresip-studio. baresip library based SIP client for Android

Leafish. A minecraft-like multi version client implemented in Rust.

japanese-prosody-trainer. An MVP for a prosody visualizer to help English speakers compare their speech prosody (voice pitch and intensity) to that of a native speaker.

impacto. "MAGES." visual novel engine reimplementation

awesome-livecoding. All things livecoding

Tidal. Pattern language

organicmaps. 🍃 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 community. No ads, no tracking, no data collection, no crapware. Please donate to support the development!

vk-coffee-baksmali. Decompiled VK Coffee (http://4pda.ru/forum/index.php?showtopic=701681)

StreetComplete. Easy to use OpenStreetMap editor for Android

Kaku. 画 - Japanese OCR Dictionary

Telegram-FOSS. Unofficial, FOSS-friendly fork of the original Telegram client for Android

maubot. A plugin-based Matrix bot system.

spacebarchat. 📬 Spacebar is a free open source selfhostable discord compatible communication platform

rate-mirrors. Everyday-use client-side map-aware mirror ranking tool (Arch Linux; Manjaro; custom ones)

loadlibrary. Porting Windows Dynamic Link Libraries to Linux

paru. Feature packed AUR helper

bad_actor_poc. Rust

gimli. A library for reading and writing the DWARF debugging format

DepotDownloader. Steam depot downloader utilizing the SteamKit2 library.

Ultimate-ASI-Loader. The Ultimate ASI Loader is a proxy DLL that loads custom .asi libraries into any game process.

rust. Empowering everyone to build reliable and efficient software.

pipe-rename. Rename your files using your favorite text editor

factorio_dissector. Factorio dissector for Wireshark

nft_ptr. C++ `std::unique_ptr` that represents each object as an NFT on the Ethereum blockchain

flecs. A fast entity component system (ECS) for C & C++

rust-langdev. Language development libraries for Rust

wine-tkg-git. The wine-tkg build systems, to create custom Wine and Proton builds

holyjit. Generic purpose Just-In-time compiler for Rust.

thread_local-rs. Per-object thread-local storage for Rust

bevy. A refreshingly simple data-driven game engine built in Rust

NCoC. No Code of Conduct: A Code of Conduct for Adults in Open Source Software

FUMEN-Reader. Translate a binary FUMEN file for the Nintendo 3DS to a human readable text format

SourceCoop. Black Mesa cooperative plugin for SourceMod

caja. Caja is a tool for safely embedding third party HTML, CSS and JavaScript in your website.

Il2CppDumper. Unity il2cpp reverse engineer

learn-wgpu. Guide for using gfx-rs's wgpu library.

Extended-Shaders. Shader support for mods

cargo-web. A Cargo subcommand for the client-side Web

stdweb. A standard library for the client-side Web

glsp. The GameLisp scripting language

rust-fmod. A rust binding for the FMOD library

openssl_for_ios_and_android. OpenSSL Library for iOS and Android

axmldec. Stand-alone binary AndroidManifest.xml decoder

macroquad. Cross-platform game engine in Rust.

miniquad. Cross platform rendering in Rust

evcxr. Rust

eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee. eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee

curl-android-ios. Static libcurl to be used in Android and iOS apps. Build scripts included. No Android source required

cfr. This is the public repository for the CFR Java decompiler

jadx. Dex to Java decompiler

html2canvas. Screenshots with JavaScript

lets-get-arrested. This project is intended to protest against the police in Japan

LittleBigMouse. DPI Aware mouse move across screens

TJAPlayer3. A .tja file player.(feat. DTXMania & TJAPlayer2 forPC)

ghidra. Ghidra is a software reverse engineering (SRE) framework

waifu2x. Image Super-Resolution for Anime-Style Art

WebClients. Monorepo hosting the proton web clients

Discord-Datamining. Datamining Discord changes from the JS files

git-blame-someone-else. Blame someone else for your bad code.

choco. Chocolatey - the package manager for Windows

Moondust. C#

linuxify. 🍏🐧 Transparently transform the macOS CLI into a fresh GNU/Linux CLI experience.

Proton. Compatibility tool for Steam Play based on Wine and additional components

nofutureweb.github.io. HTML

KerbalSpaceFactorio. Build rockets in factorio, launch them in KSP to send the research back down to Nauvis as space science packs

ctti. Compile Time Type Information for C++

phply. PHP parser written in Python using PLY

Dobby. a lightweight, multi-platform, multi-architecture hook framework.

RecipeBrowser. RecipeBrowser mod for tModLoader

algos. Competitive programming algorithms in C++

MuseScore. MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!

movfuscator. The single instruction C compiler

ida-rpc. Discord rich presence plugin for IDA Pro 7.0

renjin. JVM-based interpreter for the R language for the statistical analysis.

one-pixel-attack-keras. Keras implementation of "One pixel attack for fooling deep neural networks" using differential evolution on Cifar10 and ImageNet

xg2xg. by ex-googlers, for ex-googlers - a lookup table of similar tech & services

break-on-access. break on access to a property

cocos2d-x. Cocos2d-x is a suite of open-source, cross-platform, game-development tools utilized by millions of developers across the globe. Its core has evolved to serve as the foundation for Cocos Creator 1.x & 2.x.

v86. x86 PC emulator and x86-to-wasm JIT, running in the browser

Discord-Pizzabot. A chatbot for discord

reactos. A free Windows-compatible Operating System

git-gud. Ever had someone tell you to "get good"? Now you can!

eggdrop. The Eggdrop IRC Bot

idadiff. IDAPython script in order to auto-rename subs

unity_metadata_loader. C++

protobuf-inspector. 🕵️ Tool to reverse-engineer Protocol Buffers with unknown definition

Google-Play-API. An implementation of some of the Google Play's API calls. Includes a tool to download apps.

cvoltonforge.

cvoltonclassic. My forge mod, first that makes sense and is available for Minecraft Forge

cvoltonForgeMod.

finsky. Google Play API for Python

cb-testing. DARPA Cyber Grand Challenge Challenge Binary Testing tools

personal. My stuff which I want on multiple computers :3

HAPIH-2. API for supporting C++14 external memory hacking. Complete redesign from HAPIH

luabind. C++

trackerslist. Updated list of public BitTorrent trackers

HAPIH. C++ API for making Cliented Hacks and Cheats

GMDprivateServer. Geometry Dash Private Server

vk. Vkontakte API for .NET

Nexus-Mod-Manager. C#

CVE-2016-5195. CVE-2016-5195 (dirtycow/dirtyc0w) proof of concept for Android

cve-2015-1538-1. An exploit for CVE-2015-1538-1 - Google Stagefright ‘stsc’ MP4 Atom Integer Overflow Remote Code Execution

social-engineer-toolkit. The Social-Engineer Toolkit (SET) repository from TrustedSec - All new versions of SET will be deployed here.

github-audio. Listen to music generated by events happening across GitHub :octocat: 🎷

WaveFunctionCollapse. Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

New-VK-Settings. Расширение для Chrome и Firefox, позволяющее видоизменять новую версию сайта vk.com

ARConcertUnity. AR Concert with Unity Chan

android-udev-rules. Android udev rules list aimed to be the most comprehensive on the net

koreader. An ebook reader application supporting PDF, DjVu, EPUB, FB2 and many more formats, running on Cervantes, Kindle, Kobo, PocketBook and Android devices

shellfuck. Brainfuck interpreter in shell script.