Work with Celeste files in Rust!
☆16Jul 10, 2025Updated last year
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:
- No longer used, use https://github.com/rust-lang/llvm-project instead☆12May 16, 2019Updated 7 years ago
- The world's easiest visual programming language for building cool things in record speed☆17May 14, 2026Updated 2 months ago
- Scope Graph Implementation in Rust☆32Nov 22, 2024Updated last year
- fastest ls in the west☆57Nov 26, 2025Updated 7 months ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A zero config remote screen share and control open source alternative to TeamViewer☆17Aug 25, 2022Updated 3 years ago
- The Energy API.☆13Apr 3, 2021Updated 5 years ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 4 years ago
- ☆10Jan 4, 2022Updated 4 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- Concatenate and print files in a Rust byte slice compatible format.☆12Jun 27, 2026Updated 3 weeks ago
- A personal API☆18Dec 3, 2022Updated 3 years ago
- ☆13Nov 22, 2023Updated 2 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- No more "Load more"! >:3☆26Oct 27, 2024Updated last year
- Reference mod for ores, ingots, tools, liquids, and all you can imagine.☆15Dec 10, 2020Updated 5 years ago
- Package manager for Minecraft resource packs, datapacks and crafting tweaks, wrapped around vanillatweaks.net☆20May 15, 2022Updated 4 years ago
- Scripts to turn Minecraft worlds into GoldSrc maps☆32Feb 4, 2024Updated 2 years ago
- Testing the Rust standard library with Miri, continuously☆19Jul 1, 2026Updated 2 weeks ago
- ☆15Sep 12, 2022Updated 3 years ago
- FLOPS: Formalization in the Lean Theorem Prover of the P3109 Standard☆15May 12, 2026Updated 2 months ago
- Learn what's changed on crates.io☆19Jun 16, 2026Updated last month
- Simply Typed Lambda Calculus with de Bruijn indices☆19Mar 20, 2025Updated last year
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Safely transmute type to itself in generic context in Rust☆15Jan 15, 2023Updated 3 years ago
- Library for creating and morphing potentially rounded polygons☆16Mar 6, 2026Updated 4 months ago
- An obscure Minecraft mod about computer technology and electronics based on RVVM project☆15Apr 9, 2026Updated 3 months ago
- a miserable pile of scripts for backing up my cohost posts☆12Sep 29, 2024Updated last year
- ☆16Updated this week
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 5 years ago
- the comune programming language☆27Jun 20, 2024Updated 2 years ago
- Rhythm game engine written in Rust.☆11Mar 17, 2026Updated 4 months ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated 2 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.
- Multiplayer Dots and Boxes build in Elm. Up to 5 players and spectator mode.☆14Feb 24, 2017Updated 9 years ago
- Tidy Plates - World of Warcraft Nameplate Addon☆12Oct 24, 2024Updated last year
- oh no oh no this is not good very bad very good☆11Mar 8, 2023Updated 3 years ago
- How to say it using Mathlib.☆16Jul 1, 2026Updated 2 weeks ago
- Linux linker for x86 and x86-64☆32Jun 2, 2025Updated last year
- A mod for Raft to name the shark randomly after, for example, twitch subscribers☆10Jun 30, 2022Updated 4 years ago
- the best functional language ever☆42Jul 30, 2019Updated 6 years ago