Passionate software engineer interested in programming languages - their design, analysis and implementation.
-
Oracle Labs
- Brno
- https://d-kozak.github.io/
- https://orcid.org/0000-0002-8846-922X
- in/dkozak94
Block or Report
Block or report d-kozak
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Rust
Sort by: Most stars
9
stars
written in Rust
Clear filter
A fast and secure runtime for WebAssembly
⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
Lucet, the Sandboxing WebAssembly Compiler.
an educational compiler intermediate representation
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
Modular register allocator algorithms