You must be logged in to sponsor waywardmonkeys
Become a sponsor to Bruce Mitchener
I've been working in open source for over 20 years.
Featured work
-
Z3Prover/z3
The Z3 Theorem Prover
C++ 10,375 -
prove-rs/z3.rs
Rust bindings for the Z3 solver.
Rust 347 -
Interlisp/maiko
Medley Interlisp virtual machine
C 142 -
endoli/lldb.rs
Higher level LLDB bindings for Rust built on lldb-sys.
Rust 55 -
endoli/lldb-sys.rs
LLDB bindings for Rust.
C++ 13
0% towards $5,000 per month goal
Be the first to sponsor this goal!