Work with Celeste files in Rust!
☆16Jul 10, 2025Updated 10 months ago
Alternatives and similar repositories for celeste_rs
Users that are interested in celeste_rs are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Scope Graph Implementation in Rust☆32Nov 22, 2024Updated last year
- Autosplitter program for Celeste on Linux☆14Oct 6, 2023Updated 2 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- fastest ls in the west☆56Nov 26, 2025Updated 5 months ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 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.
- The Energy API.☆13Apr 3, 2021Updated 5 years ago
- ☆10Jan 4, 2022Updated 4 years ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 years ago
- ☆13Nov 22, 2023Updated 2 years ago
- An experimental mutual induction tactic for Lean 4.☆28Updated this week
- 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 4 years ago
- ☆15Sep 12, 2022Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Safely transmute type to itself in generic context in Rust☆15Jan 15, 2023Updated 3 years ago
- Testing the Rust standard library with Miri, continuously☆16May 9, 2026Updated last week
- Text Rendering as a Service☆10Aug 19, 2025Updated 9 months ago
- Multiplayer Dots and Boxes build in Elm. Up to 5 players and spectator mode.☆14Feb 24, 2017Updated 9 years ago
- Rhythm game engine written in Rust.☆11Mar 17, 2026Updated 2 months ago
- a miserable pile of scripts for backing up my cohost posts☆12Sep 29, 2024Updated last year
- Solutions from Etudes for Programmers☆21Apr 26, 2021Updated 5 years ago
- # A simple variable binding library based on well-scoped indices and environments☆32Apr 20, 2026Updated 3 weeks ago
- Coqtail is a library of mathematical theorems and tools proved inside the Coq proof assistant. Results range mostly from arithmetic to re…☆16Apr 13, 2026Updated last month
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- oh no oh no this is not good very bad very good☆11Mar 8, 2023Updated 3 years ago
- Turn any executables to a single binary ELF application☆96Apr 5, 2026Updated last month
- Linux linker for x86 and x86-64☆31Jun 2, 2025Updated 11 months ago
- A mod for Raft to name the shark randomly after, for example, twitch subscribers☆10Jun 30, 2022Updated 3 years ago
- Public Peripheral Access Crate for TC375 being developed in partnership with HighTec, Veecle and BlueWind. The repository will be used fo…☆10Apr 5, 2024Updated 2 years ago
- Parse URL as your browser. WHATWG URL library for .NET☆32Apr 22, 2026Updated 3 weeks ago
- Official repository of the Autosubst 2 project.☆26May 8, 2023Updated 3 years ago
- A fully reproducible nix flake for automatic1111/stable-diffusion-webui with CUDA support.☆13Apr 13, 2023Updated 3 years 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
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Arthur's Formal Metatheory in Coq☆20Feb 6, 2026Updated 3 months ago
- A small Fabric mod that runs on the serverside only and lets you leash players!☆13Jan 10, 2026Updated 4 months ago
- ☆18Oct 20, 2021Updated 4 years ago
- WIP Bitmap font format, font editor, typesetter, and text editor backend☆11Nov 3, 2021Updated 4 years ago
- A complete proof in Agda of the Church-Rosser theorem for untyped λ-calculus formalizing the methods by Komori-Matsuda-Yamakawa (2014) an…☆30Sep 21, 2022Updated 3 years ago
- A cross-platform memory library☆15Apr 12, 2020Updated 6 years ago
- Set the minimum alignments of types using const generics.☆18Oct 17, 2024Updated last year