Alternatives and similar repositories for sobek

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

• pvdrz / sire
  A symbolic evaluator for MIR
  ☆19Updated 5 years ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆53Updated 6 months ago
• bluejekyll / vermilionrc
  A safe and reliable process manager
  ☆43Updated 5 years ago
• Gankra / sptr
  sptr: The Strict Provenance Polyfill
  ☆75Updated last year
• mystor / cargo-no-std-check
  Check that a crate builds without libstd
  ☆25Updated 4 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• rust-lang / project-ffi-unwind
  ☆37Updated 8 months ago
• irrustible / futures-micro
  To futures-lite as futures-lite is to futures: smaller.
  ☆54Updated 8 months ago
• dtolnay / tt-call
  Token tree calling convention
  ☆80Updated 2 years ago
• Robbepop / apint
  Arbitrary precision integers library.
  ☆28Updated 4 years ago
• mimoo / cargo-dephell
  Cargo dephell analyzes the third-party dependencies of a Rust workspace
  ☆48Updated 2 years ago
• core-error / core-error
  std::Error in no_std environment.
  ☆39Updated 4 years ago
• auxoncorp / bounded-registers
  Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
  ☆53Updated 3 years ago
• acfoltzer / cargo-fund
  Discover funding links for your project's dependencies.
  ☆68Updated last year
• GaloisInc / mir-verifier
  SAW front end for the MIR language from rustc
  ☆36Updated 4 years ago
• vorner / slipstream
  Nudging the compiler to auto-vectorize things
  ☆75Updated last year
• cesarb / constant_time_eq
  Compares two equal-sized byte strings in constant time.
  ☆41Updated 2 months ago
• boltlabs-inc / dialectic
  Transport-polymorphic, asynchronous session types for Rust
  ☆63Updated 2 years ago
• llogiq / overflower
  A Rust compiler plugin and support library to annotate overflow behavior
  ☆107Updated 2 years ago
• Kixunil / dont_panic
  ☆63Updated 8 years ago
• Kerollmops / sdset
  Set theory applied on sorted and deduplicated slices.
  ☆47Updated 2 years ago
• sunfishcode / ambient-authority
  Ambient Authority
  ☆21Updated 2 years ago
• oliver-giersch / conquer-once
  Synchronization primitives for lazy and one-time initialization (no_std compatible).
  ☆34Updated 4 months ago
• gimli-rs / unwind-rs
  ☆27Updated 3 years ago
• jethrogb / rust-core_io
  Rust std::io with all the parts that don't work in core removed.
  ☆36Updated 2 years ago
• advancedresearch / tree_mem_sort
  An in-memory topological sort algorithm for trees based on Group Theory
  ☆23Updated 4 years ago
• irrustible / async-oneshot
  A fast, small, full-featured, no-std compatible oneshot channel
  ☆60Updated last year
• RustyYato / rel-ptr
  ☆31Updated 5 years ago
• 4lDO2 / real-async-trait-rs
  A proc macro for real async traits, using nightly-only existential types and generic associated types to work around the need for type er…
  ☆45Updated 3 years ago
• spacejam / model
  model testing sugar for testing interactions on structures over time
  ☆27Updated 6 years ago