wolflo / k-brainfuck-semanticsLinks
Formal semantics of the Brainfuck language in K
☆12Updated 4 years ago
Alternatives and similar repositories for k-brainfuck-semantics
Users that are interested in k-brainfuck-semantics are comparing it to the libraries listed below
Sorting:
- ☆13Updated 2 years ago
- SUPERCEDED by ricobank/multifab☆20Updated 3 years ago
- Vyper Mutation Testing Framework☆17Updated 2 years ago
- A Hardhat plugin that uses Warp to bring Solidity contracts to StarkNet☆19Updated 3 weeks ago
- ☆12Updated 3 years ago
- etk-Foundry project template☆21Updated 2 years ago
- Official Foundry landing page☆16Updated 2 years ago
- My playgrounderino for starkneterino☆13Updated 3 years ago
- Ergonomic alternative to `approve`/`transferFrom` -- flash loans without external calls☆18Updated 3 years ago
- Experiments for "Goldfish: No More Attacks on Proof-of-Stake Ethereum"☆13Updated 2 years ago
- Implementation of a faucet in Huff with differential fuzzing vs solidity☆14Updated 2 years ago
- ☆12Updated 2 years ago
- ☆11Updated 3 years ago
- zkSNARK implementation in JavaScript & WASM☆15Updated 2 years ago
- ☆16Updated 2 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆19Updated 10 months ago
- Just testing, nothing to see here.☆13Updated 3 years ago
- ☆21Updated last year
- ☆13Updated 4 years ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 2 years ago
- Github action to run huff test files☆14Updated 2 years ago
- Curta Challenge☆16Updated 2 years ago
- rollup node experiments☆15Updated 3 years ago
- Go library to access the blockchain state of Go-ethereum☆16Updated 2 years ago
- Library that implements Celo precompiles for Foundry tests☆11Updated 11 months ago
- ☆12Updated 4 years ago
- shipit☆13Updated 2 years ago
- ☆16Updated 2 years ago
- DELEGATECALL-safe multi-owner auth☆12Updated 3 years ago
- ☆12Updated 3 years ago