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:
- No longer used, use https://github.com/rust-lang/llvm-project instead☆11May 16, 2019Updated 7 years ago
- The world's easiest visual programming language for building cool things in record speed☆17May 14, 2026Updated 3 weeks ago
- 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
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- fastest ls in the west☆56Nov 26, 2025Updated 6 months ago
- haha I'm graduating☆14Jul 22, 2021Updated 4 years ago
- The Energy API.☆13Apr 3, 2021Updated 5 years ago
- My solutions to exercises in "Logical Foundations" (2018-2019)☆11Apr 11, 2019Updated 7 years ago
- Denotational Semantics of the Untyped Lambda Calculus☆17Feb 5, 2025Updated last year
- A LaTeX template for Bachelor or Master theses☆12Jun 10, 2022Updated 3 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
- 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.
- An experimental mutual induction tactic for Lean 4.☆30May 13, 2026Updated 3 weeks ago
- A library for extracting and validating links.☆21Aug 17, 2024Updated last year
- 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
- Simply Typed Lambda Calculus with de Bruijn indices☆19Mar 20, 2025Updated last year
- Testing the Rust standard library with Miri, continuously☆17Jun 1, 2026Updated last week
- Text Rendering as a Service☆10Aug 19, 2025Updated 9 months ago
- Reference mod for ores, ingots, tools, liquids, and all you can imagine.☆15Dec 10, 2020Updated 5 years ago
- An obscure Minecraft mod about computer technology and electronics based on RVVM project☆15Apr 9, 2026Updated 2 months 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.
- BASIC-style "compiler" as C syntax library☆20Mar 11, 2013Updated 13 years ago
- Rhythm game engine written in Rust.☆11Mar 17, 2026Updated 2 months ago
- Interactive holes for Lean 4☆22Apr 19, 2024Updated 2 years ago
- A utility micro-crate for using `Into` more ergonomically.☆12May 17, 2021Updated 5 years ago
- A Python interpreter for APL based off of the LSBASI series.☆16Apr 4, 2021Updated 5 years ago
- Send Files in LAN quickly☆11Feb 9, 2026Updated 3 months ago
- # A simple variable binding library based on well-scoped indices and environments☆32Apr 20, 2026Updated last month
- 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
- oh no oh no this is not good very bad very good☆11Mar 8, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Turn any executables to a single binary ELF application☆96Apr 5, 2026Updated 2 months ago
- Linux linker for x86 and x86-64☆31Jun 2, 2025Updated last year
- 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☆32May 18, 2026Updated 3 weeks ago
- A working Rust example for how to implement Borrow for complex keys☆75Mar 3, 2024Updated 2 years ago
- A fully reproducible nix flake for automatic1111/stable-diffusion-webui with CUDA support.☆13Apr 13, 2023Updated 3 years ago
- The core of the mod, and everything which does not have a separate project yet.☆25Apr 4, 2021Updated 5 years ago