A proof assistant made in rust for a TIPE

Web browser add-on that prevents YouTube's automatic translations! It keeps titles, descriptions, and audio in their original language.

Le meilleur bot Discord qu'une promo de CPGE puisse avoir :)

perfect programming language

A modern client-side schematic mod for Minecraft

A Tool to Redirect News, Search, Widgets, Weather and More to Your Default Browser

Tutoriels écrit pour la création de Launcher Minecraft

Official Svelte components built for Flowbite and Tailwind CSS

web development, streamlined

Générateur de carte d'identité "officiel" du Listenbourg

Rust library to download and run Minecraft instances.

A post-modern modal text editor.

cloc counts blank lines, comment lines, and physical lines of source code in many programming languages.

A faithful implementation of Microsoft's Fluent Design System in Svelte.

Moved to Codeberg

lightweight, idiomatic and composable router for building Go HTTP services

Free monospaced font with programming ligatures

Lightweight, high-performance HTML renderer for game and app developers.

Java wrapper for the popular chat & VOIP service: Discord https://discord.com

terraria, but worse :D

Code repository of all OpenGL chapters from the book and its accompanying website https://learnopengl.com

📽 Highly Optimized 2D / 3D Graphics Math (glm) for C

Run compilers interactively from your web browser and interact with the assembly

👩‍🎤 CSS-in-JS library designed for high performance style composition

C++ Discord API Bot Library - D++ is Lightweight and scalable for small and huge bots!

80x23 terminal tetris!

web development for the rest of us

A programming language making use of reverse polish notation

Chrome extension to return youtube dislikes