This is a list of most* of my public Pull Requests (i.e. code contributions) on GitHub.com.
It's only purpose is to keep the repository list clean in the main account.
* — some are done directly in my repo's or repos transfered somewhere from my account originally.
A blazingly fast JSON serializing & deserializing library. Assembly plus Go language.
MetaCall: The ultimate polyglot programming experience.
TSA - Symbolic analyzer for TVM (The Open Network Virtual Machine) based on USVM.
Rust for native business logic, Flutter for flexible and beautiful GUI
Experimental Rust tool for generating FFI definitions allowing many other languages to call Rust code
Typeshare is the ultimate tool for synchronizing your type definitions between Rust and other languages for seamless FFI.
Flutter/Dart <-> Rust binding generator, feature-rich, but seamless and simple.
Defines a common protocol for language servers. See the gh-pages/_specifications/lsp/3.17/metaModel for the metaModel.json
The Lean (Theorem Prover) Language Reference Manual
Resilient LL(1) parser generator for Rust inspired by matklad's work
This organization has no public members. You must be a member to see who’s a part of this organization.
Loading…
Loading…