☆37Oct 16, 2023Updated 2 years ago
Alternatives and similar repositories for kibi
Users that are interested in kibi are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆12May 1, 2024Updated 2 years ago
- Use the Rust compiler as a hex viewer☆17Aug 25, 2022Updated 3 years ago
- A 2d top-down turn-based strategy terminal game written from scratch in C.☆12Dec 17, 2023Updated 2 years ago
- Format code blocks inside documentation 🦤☆16Jun 10, 2025Updated last year
- A fast, iterative, correct approach to Stackblur, resulting in a very smooth and high-quality output, with no edge bleeding☆13Aug 13, 2022Updated 3 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- Self-hosted SDK for XR/station☆14May 28, 2026Updated last month
- Learn to code with Wipple.☆38Updated this week
- ☆19Mar 12, 2023Updated 3 years ago
- National Novel Generation Month, 2024 edition.☆18Oct 10, 2025Updated 8 months ago
- HSL map style to be used by mapbox-gl☆13Jun 1, 2026Updated last month
- A small embeddable scripting language☆27May 30, 2022Updated 4 years ago
- The initial (legacy) compiler for the Gera programming language.☆24May 10, 2024Updated 2 years ago
- Custom CSS JSON data for VS Code☆10Jun 19, 2023Updated 3 years ago
- Minecraft client written in Rust and WGPU☆11Apr 16, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A language for abusing mathematical functions and writing things with them that were never meant to be written. It provides an interface …☆17Dec 11, 2025Updated 6 months ago
- WGPU based 2D game engine made on stream☆12Apr 11, 2023Updated 3 years ago
- Workshop on Program Transformations☆26Aug 12, 2023Updated 2 years ago
- Experiments using a bidirectional typesystem☆17Jan 30, 2022Updated 4 years ago
- A POSIX compatible shell written by Rust language.☆14Apr 30, 2024Updated 2 years ago
- Fast SVG Geometry Builder☆11Oct 17, 2021Updated 4 years ago
- Tutorial for Learning OCaml's Effects and Handlers☆10Nov 16, 2022Updated 3 years ago
- Botpress Internal Packages☆18Jun 23, 2026Updated last week
- Authenticated Data Structures☆16Jul 5, 2015Updated 10 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- ☆11Jun 8, 2023Updated 3 years ago
- strictly is a declarative programming language for interactive web-components☆10Dec 2, 2023Updated 2 years ago
- A Haskell roguelike toolkit☆12Jul 10, 2025Updated 11 months ago
- stuffing things into pointers in a strict provenance friendly way☆12Oct 16, 2022Updated 3 years ago
- Plugin-based library to create window decorations☆23Jun 23, 2026Updated last week
- Really small mobile menu navigation sliding in from the left☆15Jun 22, 2019Updated 7 years ago
- A top-down vehicle shooter in Rust - a FOSS clone of RecWar☆59Apr 17, 2025Updated last year
- Simply-typed lambda calculus as a QIT in cubical Agda + normalization☆16Jan 23, 2024Updated 2 years ago
- Optimizing Brainfuck interpreter☆12Dec 30, 2020Updated 5 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Vari (Väri) is a Rust library for formatting strings with colors and cosmetic stuff to the terminal.☆14Jan 15, 2022Updated 4 years ago
- Rasterization using compute shaders☆23Jul 12, 2024Updated last year
- 16-bit fantasy computer☆26Mar 2, 2024Updated 2 years ago
- hacks, a python plugin library that doesn't play by the rules☆18Jan 27, 2017Updated 9 years ago
- German enigma machine implemented with pure functional programming☆19Oct 26, 2020Updated 5 years ago
- A programming language made in Python☆57Dec 29, 2023Updated 2 years ago
- ☆15Nov 19, 2025Updated 7 months ago