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 9 years ago
- Implicit Drop/move protection for Rust (linear types)β12Updated 10 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
- JS affineβ68Updated 5 years ago
- A demand-driven compiler with strong IDE supportβ195Updated 3 years ago
- Experimental compiler/UI components in Rust.β38Updated 7 years ago
- Scrap Your Rust Boilerplateβ56Updated 8 years ago
- A library which finds language features in rust code and provides resources on them.β39Updated 8 years ago
- Rust to F* toolchainβ43Updated 6 years ago
- Extendable HPC-Framework for CUDA, OpenCL and common CPUβ86Updated 6 years ago
- A small Rust library for recycling types with owned memoryβ33Updated 10 years ago
- Rust declarative static analysis with macro-like syntaxβ15Updated 7 years ago
- Units of Measure for Rustβ49Updated 10 years ago
- A monotonic solver designed to be easy to use with Rust enum expressionsβ49Updated 4 years ago
- D-inspired contract programming in Rust using macrosβ54Updated 4 years ago
- A not-yet-functional Rust parser written in LALRPOP.β36Updated 9 years ago
- rust verification condition generatorβ96Updated 9 years ago
- Experiments with Rust and Emscriptenβ19Updated 10 years ago
- Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.β30Updated 6 years ago
- Implementation of libm in rustβ34Updated 8 years ago
- tracking performance of rustc-generated binaries over timeβ101Updated 3 years ago
- Test the downstream impact of Rust crate changes before publishingβ59Updated 7 years ago
- A crate with indexed arenas with small memory footprintβ79Updated last year
- Category Theory For Programmers (Bartosz Milewski)β68Updated 4 years ago
- Rust implementation of prolog based on miniprolog: http://andrej.com/plzoo/html/miniprolog.htmlβ82Updated 5 years ago
- Collections Library for Adapton, in Rustβ13Updated 8 years ago
- β11Updated 6 years ago
- Sound unchecked indexing using βgenerativityβ; a type system approach to indices, pointers and ranges that are trusted to be in bounds.β105Updated 6 years ago
- A simple neural net implementation.β42Updated 6 years ago