luteberget / minisat-rs

Related projects ⓘ

Alternatives and complementary repositories for minisat-rs

• rust-lang / project-ffi-unwind
  ☆36Updated last year
• auxoncorp / bounded-registers
  Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
  ☆51Updated 3 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆106Updated 2 years ago
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆51Updated last year
• JoshMcguigan / nerve
  ☆17Updated 4 years ago
• frankmcsherry / columnation
  An experimental columnar arena
  ☆41Updated 3 weeks ago
• bastion-rs / numanji
  Local-affinity first NUMA-aware allocator with optional fallback.
  ☆23Updated 3 years ago
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆45Updated last year
• rust-lang / rust-log-analyzer
  Analyzing Travis and Azure Pipelines logs to find encountered errors
  ☆40Updated 8 months ago
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆12Updated 8 years ago
• Kixunil / fast_fmt
  Faster, more flexible and more correct alternative to core::fmt
  ☆39Updated 4 years ago
• lemonrock / predicator
  Predicator, a Rust crate for generating and running dynamic code
  ☆16Updated 6 years ago
• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆38Updated 6 years ago
• softdevteam / libgc
  A library for garbage collection in Rust.
  ☆12Updated 3 years ago
• huonw / ieee754
  Low-level manipulations of IEEE754 floating-point numbers.
  ☆28Updated last year
• quininer / ritsu
  An experimental asynchronous runtime based on `io-uring`.
  ☆76Updated 3 years ago
• rust-embedded / r0
  Initialization code ("crt0") written in Rust
  ☆69Updated 3 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 2 years ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆47Updated last month
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 2 years ago
• alexcrichton / debug-cell
  Debug RefCell which keeps track of stack traces in debug mode
  ☆23Updated last year
• Amanieu / regalloc3
  New register allocator designed as a successor to regalloc2
  ☆29Updated this week
• KhaledSharif / TsetlinMachine
  An implementation of the Tsetlin Machine in Rust
  ☆16Updated 6 years ago
• contain-rs / trie
  An ordered map and set based on a trie.
  ☆29Updated 4 years ago
• carllerche / string
  Rust String type with configurable byte storage.
  ☆34Updated 2 months ago
• eira-fransham / crunchy
  Crunchy unroller - deterministically unroll constant loops
  ☆36Updated 6 months ago
• rust-embedded-community / aligned
  A newtype with alignment of at least `A` bytes
  ☆30Updated 7 months ago
• tormol / map_in_place
  A rust library for reusing heap allocations
  ☆23Updated 4 years ago