Lists (6)
Starred repositories
mirror: GC implementation in Rust: http://ts.data61.csiro.au/publications/nictaabstracts/Lin_BHN_16.abstract.pml
A garden of small programming language implementations 🪴
Rapira: a post-modern PHP application server created by the RoadRunner maintainers with ❤️
A string type for Rust that is not required to be valid UTF-8.
Echo is a statically typed, natively compiled language with PHP-flavoured syntax.
Formal verification tool for Rust: check 100% of execution cases of your programs to make safer applications.
CakePHP coding-standard compatibility rules and formatter preset for Mago
PubGrub version solving algorithm implemented in Rust
An embeddable, portable, branchable virtual machine to safely run Agents locally.
Optimizer and compiler/toolchain library for WebAssembly
A repository for the stack switching proposal.
pure rust io_uring library, built on libc, thread & async friendly, misuse resistant
Trait per function for system related functionality.
Comprehensable Composer PHP dependency diagrams for your small business or enterprise.
A fast experimental PHP static analyzer written in Rust, a port of Psalm
A hardware pedal for improved text editing in Vim
Scan your Rust crate for semver violations.
Suffete: the Carthaginian high magistrate, the judge of the city. The thing that decides whether what stands before it is sound.