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:
- Curta Challenge☆16Updated 2 years ago
- ☆13Updated 2 years ago
- optimized huff snippets☆20Updated 2 years ago
- ☆21Updated last year
- Go library to access the blockchain state of Go-ethereum☆16Updated 2 years ago
- Official Foundry landing page☆16Updated 2 years ago
- Delegatecall from any contract. A kind of vm.prank for delegatecalls.☆19Updated 9 months ago
- Asynchronous runtime abstractions for implicit function decoloring.☆12Updated last year
- SUPERCEDED by ricobank/multifab☆20Updated 2 years ago
- A set of tools for use with the huff language.☆21Updated 3 years ago
- a rust SDK for the gelato relay, using ethers-rs☆31Updated 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
- ☆11Updated 2 years ago
- Implementation of a faucet in Huff with differential fuzzing vs solidity☆14Updated 2 years ago
- Using various tools to rediscover popsicle exploit☆15Updated 3 years ago
- An end to end test suite for the OP Stack☆17Updated 2 years ago
- Just testing, nothing to see here.☆13Updated 3 years ago
- ☆19Updated 3 years ago
- Better assertion macros for pure Huff tests.☆19Updated last year
- A Two-Step Transfer Ownable contract implemented in Huff.☆16Updated 2 years ago
- Smart contract audit / optimization reports generated by solstat.☆14Updated 2 years ago
- ☆12Updated 3 years ago
- ☆35Updated 2 years ago
- Vyper Mutation Testing Framework☆17Updated 2 years ago
- Vote-escrowed SUSHI built on ERC-4626 vault standard.☆15Updated 3 years ago
- EthernautDAO reputation system☆13Updated 3 years ago
- On-Chain Experiment Hub☆14Updated 3 years ago
- ☆23Updated 2 years ago
- ☆12Updated 3 years ago