☆40Feb 24, 2025Updated last year
Alternatives and similar repositories for dvdtyp
Users that are interested in dvdtyp are comparing it to the libraries listed below
Sorting:
- A formal specification of the Yul IR semantics in the Lean proof assistant.☆14Jun 20, 2025Updated 8 months ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 5 months ago
- ☆10May 18, 2023Updated 2 years ago
- The set of released emails of Jeffrey Epstein processed into an Obsidian Vault using the Obsidian Importer plugin an Claude Code.☆25Nov 15, 2025Updated 3 months ago
- ☆11Aug 4, 2021Updated 4 years ago
- 🎮 Real-time game subtitle translator with AI-powered OCR. Context-aware translation for 20+ languages. Free offline models + dirt cheap …☆32Feb 20, 2026Updated last week
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- Assistant/watchdog for Counterstake Bridge https://counterstake.org☆13Dec 26, 2025Updated 2 months ago
- Documentation☆10Jan 29, 2026Updated last month
- Probably Nothing☆12May 23, 2022Updated 3 years ago
- Profitable MT5 Expert Advisors☆21Feb 22, 2026Updated last week
- A recreation of the Amadeus in steins;gate 0, more specifically the desktop version of Amadeus in Viktor chondria univiersity, I tried to…☆22Jul 28, 2025Updated 7 months ago
- ☆12May 24, 2025Updated 9 months ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- It's Uniswap in a Box!☆13Jan 31, 2022Updated 4 years ago
- ☆12Feb 3, 2022Updated 4 years ago
- ☆13Feb 2, 2021Updated 5 years ago
- Easy to use Hevm cheatcodes contract☆12Feb 24, 2022Updated 4 years ago
- ☆11Sep 12, 2022Updated 3 years ago
- Curta Challenge☆16Apr 15, 2023Updated 2 years ago
- Script(s) to interact with gp-v2-contracs☆15Jul 31, 2025Updated 7 months ago
- Ray Marching with Typst (a PDF composing language)☆15May 7, 2025Updated 9 months ago
- Efficient-Gas Fixed-Point Mathematical Functions for Solidity☆11Nov 1, 2019Updated 6 years ago
- LCA as Code - Domain-Specific Language for Life-Cycle Analysis☆15Oct 1, 2025Updated 5 months ago
- A simple P5JSFactory☆12Apr 8, 2023Updated 2 years ago
- My solutions for Advent of Code.☆11Dec 23, 2025Updated 2 months ago
- Generalised ERC721 Auction House☆12Dec 16, 2021Updated 4 years ago
- OCaml and Rust-style exhaustive exception handling for Python.☆34Jan 2, 2026Updated 2 months ago
- Start a Hardhat Network node from the command line☆12Oct 1, 2021Updated 4 years ago
- A CLI to convert PNG images to Box2D shape data☆11Sep 2, 2021Updated 4 years ago
- A Dashed Container plugin for Flutter, easy to implement dashed line for your widgets☆14May 8, 2021Updated 4 years ago
- ☆12Mar 11, 2022Updated 3 years ago
- Automatically translate language file using google or yandex translator☆11Jun 2, 2022Updated 3 years ago
- Version control for my thesis conducted during the 10th semester in Electrical & Computer Engineering at Aristotle University of Thessalo…☆11Jun 26, 2018Updated 7 years ago
- A very simple router to exchange tokens for the best price on any UniswapV2 like AMM.☆14Aug 31, 2021Updated 4 years ago
- OpenZeppelin patch module for Optimism☆11Mar 26, 2021Updated 4 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆17Oct 6, 2023Updated 2 years ago
- A collaborative bibliography of papers related to property-based testing☆16Feb 23, 2026Updated last week
- A CLI for Ethereum with a focus on portability☆10Jun 13, 2023Updated 2 years ago