2bdkid / refinement

Related projects ⓘ

Alternatives and complementary repositories for refinement

• mitsuhiko / stack-tokens
  Example implementation of stack tokens for Rust
  ☆33Updated last year
• advancedresearch / prop
  Propositional logic with types in Rust
  ☆60Updated last year
• fmease / tylift
  Lift enum variants to the type-level.
  ☆31Updated 3 years ago
• calder / rust-goldenfile
  Simple goldenfile testing in Rust.
  ☆38Updated 2 months ago
• jerry73204 / typ
  Experimental type level programming in Rust
  ☆38Updated 3 years ago
• maybevoid / mononym
  Type-level named values with partial dependent type support in Rust
  ☆55Updated 2 years ago
• samsieber / tco
  ☆16Updated 4 years ago
• mpdn / disjoint-borrow
  Disjoint borrow of slices in Rust
  ☆11Updated 5 years ago
• kurtschelfthout / finally-tagless
  ☆15Updated last year
• upsuper / delegate-attr
  Attribute proc-macro to delegate method to a field
  ☆28Updated last year
• rust-lang / jobserver-rs
  ☆68Updated last month
• zzau13 / v_escape
  The simd optimized escape code
  ☆53Updated last week
• nhynes / comptime-rs
  Zig comptime using Rust proc macros
  ☆37Updated 5 months ago
• DuckLogic / zerogc
  Zero overhead tracing garbage collection for rust (WIP)
  ☆50Updated 4 months ago
• auxoncorp / tnfilt
  ☆32Updated 2 years ago
• procyon-rs / showata
  A library of to show data (in browser, evcxr_jupyter) as table, chart...
  ☆25Updated last year
• taiki-e / const_fn
  A lightweight attribute for easy generation of const functions with conditional compilations.
  ☆26Updated this week
• fitzgen / associative-cache
  A generic, fixed-size, associative cache
  ☆40Updated 2 weeks ago
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated 2 months ago
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆12Updated 8 years ago
• avitex / rust-dangerous
  Rust library for safely and explicitly parsing untrusted data
  ☆51Updated 6 months ago
• graydon / backtrace-error
  wrap errors with automatic backtrace capture and print-on-result-unwrap
  ☆33Updated 6 months ago
• irrustible / futures-micro
  To futures-lite as futures-lite is to futures: smaller.
  ☆53Updated 6 months ago
• matklad / drop_bomb
  A Rust library for runtime-checked linearish types
  ☆31Updated last year
• graydon / exhaustigen-rs
  exhaustive testing library
  ☆58Updated 3 months ago
• azriel91 / enum_variant_type
  Proc macro derive to generate structs from enum variants.
  ☆24Updated last year
• zakarumych / scoped-arena
  Arena allocator with scopes
  ☆43Updated last year
• nikis05 / derive-visitor
  ☆25Updated 5 months ago
• danielhenrymantilla / with_locals.rs
  Procedural macro to mock returning (values referencing) locals from a function (using CPS)
  ☆30Updated last month
• ferrilab / radium
  ☆35Updated 3 months ago