luteberget / minisat-rs

Related projects: ⓘ

• pliniker / dispatchers
  Virtual Machine/Interpreter dispatch method experiments in Rust
  ☆34Updated 6 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
• rodrimati1992 / type_level
  Libraries for declaring and using type-level values.
  ☆11Updated 5 years ago
• bastion-rs / numanji
  Local-affinity first NUMA-aware allocator with optional fallback.
  ☆24Updated 3 years ago
• eira-fransham / crunchy
  Crunchy unroller - deterministically unroll constant loops
  ☆36Updated 4 months ago
• bytecodealliance / target-lexicon
  Target "triple" support
  ☆48Updated last month
• rust-lang / project-ffi-unwind
  ☆36Updated last year
• auxoncorp / bounded-registers
  Using Type-Level Programming in Rust to Make Safer Hardware Abstractions
  ☆51Updated 2 years ago
• bytecodealliance / regalloc.rs
  Modular register allocator algorithms
  ☆107Updated last year
• dtolnay / lalrproc
  Proof of concept of procedural macro input parsed by LALRPOP
  ☆51Updated last year
• alexcrichton / debug-cell
  Debug RefCell which keeps track of stack traces in debug mode
  ☆20Updated last year
• JoshMcguigan / nerve
  ☆17Updated 4 years ago
• huonw / ieee754
  Low-level manipulations of IEEE754 floating-point numbers.
  ☆28Updated last year
• nikomatsakis / rusty-peg
  ☆17Updated 8 years ago
• eddyb / sobek
  Reverse engineering framework.
  ☆36Updated 2 years ago
• sdleffler / whisper
  Logic programming, for Rust, from inside Rust.
  ☆39Updated 4 years ago
• alexcrichton / splay-rs
  A splay tree implementation written in Rust
  ☆25Updated 5 years ago
• nikomatsakis / rust-name-resolution-algorithm
  A prototype of my proposed name resolution algorithm for Rust.
  ☆12Updated 8 years ago
• Kixiron / sruth
  Sruth Lùbach: A toy optimization engine
  ☆23Updated 3 years ago
• yurydelendik / wasm-dwarf
  Reading DWARF information from wasm files.
  ☆19Updated 6 years ago
• rust-embedded / r0
  Initialization code ("crt0") written in Rust
  ☆69Updated 3 years ago
• gnzlbg / mimallocator
  ☆54Updated 4 years ago
• alexcrichton / dlmalloc-rs
  dlmalloc ported into Rust
  ☆93Updated 4 months ago
• 4lDO2 / evc
  ☆27Updated this week
• lemonrock / predicator
  Predicator, a Rust crate for generating and running dynamic code
  ☆16Updated 5 years ago
• facebookarchive / Rust-SMT-LIB-API
  An API that can be used to expose an SMT-LIB compliant SMT solver to a developer tool written in Rust.
  ☆36Updated 4 years ago
• EugeneGonzalez / bit_reverse
  Rust library to compute bit reversal.
  ☆8Updated 4 years ago
• jethrogb / rust-cexpr
  A C expression parser and evaluator
  ☆44Updated last year
• Kixunil / fast_fmt
  Faster, more flexible and more correct alternative to core::fmt
  ☆39Updated 4 years ago
• mahkoh / trait-union
  Stack-allocated trait objects
  ☆18Updated 2 years ago