nox / wg-codegenLinks
Home of the Rust codegen working group π₯
β16Updated 7 years ago
Alternatives and similar repositories for wg-codegen
Users that are interested in wg-codegen are comparing it to the libraries listed below
Sorting:
- A general-purpose lens library for Rust.β30Updated 8 years ago
- A demand-driven compiler with strong IDE supportβ195Updated 3 years ago
- A library which finds language features in rust code and provides resources on them.β39Updated 7 years ago
- Tutorial and demo of rust compiler replacement toolingβ56Updated 4 years ago
- Working group focused on language runtimes - implementing GC and concurrency in safe Rust APIsβ34Updated 7 years ago
- A monotonic solver designed to be easy to use with Rust enum expressionsβ48Updated 4 years ago
- Experimental compiler/UI components in Rust.β38Updated 7 years ago
- Scrap Your Rust Boilerplateβ56Updated 8 years ago
- Rust declarative static analysis with macro-like syntaxβ15Updated 7 years ago
- A synchronization primitive for lock-free reads with one concurrent writerβ21Updated 8 years ago
- A proof of concept automatic differentiation library for Rustβ24Updated 7 years ago
- Units of Measure for Rustβ49Updated 9 years ago
- Extendable HPC-Framework for CUDA, OpenCL and common CPUβ86Updated 5 years ago
- Implicit Drop/move protection for Rust (linear types)β12Updated 10 years ago
- Logic programming, for Rust, from inside Rust.β43Updated 5 years ago
- D-inspired contract programming in Rust using macrosβ54Updated 4 years ago
- β45Updated 7 years ago
- A linear solver designed to be easy to use with Rust enums.β33Updated 4 years ago
- Program synthesis is possible in Rustβ24Updated 7 years ago
- JS affineβ69Updated 5 years ago
- A Rust logic programming library inspired by the *Kanren family of language DSLs.β53Updated 8 months ago
- Razor is a tool for constructing finite models for first-order theoriesβ55Updated 2 years ago
- Sound unchecked indexing using βgenerativityβ; a type system approach to indices, pointers and ranges that are trusted to be in bounds.β103Updated 6 years ago
- An intrusive splay tree implementation that is no-std compatible and free from allocation and movesβ67Updated 6 months ago
- A not-yet-functional Rust parser written in LALRPOP.β36Updated 8 years ago
- Type-level named values with partial dependent type support in Rustβ57Updated 3 years ago
- [WIP] Transpile Rust (MIR) to JavaScript.β76Updated 9 years ago
- A Rocket based JSON Web Token authentication server.β32Updated 5 years ago
- Category Theory For Programmers (Bartosz Milewski)β67Updated 3 years ago
- β40Updated 6 years ago