Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by pirapira
A curated list of projects in awesome lists by pirapira .
https://github.com/pirapira/bamboo
Bamboo see https://github.com/cornellblockchain/bamboo
bamboo ethereum ethereum-contract evm language programming-language
Last synced: 06 Jan 2025
https://github.com/pirapira/ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
Last synced: 10 Dec 2024
https://github.com/pirapira/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
Last synced: 10 Dec 2024
https://github.com/pirapira/coq2rust
Coq to Rust program extraction. The whole tree is on the original Coq code base.
Last synced: 31 Oct 2024
https://github.com/pirapira/evmverif
An EVM code verification framework in Coq
Last synced: 22 Oct 2024
https://github.com/pirapira/dry-analyzer
Dr. Y's Ethereum Contract Analyzer
Last synced: 22 Oct 2024
https://github.com/pirapira/vmtrace_visualizer
A program that annotates a vm trace with dataflow information
Last synced: 22 Oct 2024
https://github.com/pirapira/ethereum-word-list
Words are Hard: Defining Common Terms in the Ethereum / Crypto Space
Last synced: 10 Dec 2024
https://github.com/pirapira/gohantabeyo
Gohantabeyo is a web site where people can make a wish whom they want to eat out with. If the other makes a similar wish, their wishes are told to both.
Last synced: 23 Oct 2024
https://github.com/pirapira/cbc_casper
Isabelle formalization of binary consensus
Last synced: 11 Dec 2024
https://github.com/pirapira/token_why3
A Why3 modelling of a token contract
Last synced: 15 Dec 2024
https://github.com/pirapira/js-graph-it-with-containers
a fork of http://js-graph-it.sourceforge.net/
Last synced: 15 Dec 2024
https://github.com/pirapira/verbose-code-reading
Verboselly Logged Code Reading
Last synced: 15 Dec 2024
https://github.com/pirapira/salary-nego
Salary negotiation app on the Nexus zkVM
Last synced: 15 Dec 2024
https://github.com/pirapira/ethereum-formal-list
A list of formal method applications on smart contracts
Last synced: 15 Dec 2024
https://github.com/pirapira/waitfree
A combinator library for asynchronous waitfree computation among forkIO threads.
Last synced: 15 Dec 2024
https://github.com/pirapira/lifepicker
A randomized activity picker for your 5 minites
Last synced: 15 Dec 2024
https://github.com/pirapira/minus-minus-solidity
A Solidity subset with random program generator
Last synced: 15 Dec 2024
https://github.com/pirapira/hashprice
A Yesod application that shows the current price of one hash in bitcoin mining.
Last synced: 15 Dec 2024
https://github.com/pirapira/git-repo-sample
a sample for checking github features
Last synced: 15 Dec 2024
https://github.com/pirapira/solgen
Generates a random Solidity code that should compile
Last synced: 15 Dec 2024
https://github.com/pirapira/rust-file-example
A simple pair of rust programs that writes to and read from a file.
Last synced: 15 Dec 2024