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