Alternatives and similar repositories for bromberg_sl2:

Users that are interested in bromberg_sl2 are comparing it to the libraries listed below

• cfallin / waffle
  ☆58Updated 5 months ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆61Updated 2 years ago
• dtolnay / tt-call
  Token tree calling convention
  ☆79Updated 2 years ago
• jrmuizel / memcpy-find
  A tool for finding large memcpy's in llvm ir
  ☆60Updated 5 years ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆76Updated last year
• fitzgen / intrusive_splay_tree
  An intrusive splay tree implementation that is no-std compatible and free from allocation and moves
  ☆67Updated last month
• advancedresearch / poi
  a pragmatic point-free theorem prover assistant
  ☆137Updated last year
• tgecho / canrun_rs
  A Rust logic programming library inspired by the *Kanren family of language DSLs.
  ☆51Updated last month
• graydon / concorde
  ☆27Updated 4 years ago
• QuineDot / rust-snags
  Gotchas and warts in Rust Lang
  ☆72Updated 2 years ago
• nikhilm / ninja-rs
  An educational implementation of the ninja build system, based on ideas from the Build Systems a la Carte paper.
  ☆57Updated 4 years ago
• graydon / extent
  replacement for std::{Range,RangeInclusive}
  ☆36Updated 2 years ago
• cesarb / clear_on_drop
  Helpers for clearing sensitive data on the stack and heap
  ☆54Updated 2 years ago
• irrustible / ointers
  What do you call a pointer we stole the high bits off? An ointer.
  ☆86Updated last year
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• bruxisma / outcome
  An experiment in an augmented error handling type for Rust
  ☆38Updated this week
• exists-forall / nickel
  A safe and efficient target language for functional compilers
  ☆19Updated 6 years ago
• spacejam / seaslug
  scraps of a potential language
  ☆37Updated 3 years ago
• pkhuong / reciprocal
  Faster division by constants that aren't known at compile-time
  ☆24Updated 3 years ago
• wenkokke / sesh
  A library for deadlock-free session-typed communication in Rust.
  ☆46Updated 3 years ago
• NicolasLagaillardie / mpst_rust_github
  A library for deadlock-free multiparty session-typed communication in Rust.
  ☆28Updated 4 months ago
• fprasx / peapod
  Ultra-compact storage for collections of enums 🌱
  ☆23Updated 2 years ago
• spacejam / historian
  ☆22Updated 5 years ago
• bluss / indexing
  Sound unchecked indexing using “generativity”; a type system approach to indices, pointers and ranges that are trusted to be in bounds.
  ☆102Updated 5 years ago
• ndmitchell / interpret
  ☆38Updated 4 years ago
• Diggsey / spanr
  Procedural macro span debugger/visualizer
  ☆40Updated 4 years ago
• edmundsmith / type-plugs
  Emulating Higher-Kinded Types in Rust via Plug/Unplug. Also, Monads.
  ☆30Updated 5 years ago
• langston-barrett / treereduce
  A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars
  ☆75Updated last week
• estokes / immutable-chunkmap
  Fast cache efficient immutable map for rust
  ☆28Updated 3 months ago
• zesterer / vm-perf
  Performance comparisons between various virtual interpreter implementation strategies
  ☆32Updated 10 months ago