Pinned Repositories
_-Language-Iota-Combinator-
A minialist language that uses only one combinator.
abrasyntax
algorust
Algorand client implementation with rust
antenna
Anxiety
SE framework
arithmetic-circuits
Arithmetic circuits for zero knowledge proof systems
awesome-ethereum-security
A curated list of awesome Ethereum security references
awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
hackphobic's Repositories
hackphobic/antenna
hackphobic/awesome-rust-formalized-reasoning
An exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
hackphobic/bee
A framework for IOTA nodes, clients and applications in Rust
hackphobic/centauri
A trustless, cross-chain bridging protocol.
hackphobic/clockwork-examples
Automated smart-contracts built with the Clockwork SDK
hackphobic/FAI
A stablecoin impletion in Move
hackphobic/flash-loan-mastery
Simple and best Solana flash loan program :)
hackphobic/frabric
Smart Contracts that define Frabric, used by WeavrDAO
hackphobic/haskell-fri-proofs
WIP: FRI-based ZKPs in Haskell
hackphobic/helios
A fast, secure, and portable light client for Ethereum
hackphobic/holochain
The new, performant, and simplified version of Holochain on Rust (sometimes called Holochain RSM for Refactored State Model)
hackphobic/muesliswap-myield-contracts
Smart contracts defining minting conditions for Muesli Yield - the official yield farming reward token of MuesliSwap.
hackphobic/near-rs
Utilities that faciliatate a trust-less bridge between Near and Polkadot
hackphobic/olympus-v3
Olympus V3 smart contracts
hackphobic/oxylana
hackphobic/pirouette
Language-generic workbench for building static analysis
hackphobic/plutarch-core
Plutarch 2.0
hackphobic/plutarch-plutus
Typed eDSL for writing UPLC /ˈpluː.tɑːk/
hackphobic/plutonomicon
Advanced techniques in the plutus smart contract language
hackphobic/rust-blog
Educational blog posts for Rust beginners
hackphobic/RustQuant
Rust library for quantitative finance.
hackphobic/scynet
Decentralized network for creating and training autonomous AI agents
hackphobic/sealevel-attacks
☠️ Common Security Exploits and Protections on Solana
hackphobic/sol-dioxus-app
hackphobic/solana-arbitrage-bot
solana arbitrage bot across multiple spot dexs
hackphobic/Symmetric-Interaction-Calculus
A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
hackphobic/tiny-ram-halo2
A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.
hackphobic/tinyram
A vnTinyRAM emulator.
hackphobic/tinyram-toolchain
Untyped Plutus Core to C compiler (WIP).
hackphobic/validated-streams