waywardmonkeys
Have worked on compilers, debuggers, runtime systems for a while. Now working in Rust via the @endoli organization.
Funding Links: https://github.com/sponsors/waywardmonkeys
- Name: Bruce Mitchener
- Company: @endoli
- Kind: user
- Followers: 223
- Following: 10
- Total stars: 153
- Repositories count: 365
- Created at: 2022-11-02T20:10:55.030Z
- Updated at: 2024-05-01T10:44:09.525Z
- Last synced at: 2024-05-01T10:43:13.334Z
GitHub Sponsors Profile
I've been working in open source for over 20 years.
- Current Sponsors: 0
- Past Sponsors: 0
- Total Sponsors: 0
- Minimum Sponsorship: $10.00
Featured Works
Z3Prover/z3
The Z3 Theorem Prover
Language: C++ - Stars: 10743prove-rs/z3.rs
Rust bindings for the Z3 solver.
Language: Rust - Stars: 380Interlisp/maiko
Medley Interlisp virtual machine
Language: C - Stars: 146endoli/lldb.rs
Higher level LLDB bindings for Rust built on lldb-sys.
Language: Rust - Stars: 58endoli/lldb-sys.rs
LLDB bindings for Rust.
Language: C++ - Stars: 13