hackphobic
Follow
-
-
awesome-rust-formalized-reasoning Public
Forked from newca12/awesome-rust-formalized-reasoningAn exhaustive list of all Rust resources regarding automated or semi-automated formalization efforts in any area, constructive mathematics, formal algorithms, and program verification.
MIT License UpdatedOct 1, 2023 -
RustQuant Public
Forked from avhz/RustQuantRust library for quantitative finance.
Rust GNU General Public License v3.0 UpdatedAug 4, 2023 -
clockwork-examples Public
Forked from clockwork-xyz/examplesAutomated smart-contracts built with the Clockwork SDK
Rust UpdatedMay 15, 2023 -
-
rust-blog Public
Forked from pretzelhammer/rust-blogEducational blog posts for Rust beginners
Rust Apache License 2.0 UpdatedMay 11, 2023 -
solana-arbitrage-bot Public
Forked from 0xNineteen/solana-arbitrage-botsolana arbitrage bot across multiple spot dexs
Rust MIT License UpdatedApr 10, 2023 -
validated-streams Public
Forked from comrade-coop/validated-streamsRust MIT License UpdatedApr 4, 2023 -
scynet Public
Forked from comrade-coop/scynetDecentralized network for creating and training autonomous AI agents
Kotlin UpdatedMar 24, 2023 -
-
flash-loan-mastery Public
Forked from moshthepitt/flash-loan-masterySimple and best Solana flash loan program :)
TypeScript Apache License 2.0 UpdatedFeb 6, 2023 -
sealevel-attacks Public
Forked from coral-xyz/sealevel-attacks☠️ Common Security Exploits and Protections on Solana
Rust UpdatedFeb 3, 2023 -
-
olympus-v3 Public
Forked from OlympusDAO/olympus-v3Olympus V3 smart contracts
Solidity UpdatedDec 16, 2022 -
holochain Public
Forked from holochain/holochainThe new, performant, and simplified version of Holochain on Rust (sometimes called Holochain RSM for Refactored State Model)
Rust Other UpdatedNov 24, 2022 -
helios Public
Forked from a16z/heliosA fast, secure, and portable light client for Ethereum
Rust MIT License UpdatedNov 23, 2022 -
centauri Public
Forked from ComposableFi/composable-ibcA trustless, cross-chain bridging protocol.
Rust UpdatedNov 17, 2022 -
-
near-rs Public
Forked from ComposableFi/near-rsUtilities that faciliatate a trust-less bridge between Near and Polkadot
Rust The Unlicense UpdatedOct 31, 2022 -
pirouette Public
Forked from tweag/pirouetteLanguage-generic workbench for building static analysis
Haskell MIT License UpdatedOct 27, 2022 -
frabric Public
Forked from fractional-finance/Weavr-ProtocolSmart Contracts that define Frabric, used by WeavrDAO
Solidity GNU Affero General Public License v3.0 UpdatedOct 10, 2022 -
tinyram Public
Forked from Orbis-Tertius/tinyramA vnTinyRAM emulator.
Haskell Apache License 2.0 UpdatedSep 29, 2022 -
tiny-ram-halo2 Public
Forked from Orbis-Tertius/tiny-ram-halo2A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program executions.
Rust Apache License 2.0 UpdatedSep 21, 2022 -
plutarch-core Public
Forked from Plutonomicon/plutarch-corePlutarch 2.0
Haskell MIT License UpdatedSep 15, 2022 -
plutarch-plutus Public
Forked from Plutonomicon/plutarch-plutusTyped eDSL for writing UPLC /ˈpluː.tɑːk/
Haskell MIT License UpdatedSep 15, 2022 -
bee Public
Forked from iotaledger/beeA framework for IOTA nodes, clients and applications in Rust
Rust Apache License 2.0 UpdatedSep 13, 2022 -
tinyram-toolchain Public
Forked from Orbis-Tertius/tinyram-toolchainUntyped Plutus Core to C compiler (WIP).
C UpdatedSep 8, 2022 -
muesliswap-myield-contracts Public
Forked from MuesliSwapTeam/muesliswap-myield-contractsSmart contracts defining minting conditions for Muesli Yield - the official yield farming reward token of MuesliSwap.
Haskell UpdatedAug 29, 2022 -
Symmetric-Interaction-Calculus Public
Forked from VictorTaelin/Interaction-CalculusA programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.
Rust MIT License UpdatedAug 18, 2022 -
haskell-fri-proofs Public
Forked from Orbis-Tertius/haskell-fri-proofsWIP: FRI-based ZKPs in Haskell
Haskell Apache License 2.0 UpdatedAug 10, 2022