Schwenger / RustTyC

Related projects ⓘ

Alternatives and complementary repositories for RustTyC

• udoprog / syntree
  A memory efficient syntax tree for language developers
  ☆51Updated last month
• veera-sivarajan / type-inferencer
  hindley-milner algorithm
  ☆53Updated last year
• zesterer / yurt
  A highly experiment portable runtime
  ☆19Updated 6 months ago
• chc4 / samsara
  a reference-counting cycle collection library in rust
  ☆75Updated last year
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated last year
• jkelleyrtp / optargs
  Easy-to-use optional function arguments for Rust
  ☆46Updated 6 months ago
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆58Updated 3 months ago
• nvzqz / condtype
  Choose Rust types at compile-time via constants
  ☆61Updated 9 months ago
• theotherphil / dip
  A toy incremental computation framework
  ☆15Updated 3 years ago
• danielhenrymantilla / next-gen-rs
  Safe generators on stable Rust.
  ☆38Updated last year
• faiface / par
  ⅋ — session types for Rust
  ☆74Updated last month
• kevinmehall / codemap
  A data structure for tracking source code positions, inspired by the type in rustc's libsyntax.
  ☆50Updated 3 years ago
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆31Updated 7 months ago
• lorepozo / polytype-rs
  A Hindley-Milner polymorphic typing system
  ☆55Updated 10 months ago
• inanna-malick / recursion
  Stack safe and expressive recursion in Rust
  ☆90Updated last month
• rust-lang / ena
  An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.
  ☆147Updated 6 months ago
• dcreager / expression-problem-rust
  Exploring the "expression problem" in Rust
  ☆46Updated 2 years ago
• playXE / b3-rs
  JIT codegen backend with SSA IR based on B3 from WebKit
  ☆59Updated last year
• fitzgen / bacon-rajan-cc
  ☆91Updated last year
• Kixiron / lasso
  A fast, concurrent string interner
  ☆140Updated 2 months ago
• LPGhatguy / nonmax
  Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.
  ☆42Updated 9 months ago
• dtolnay / tt-call
  Token tree calling convention
  ☆80Updated last year
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆30Updated 2 weeks ago
• CAD97 / sorbus
  An experimental reimplementation of rowan, focused on size efficiency
  ☆24Updated 4 years ago
• mtomassoli / HKTs
  Seamless Higher-Kinded Types in Rust
  ☆75Updated last year
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 4 months ago
• rust-lang / types-team
  Home of the "types team", affiliated with the compiler and lang teams.
  ☆95Updated last year
• oxidecomputer / cancel-safe-futures
  Alternative future adapters that provide cancel safety.
  ☆58Updated this week
• azriel91 / enum_variant_type
  Proc macro derive to generate structs from enum variants.
  ☆24Updated last year