- Graz, Austria
- http://thp.im
- @ironcev_
Stars
An open-source remote desktop application designed for self-hosting, as an alternative to TeamViewer.
🌴 Empowering everyone to build reliable and efficient smart contracts.
A markup-based typesetting system that is powerful and easy to learn.
A massively parallel, high-level programming language
⚙️ 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.
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Rhai - An embedded scripting language for Rust.
A command line progress reporting library for Rust
Blazing fast and correct x86/x64 disassembler, assembler, decoder, encoder for Rust, .NET, Java, Python, Lua
Cranelift based backend for rustc
A safe arena allocator that allows deletion without suffering from the ABA problem by using generational indices.
A security-focused static analyzer for Sway written in Rust.
A Solidity to Sway translator written in Rust.
Pint, the constraint-based programming language for declarative blockchains
Compile-time keccak hash generation and H256 initialization