s-tikhomirov / solidity-latex-highlightingView external linksLinks
Include nice-looking Solidity examples into LaTeX files
☆117Jan 21, 2025Updated last year
Alternatives and similar repositories for solidity-latex-highlighting
Users that are interested in solidity-latex-highlighting are comparing it to the libraries listed below
Sorting:
- Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities☆137Dec 7, 2022Updated 3 years ago
- Parses https://eprint.iacr.org/eprint-bin/search.pl?last=365&title=1 and sends you an email with the latest papers☆15Nov 11, 2020Updated 5 years ago
- ☆15May 3, 2019Updated 6 years ago
- ☆15Dec 15, 2021Updated 4 years ago
- An EVM interpreter (wip)☆12Aug 29, 2021Updated 4 years ago
- A proof-of-concept implementation of Submarine Sends for Ethereum☆28Nov 16, 2018Updated 7 years ago
- Visual Studio Code integration for Slither, a Solidity static analysis framework☆35Aug 8, 2025Updated 6 months ago
- Homomorphic Encryption Randomness Beacon☆13Dec 3, 2019Updated 6 years ago
- ☆14Mar 7, 2022Updated 3 years ago
- Mix Network Bibliography☆15Feb 6, 2020Updated 6 years ago
- Small Rust script that cracked Yearn's v2 site password from a hashed copy☆14Dec 7, 2020Updated 5 years ago
- Subset of public audit reports issued by ChainSecurity. For more, please visit:☆29Nov 4, 2023Updated 2 years ago
- Visualize your Aragon DAO Templates☆29Jun 24, 2024Updated last year
- ☆19May 5, 2020Updated 5 years ago
- ☆17Mar 17, 2023Updated 2 years ago
- Repository to verify contributions to the AZTEC Ignition ceremony☆19Mar 31, 2023Updated 2 years ago
- formal verification of multicollateral dai in the K framework☆44Sep 10, 2021Updated 4 years ago
- Website and teaching materials for the book "Architecture for Blockchain Applications", Springer 2019☆16Jan 7, 2024Updated 2 years ago
- A simple and sufficient ERC721 implementation☆21Jul 11, 2022Updated 3 years ago
- ShamirSecretSharing Rust & Go implementation + WASM lib☆18Oct 10, 2021Updated 4 years ago
- Generate Solidity Code from its AST☆15Sep 1, 2016Updated 9 years ago
- An experimental Solidity parser for Python built on top of a robust ANTLR4 grammar 📚☆145Jun 24, 2024Updated last year
- SOLTIX: Scalable automated framework for testing Solidity compilers.☆37Aug 13, 2021Updated 4 years ago
- AppCoins is a blockchain-based protocol for the App Economy supported by the Aptoide App Store, and the first ICO serving 200 million us…☆12May 22, 2018Updated 7 years ago
- Formalization of the Beacon Chain Phase 0 Specification in K☆21Sep 6, 2022Updated 3 years ago
- Profile Solidity gas consumption line-wise.☆23Jun 1, 2021Updated 4 years ago
- Solidity transient storage that's mutable from within a `STATICCALL`☆24May 6, 2025Updated 9 months ago
- ☆11Jul 21, 2023Updated 2 years ago
- A privacy-preserving digital version of punch cards used in store loyalty programs☆11Apr 19, 2021Updated 4 years ago
- GooSig: short signatures from RSA that hide the signer's RSA public key☆12Jan 8, 2020Updated 6 years ago
- State-of-the-art about program verification on Ethereum DApps☆22Dec 6, 2023Updated 2 years ago
- ☆24Mar 8, 2023Updated 2 years ago
- Open source solver to the batch auction problem.☆13Feb 16, 2021Updated 5 years ago
- Efficient zero-knowledge arguments in the discrete log setting, revisited☆16Mar 4, 2020Updated 5 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Aug 31, 2021Updated 4 years ago
- Verify your NIPoPoWs efficiently, here☆11Dec 8, 2022Updated 3 years ago
- A simple P5JSFactory☆12Apr 8, 2023Updated 2 years ago
- ☆10Oct 22, 2019Updated 6 years ago
- Curta Challenge☆16Apr 15, 2023Updated 2 years ago