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/formal-methods-curriculum
Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry
WilfredTA/evm-cfg-rs
Implementation of CFG generation based on EtherSolve paper
WilfredTA/trampoline-rs
Fullstack development framework for UTXO-based dapps on Nervos Network
WilfredTA/act
Smart contract specification language
WilfredTA/cAPI
Concepts as APIs with Programmable Interfaces (or apps as stored knowledge for more flexible knowledge management & communication)
WilfredTA/docker-env-athena
WilfredTA/mkr-vestrs
Simple utility for interacting with dss-vest award contracts
WilfredTA/proof-programming
Proofs as programs using Athena proof language based on many-sorted FOL
WilfredTA/ckb-standalone-types
WilfredTA/ckb-std
This library contains serveral modules that could help you write CKB contract with Rust.
WilfredTA/Comparison-of-Proof-Assistants
WilfredTA/erc20_model
Formal model of ERC20 & specific erc20 implementations in K
WilfredTA/ethers-rs
Complete Ethereum & Celo library and wallet implementation in Rust. https://docs.rs/ethers
WilfredTA/evmodin-test
WilfredTA/fe
Emerging smart contract language for the Ethereum blockchain.
WilfredTA/foundry
A drop-in replacement for `dapp` and `seth` in Rust
WilfredTA/geb-simulations
Simulation code for a GEB system
WilfredTA/iamm_sdk
WilfredTA/k-experiments
WilfredTA/klee
KLEE Symbolic Execution Engine
WilfredTA/libra
WilfredTA/lighthouse
Ethereum consensus client in Rust
WilfredTA/lil-web3
Simple, intentionally-limited versions of web3 protocols & apps.
WilfredTA/mkr-mcd-spec
High level KSpecification for the MCD System by Runtime Verification and Maker Foundation
WilfredTA/NexisDao-core
WilfredTA/pw-lock
A ckb lock script which can make use of other blockchain wallets as ckb wallets.
WilfredTA/riscv
Low level access to RISC-V processors
WilfredTA/rust-verification-tools
RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.
WilfredTA/svm
SVM - Spacemesh Virtual Machine
WilfredTA/t_nft
Implementation of tNFT standard - simple & flexible nft standard for CKB