corrode / rustlab2024Links
Write yourself a shell in Rust. A 3-hour course to learn about intermediate Rust concepts and idiomatic code.
☆16Updated last year
Alternatives and similar repositories for rustlab2024
Users that are interested in rustlab2024 are comparing it to the libraries listed below
Sorting:
- Write yourself a fast file finder in Rust. Teaches code structure and some advanced patterns☆31Updated 10 months ago
- Formal verification tool for Rust: check 100% of execution cases of your programs to make safe applications for demanding domains.☆1,057Updated last week
- An IDE extension for debugging trait errors in Rust.☆313Updated 4 months ago
- RustyNum: A NumPy Alternative powered by Rust’s Portable SIMD☆70Updated 5 months ago
- Research on theory of programming languages λ, compilers, interpreters, functional programming, formal methods, logic etc.☆258Updated last year
- Test and benchmark suite for sort implementations.☆516Updated last month
- Incremental computation through constrained memoization.☆581Updated last week
- Temporary repository for Kind2's refactor based on HVM2☆280Updated last year
- Language tooling for the Lox programming language.☆353Updated 6 months ago
- A modern library for building production-grade compilers☆18Updated 11 months ago
- Translations of a simple C program to Rust.☆140Updated 2 years ago
- Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.☆673Updated this week
- Core POSIX command line utilities in safe Rust☆408Updated last week
- an experimental new programming language based on interaction nets☆338Updated this week
- Compiler front-end foundation technology.☆478Updated 2 months ago
- A menagerie of cute implementations of modern typechecking algorithms☆381Updated last week
- A modern computer algebra library for Python and Rust.☆733Updated this week
- A Lisp interpreter written fully in rust macros.☆288Updated last year
- Rust course taught at FEI VŠB-TUO.☆215Updated 7 months ago
- Algebraic effects for Rust☆649Updated last year
- Logic programming in Rust☆529Updated 3 months ago
- Fastest Known Solutions to Advent of Code 2024☆135Updated last year
- Rust port of Spice, a low-overhead parallelization library☆704Updated 9 months ago
- Playing around "Less Slow" coding practices in Rust, from numerical micro-kernels to coroutines, ranges, and polymorphic state machines☆121Updated 9 months ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆232Updated last year
- An Extensible Compiler IR Framework☆253Updated this week
- A curated list of resources, projects, and tools using or for the pest parser generator in Rust☆134Updated 3 months ago
- The Systematic Philosophy Platform🦉☆76Updated this week
- Crafting Interpreters in Rust☆310Updated 3 years ago
- Refinement Types for Rust☆825Updated this week