- The coding zoo
-
14:43
(UTC +08:00) - https://funn.is-a.dev/
- https://www.threads.net/@funn.is_a.dev
Stars
Weighs the soul of incoming HTTP requests to stop AI crawlers
A Material 3 Music Player for Android with local file & YouTube Music support. Forked from InnerTune
Portable file server with accelerated resumable uploads, dedup, WebDAV, SFTP, FTP, TFTP, zeroconf, media indexer, thumbnails++ all in one file
A bridge/proxy allowing you to connect to Minecraft: Java Edition servers with Minecraft: Bedrock Edition.
Official inference framework for 1-bit LLMs
Mirror of InriaForge SSABook repository: https://gforge.inria.fr/projects/ssabook/ (was scheduled for retirement at the end of 2020, was still online as of 2021-03, but then gone by 2021-09).
CoreMark® is an industry-standard benchmark that measures the performance of central processing units (CPU) and embedded microcrontrollers (MCU).
🏙 A clean, dark Neovim theme written in Lua, with support for lsp, treesitter and lots of plugins. Includes additional themes for Kitty, Alacritty, iTerm and Fish.
OpenBench is a Distributed SPRT Testing Framework for Chess Engines
Generate any location from the real world in Minecraft with a high level of detail.
[NeoForge Mod] Building Tools and Aesthetic Technology
Grab your own sweet-looking '.is-a.dev' subdomain.
Mommy's here to support you when running cargo~
A maintained, feature-rich and performance oriented, neofetch like system information tool.
A multithreaded Minecraft server built for redstone.
A pixel font designed to actually be good for programming.
A Minecraft: Java Edition Launcher for Android and iOS based on Boardwalk. Succeeded by https://github.com/AngelAuraMC/Amethyst-Android
The de facto GitHub star history graph.
Empowering everyone to build reliable and efficient software.
The default implementation of the core dependencies of the C target for the Gera programming language.