bertptrs / adventofcodeLinks
Advent of code solution programs.
☆16Updated 4 months ago
Alternatives and similar repositories for adventofcode
Users that are interested in adventofcode are comparing it to the libraries listed below
Sorting:
- ⅋ — session types for Rust☆191Updated 6 months ago
- An IDE extension for debugging trait errors in Rust.☆174Updated last month
- 🦀 λ Overly-documented Rust-powered Lambda Calculus Interpreter.☆65Updated 2 months ago
- What do we want? Fast builds. When do we want it? I'm sorry, I got distracted.☆117Updated last month
- Stack safe and expressive recursion in Rust☆98Updated 5 months ago
- ☆99Updated 4 years ago
- Prototype extension of the Rust type system towards checking units-of-measure☆115Updated 5 years ago
- A Mutex wrapper tracking acquisition order☆73Updated 3 weeks ago
- ☆50Updated 4 years ago
- Unborrowed Rust Compiler (rustc without a borrowchecker)☆108Updated last year
- ergonomic and precise error handling built atop type-level set arithmetic☆232Updated last month
- Ranged integers for Rust based on const generics☆28Updated 7 months ago
- https://ibraheem.ca/posts/too-many-web-servers/☆103Updated last year
- Minimalistic snapshot testing for Rust.☆274Updated 5 months ago
- Gotchas and warts in Rust Lang☆75Updated 2 years ago
- ☆134Updated 2 years ago
- ☆139Updated 10 months ago
- 🎶 Choreographic programming in Rust 🎶☆57Updated 2 months ago
- Simple refinement types for Rust; parse, don't validate!☆74Updated 2 months ago
- A principled take on minesweeper☆76Updated last year
- Type-level strings☆14Updated last year
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆93Updated 2 weeks ago
- A graph crate with simplicity in mind☆87Updated last year
- Const equivalents of std functions, compile-time comparison, and parsing.☆99Updated 5 months ago
- The Haskell’s do notation brought to Rust☆62Updated 3 years ago
- Tiny Rust Async Linux Executor☆102Updated last month
- Always know what you're going to say at Daily Standup.☆85Updated 10 months ago
- Define rust compile time unit systems using const generics☆86Updated 4 months ago
- Proc-macro typestate DSL for Rust☆149Updated last year
- Idiomatic exceptions for Rust☆77Updated 9 months ago