-
pallas Public
Forked from txpipe/pallasRust-native building blocks for the Cardano blockchain ecosystem
Rust Apache License 2.0 UpdatedDec 29, 2025 -
cardano-multiplatform-lib Public
Forked from dcSpark/cardano-multiplatform-libRust implementation of Cardano
-
-
blockfrost-rust Public
Forked from Bromel777/blockfrost-rustRust SDK for Blockfrost.io
Rust Apache License 2.0 UpdatedJan 30, 2025 -
merkle-patricia-forestry Public
Forked from aiken-lang/merkle-patricia-forestry🌳 Libraries (Aiken & Node.js) for working with Merkle Patricia Tries on Cardano.
JavaScript Mozilla Public License 2.0 UpdatedJan 13, 2025 -
atomic-waker-broadcast Public
Forked from smol-rs/atomic-wakerBroadcast version of futures::task::AtomicWaker extracted into its own crate
-
raydium-clmm Public
Forked from raydium-io/raydium-clmmOpen-Source Concentrated Liquidity Market Maker
-
rust-sdk Public
Forked from maestro-org/maestro-cardano-rust-sdkRust SDK for the Maestro Dapp Platform
Rust Apache License 2.0 UpdatedOct 27, 2024 -
rocks4cats Public
RocksDB client build on top of CE2 and RocksDB JNI
-
stdlib Public
Forked from aiken-lang/stdlibThe Aiken Standard Library
Gleam Apache License 2.0 UpdatedDec 30, 2023 -
-
yoroi-frontend Public
Forked from Emurgo/yoroi-frontendYoroi Wallet - Cardano ADA Wallet - Your gateway to the financial world (extension frontend)
JavaScript MIT License UpdatedApr 2, 2023 -
rust-libp2p Public
Forked from libp2p/rust-libp2pThe Rust Implementation of the libp2p networking stack.
Rust MIT License UpdatedNov 3, 2022 -
-
cardano-node Public
Forked from IntersectMBO/cardano-nodeThe core component that is used to participate in a Cardano decentralised blockchain.
Haskell Apache License 2.0 UpdatedOct 30, 2021 -
-
sequoia-ci Public
An experimental CI server in Haskell
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 6, 2021 -
csclub-coq-course-spring-2021 Public
Forked from anton-trunov/csclub-coq-course-spring-2021A course on formal verification at https://compsciclub.ru/en, Spring term 2021
JavaScript UpdatedApr 5, 2021 -
tofu Public
Forked from tofu-tf/tofuFunctional programming toolbox https://tinkoffcreditsystems.github.io/tofu
Scala Apache License 2.0 UpdatedSep 15, 2020 -
binance-aggregator Public
Demo project showcasing ToFu Streams application
-
scilla-coq Public
Forked from Zilliqa/scilla-coqState-Transition Systems for Smart Contracts
Coq BSD 2-Clause "Simplified" License UpdatedSep 3, 2020 -
fs2 Public
Forked from typelevel/fs2Compositional, streaming I/O library for Scala
Scala Other UpdatedJul 2, 2020 -
redis4cats Public
Forked from profunktor/redis4cats💾 Redis client built on top of Cats Effect, Fs2 and Lettuce
Scala Apache License 2.0 UpdatedMar 10, 2020 -
-
ergo-tg Public
Ergo wallet for Telegram messenger
-
-
-
-
-
{{ message }}