Rust without the borrow checker
☆288Jan 2, 2026Updated 9 months ago
Alternatives and similar repositories for rustmm
Users that are interested in rustmm are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Illegal rust☆1,744Jan 29, 2026Updated 9 months ago
- Code for tutorials, papers and experiments. Mostly Agda, Coq and Haskell.☆21Feb 17, 2023Updated 3 years ago
- Lambda Calculus parser and interpreter made in TypeScript's type system☆14May 24, 2024Updated 2 years ago
- No more "Load more"! >:3☆26Oct 27, 2024Updated 2 years ago
- pkgstats client archlinux, pacman, pkgstats☆32May 16, 2025Updated last year
- 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.
- ☆17Aug 12, 2026Updated 2 months ago
- A tiling window manager for Wayland, written and configured in Haskell.☆17Jul 2, 2026Updated 3 months ago
- C library for exposing global menus in Wayland and X11 sessions☆16Sep 12, 2026Updated last month
- 🐈⬛ Soothing place for the community☆17May 26, 2024Updated 2 years ago
- ☆16Sep 19, 2026Updated last month
- toy project to learn about the memory usage of different workloads with different allocators☆10Mar 30, 2023Updated 3 years ago
- Rust that is actually Fun☆408Nov 24, 2025Updated 11 months ago
- ☆24Mar 24, 2026Updated 7 months ago
- Soothing pastel theme for Adwaita☆13Oct 12, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Blazingly 🔥 fast 🚀 memory vulnerabilities, written in 100% safe Rust. 🦀☆5,445Sep 26, 2025Updated last year
- 🐱 Soothing soft social-app fork with all the niche toggles! (Unofficial)☆56Aug 3, 2026Updated 2 months ago
- cozy evergarden theme for jellyfin☆13Sep 11, 2026Updated last month
- 🍁 Composite images/text into animated templates☆28Aug 16, 2026Updated 2 months ago
- 📦 Track where Nixpkgs pull requests have reached.☆53Oct 11, 2026Updated 2 weeks ago
- Expression oriented programming language and compiler☆12Dec 4, 2025Updated 10 months ago
- a simple and opinionated development plugin.☆14Sep 4, 2026Updated last month
- Ferrugem is Rust but in Portuguese-BR☆10Oct 2, 2023Updated 3 years ago
- The Functional Virtual Machine.☆14Dec 18, 2024Updated last year
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Entirety of `rustc`, translated to C.☆487Jul 2, 2026Updated 3 months ago
- ☆17Updated this week
- algebraic typechecking and elaboration of type systems☆13Jan 25, 2025Updated last year
- orco - compiler toolchain☆23Oct 16, 2026Updated 2 weeks ago
- a Simple and Adequate Floating Window Manager (safwm)☆22Sep 13, 2023Updated 3 years ago
- std::iter feature complete(-ish) lending iterator for Rustlang☆19Jul 23, 2026Updated 3 months ago
- Neo is a new package manager for Nim, aiming to be fast and maintainable☆43Sep 12, 2026Updated last month
- A procedural programming language built in Rust which compiles to QBE☆118Oct 19, 2026Updated last week
- cowsay, but with a cute kitty :3☆133Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A proc macro that uses an hallucination machine to write your function bodies at compile time.☆340Apr 6, 2026Updated 6 months ago
- Formalization of 2LTT in Agda☆10Oct 11, 2026Updated 2 weeks ago
- Calculator written using idiomatic and modern rust☆20Apr 26, 2026Updated 6 months ago
- C++23 Wayland client library using C++ modules. No libwayland dependency.☆31Sep 15, 2026Updated last month
- ❄️ Dotfiles for our Nix system configuration.☆23Updated this week
- A type-checked alternative to cfg(feature)☆21Jun 5, 2025Updated last year
- 🐈 Unoffical CLI for Catppuccin port developers.☆23Sep 26, 2026Updated last month