Work with Celeste files in Rust!
☆16Jul 10, 2025Updated 8 months ago
Alternatives and similar repositories for celeste_rs
Users that are interested in celeste_rs are comparing it to the libraries listed below
Sorting:
- Scope Graph Implementation in Rust☆31Nov 22, 2024Updated last year
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- fastest ls in the west☆56Nov 26, 2025Updated 3 months ago
- Template for a (PhD) thesis☆12Nov 5, 2025Updated 4 months ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- ☆10Jan 4, 2022Updated 4 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 6 years ago
- A personal API☆18Dec 3, 2022Updated 3 years ago
- Concatenate and print files in a Rust byte slice compatible format.☆12Mar 20, 2023Updated 3 years ago
- ☆13Nov 22, 2023Updated 2 years ago
- A library for extracting and validating links.☆21Aug 17, 2024Updated last year
- Scripts to turn Minecraft worlds into GoldSrc maps☆32Feb 4, 2024Updated 2 years ago
- Package manager for Minecraft resource packs, datapacks and crafting tweaks, wrapped around vanillatweaks.net☆21May 15, 2022Updated 3 years ago
- An easy-to-use Minecraft Datapack IDE☆17Aug 28, 2023Updated 2 years ago
- Safely transmute type to itself in generic context in Rust☆15Jan 15, 2023Updated 3 years ago
- Testing the Rust standard library with Miri, continuously☆16Mar 11, 2026Updated last week
- Text Rendering as a Service☆10Aug 19, 2025Updated 7 months ago
- Learn what's changed on crates.io☆19Jan 5, 2026Updated 2 months ago
- BASIC-style "compiler" as C syntax library☆20Mar 11, 2013Updated 13 years ago
- Rhythm game engine written in Rust.☆11Mar 12, 2026Updated last week
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 4 years ago
- a miserable pile of scripts for backing up my cohost posts☆12Sep 29, 2024Updated last year
- A Python interpreter for APL based off of the LSBASI series.☆16Apr 4, 2021Updated 4 years ago
- Send Files in LAN quickly☆11Feb 9, 2026Updated last month
- # A simple variable binding library based on well-scoped indices and environments☆29Updated this week
- Solutions from Etudes for Programmers☆21Apr 26, 2021Updated 4 years ago
- Tidy Plates - World of Warcraft Nameplate Addon☆11Oct 24, 2024Updated last year
- oh no oh no this is not good very bad very good☆11Mar 8, 2023Updated 3 years ago
- Linux linker for x86 and x86-64☆31Jun 2, 2025Updated 9 months ago
- A mod for Raft to name the shark randomly after, for example, twitch subscribers☆10Jun 30, 2022Updated 3 years ago
- Parse URL as your browser. WHATWG URL library for .NET☆33Feb 25, 2026Updated 3 weeks ago
- Provides support for encoding and decoding Minecraft's NBT format. This crate supports both zlib and gz compression, and also provides to…☆28Mar 19, 2024Updated 2 years ago
- The core of the mod, and everything which does not have a separate project yet.☆25Apr 4, 2021Updated 4 years ago
- Minimalistic Keyboard Driven Browser 🌐🎀☆14May 21, 2025Updated 9 months ago
- A YAML based golang reverse proxy☆10Apr 19, 2025Updated 11 months ago
- Arthur's Formal Metatheory in Coq☆18Feb 6, 2026Updated last month
- ☆18Oct 20, 2021Updated 4 years ago