-
wise-contracts Public
Library for high level formal specification of smart contract behavior
UpdatedJul 14, 2024 -
IntentCollective Public
Forked from EnsoFinance/IntentCollectiveCollective of intent community to keep track of all projects working within this ecosystem.
UpdatedMay 1, 2024 -
splash Public
Forked from dexie-space/splashA decentralized network for sharing offers across the Chia ecosystem
Rust MIT License UpdatedJan 17, 2024 -
aori-sdk-rs Public
Forked from ConnorMJones/aori-rsThe Aori Rust SDK for interacting with Aori's Websocket-based API
Rust MIT License UpdatedJan 10, 2024 -
-
athenas-consensus Public
Formal specs & proofs of consensus protocols & other distributed systems concepts. Written in the Athena language
UpdatedNov 3, 2023 -
keyper-bridge Public
Configurable bridge for facilitating easy communication between wallets and dapps
-
alloy-core Public
Forked from alloy-rs/coreHigh-performance, well-tested & documented core libraries for Ethereum, in Rust
Rust Apache License 2.0 UpdatedSep 29, 2023 -
-
Interaction-Type-Theory Public
Forked from eduhenke/Interaction-Type-TheoryRust MIT License UpdatedAug 9, 2023 -
-
-
echidna-forge-halmos-ser Public
Forked from clabby/echidna-vs-forgeTesting echidna vs. forge fuzzing vs. halmos sym exec vs ser symexec
Solidity UpdatedDec 20, 2022 -
sui Public
Forked from MystenLabs/suiSui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Rust Apache License 2.0 UpdatedDec 13, 2022 -
-
hardcaml Public
Forked from janestreet/hardcamlHardcaml is an OCaml library for designing hardware.
OCaml MIT License UpdatedDec 12, 2022 -
symbolic-stack-machines Public
Library for building symbolically executable stack-based virtual machines
-
-
evmodin Public
Forked from vorot93/evmodinEthereum Virtual Machine implementation
Rust UpdatedOct 13, 2022 -
Code and proofs from Pierce's Types & Programming Languages book, rewritten in Athena language
1 UpdatedOct 13, 2022 -
revm Public
Forked from bluealloy/revmRevolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
Rust MIT License UpdatedOct 12, 2022 -
Lurk.lean Public
Forked from argumentcomputer/Lurk.leanA Lean 4 library for interacting with the Lurk Language
Lean MIT License UpdatedOct 12, 2022 -
yatima-lang Public
Forked from argumentcomputer/yatimaA verifiable computing language
Lean MIT License UpdatedOct 11, 2022 -
lurk Public
Forked from argumentcomputer/lurk-lispLisp implementation of Lurk.
Common Lisp MIT License UpdatedOct 10, 2022 -
Functional-Benchmarks Public
Forked from algebraic-dev/functional-benchmarksCollection of benchmarks of functional programming languages and proof assistants.
JavaScript UpdatedSep 7, 2022 -
parity-scale-codec Public
Forked from paritytech/parity-scale-codecLightweight, efficient, binary serialization and deserialization codec
Rust Apache License 2.0 UpdatedAug 23, 2022 -
go-spacemesh Public
Forked from spacemeshos/go-spacemeshGo Implementation of the Spacemesh protocol full node. 💾⏰💪
Go MIT License UpdatedAug 4, 2022 -
go-spacecraft Public
Forked from spacemeshos/go-spacecraftA CLI tool to deploy Spacemesh Network on GCP
Go Apache License 2.0 UpdatedAug 3, 2022 -
keyper-web-wallet Public
Embeddable, keyper protocol compatible iframe wallet with web worker
-
{{ message }}