Tak's repositories
IntentCollective
Collective of intent community to keep track of all projects working within this ecosystem.
splash
A decentralized network for sharing offers across the Chia ecosystem
aori-sdk-rs
The Aori Rust SDK for interacting with Aori's Websocket-based API
athenas-consensus
Formal specs & proofs of consensus protocols & other distributed systems concepts. Written in the Athena language
keyper-bridge
Configurable bridge for facilitating easy communication between wallets and dapps
alloy-core
High-performance, well-tested & documented core libraries for Ethereum, in Rust
echidna-forge-halmos-ser
Testing echidna vs. forge fuzzing vs. halmos sym exec vs ser symexec
sui
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
hardcaml
Hardcaml is an OCaml library for designing hardware.
symbolic-stack-machines
Library for building symbolically executable stack-based virtual machines
athena_tutorials
Files for Athena language tutorials
evmodin
Ethereum Virtual Machine implementation
types-and-programming-languages
Code and proofs from Pierce's Types & Programming Languages book, rewritten in Athena language
revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
Lurk.lean
A Lean 4 library for interacting with the Lurk Language
yatima-lang
A verifiable computing language
lurk
Lisp implementation of Lurk.
Functional-Benchmarks
Collection of benchmarks of functional programming languages and proof assistants.
parity-scale-codec
Lightweight, efficient, binary serialization and deserialization codec
go-spacemesh
Go Implementation of the Spacemesh protocol full node. 💾⏰💪
go-spacecraft
A CLI tool to deploy Spacemesh Network on GCP
keyper-web-wallet
Embeddable, keyper protocol compatible iframe wallet with web worker
formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry