A prototype of my proposed name resolution algorithm for Rust.
☆13Nov 24, 2015Updated 10 years ago
Alternatives and similar repositories for rust-name-resolution-algorithm
Users that are interested in rust-name-resolution-algorithm are comparing it to the libraries listed below
Sorting:
- An experimental reimplementation of rowan, focused on size efficiency☆25Sep 4, 2020Updated 5 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- Find Deadlocks in Rust with Petri-Net Model checking (Master Thesis)☆23Mar 11, 2020Updated 5 years ago
- A new perspective on programming☆22Oct 30, 2016Updated 9 years ago
- Concrete Syntax Tree library☆119Sep 29, 2025Updated 5 months ago
- Sometimes when I feel sad I implement a dependently typed lambda calculus.☆15Mar 26, 2020Updated 5 years ago
- Douki-next (同期『ネクスト』) is a synchronization software for anilist and myanimelist.☆10May 28, 2021Updated 4 years ago
- Garbage collector implementation in Rust for Rust☆13Aug 30, 2020Updated 5 years ago
- Rust testing framework for compilers and VMs☆51Feb 24, 2025Updated last year
- Shiro - a declarative, dataflow programming language for exploring alternatives☆16Oct 14, 2016Updated 9 years ago
- A strongly & statically typed systems level language focused on ease of use, portability and speed, built for the modern age.☆53Jun 1, 2021Updated 4 years ago
- Our website☆11Dec 6, 2022Updated 3 years ago
- ☆30Apr 26, 2024Updated last year
- ☆16Oct 5, 2021Updated 4 years ago
- ☆15Dec 16, 2020Updated 5 years ago
- 3D simulation for a flock of boids in Rust☆29Sep 12, 2022Updated 3 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆103Apr 5, 2024Updated last year
- Efficient sets of bytes for Rust☆18Jun 23, 2020Updated 5 years ago
- ☆37Dec 24, 2024Updated last year
- An experimental columnar arena☆43Feb 8, 2026Updated 3 weeks ago
- Paradoxes of type theory, described didactically. With accompanying proofs in Agda.☆41Oct 5, 2020Updated 5 years ago
- Implementation of Immix Mark-Region Garbage collector written in Rust Programming Language.☆37Jan 22, 2021Updated 5 years ago
- A fast, concurrent string interner☆165Aug 19, 2024Updated last year
- Interpreter for functional pure type systems.☆21Jun 30, 2017Updated 8 years ago
- RRust, a reversible Rust DSL☆43Nov 26, 2024Updated last year
- An upcoming operating system built on Type-Theory☆43Jul 1, 2020Updated 5 years ago
- experimental middleware-based minimalism async HTTP server framework☆22Mar 28, 2021Updated 4 years ago
- Curly programming language☆18Jan 8, 2021Updated 5 years ago
- Electron application used to read discord chat while doing some other stuff☆13Oct 5, 2023Updated 2 years ago
- JERK: Java Embedding Rust Kit☆17May 17, 2023Updated 2 years ago
- Simply typed lambda calculus in cubical agda☆22Feb 22, 2020Updated 6 years ago
- Ambient Authority☆21Jun 30, 2023Updated 2 years ago
- Extension of nom to trace parser☆50Feb 3, 2025Updated last year
- being an experiment with potato power☆23Jan 14, 2020Updated 6 years ago
- 😹 convert ANSI Escaped CLI strings to SVGs☆23May 18, 2019Updated 6 years ago
- a library for experimental linear lambda calculus☆20Mar 18, 2023Updated 2 years ago
- Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"☆29Sep 3, 2023Updated 2 years ago
- Don't look, I'm just playing with a B+-tree implementation which may or may not turn into a PALM tree.☆26Jul 19, 2020Updated 5 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆55Nov 7, 2020Updated 5 years ago