Pinned Repositories
athena
Athena is a modern, practical language for proof engineering & natural deduction.
algorithmic_acrobatics
Exercises to practice the following: Dynamic Programming, backtracking, recursion, linked lists, binary trees, stacks and queues, sorting, Divide and conquer, search, and pointer based solutions
athenas-consensus
Formal specs & proofs of consensus protocols & other distributed systems concepts. Written in the Athena language
ckb-script-setup
Companion repo to workshop I gave on building tokens with CKB
evm-cfg-rs
Implementation of CFG generation based on EtherSolve paper
formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
ser
Symbolic EVM in Rust (WIP)
symbolic-stack-machines
Library for building symbolically executable stack-based virtual machines
token_mint
Web app for interacting with User Defined Tokens on Nervos Network's CKB Blockchain
types-and-programming-languages
Code and proofs from Pierce's Types & Programming Languages book, rewritten in Athena language
WilfredTA's Repositories
WilfredTA/ser
Symbolic EVM in Rust (WIP)
WilfredTA/symbolic-stack-machines
Library for building symbolically executable stack-based virtual machines
WilfredTA/keyper-bridge
Configurable bridge for facilitating easy communication between wallets and dapps
WilfredTA/keyper-web-wallet
Embeddable, keyper protocol compatible iframe wallet with web worker
WilfredTA/types-and-programming-languages
Code and proofs from Pierce's Types & Programming Languages book, rewritten in Athena language
WilfredTA/athenas-consensus
Formal specs & proofs of consensus protocols & other distributed systems concepts. Written in the Athena language
WilfredTA/alloy-core
High-performance, well-tested & documented core libraries for Ethereum, in Rust
WilfredTA/anemo
WilfredTA/aori-sdk-rs
The Aori Rust SDK for interacting with Aori's Websocket-based API
WilfredTA/athena_tutorials
Files for Athena language tutorials
WilfredTA/echidna-forge-halmos-ser
Testing echidna vs. forge fuzzing vs. halmos sym exec vs ser symexec
WilfredTA/evcxr
WilfredTA/evmodin
Ethereum Virtual Machine implementation
WilfredTA/Functional-Benchmarks
Collection of benchmarks of functional programming languages and proof assistants.
WilfredTA/go-spacecraft
A CLI tool to deploy Spacemesh Network on GCP
WilfredTA/go-spacemesh
Go Implementation of the Spacemesh protocol full node. 💾⏰💪
WilfredTA/hardcaml
Hardcaml is an OCaml library for designing hardware.
WilfredTA/hvm-core
WilfredTA/IntentCollective
Collective of intent community to keep track of all projects working within this ecosystem.
WilfredTA/Interaction-Type-Theory
WilfredTA/lurk
Lisp implementation of Lurk.
WilfredTA/Lurk.lean
A Lean 4 library for interacting with the Lurk Language
WilfredTA/move
WilfredTA/parity-scale-codec
Lightweight, efficient, binary serialization and deserialization codec
WilfredTA/revm
Revolutionary Machine (revm) is a fast Ethereum virtual machine written in rust.
WilfredTA/splash
A decentralized network for sharing offers across the Chia ecosystem
WilfredTA/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
WilfredTA/v3-core-public
WilfredTA/wise-contracts
Library for high level formal specification of smart contract behavior
WilfredTA/yatima-lang
A verifiable computing language