Evangelion: 3.0 You Can (Not) Redo. (ヱヴァンゲリヲン新劇場版：Q) translation
☆38Feb 4, 2021Updated 5 years ago
Alternatives and similar repositories for Evangelion--3.0-Translation
Users that are interested in Evangelion--3.0-Translation are comparing it to the libraries listed below
Sorting:
- Pokemon Scarlet&Violet randomizer☆13Jul 19, 2023Updated 2 years ago
- サマーウォーズに登場するOZっぽい何か☆18Oct 30, 2016Updated 9 years ago
- ☆14Aug 19, 2009Updated 16 years ago
- ニコニコ生放送をDocker SwarmからKubernetesへ移行した内容をハンドブックとして公開中。☆30Sep 7, 2024Updated last year
- Web rendering engine for mathematical formulae☆28Jan 16, 2022Updated 4 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- Real-time sensitivity randomizer with a GUI☆10Apr 5, 2021Updated 4 years ago
- FM-index is the fastest full text search algorithm using a compressed index file. This is FM-index for JSX/JS/AMD/Common.js.☆11Nov 9, 2013Updated 12 years ago
- Simple, straightforward MSP430 disassembler and assembler in Python☆14Jul 5, 2023Updated 2 years ago
- Sonic 2 Disassembly☆12Aug 15, 2021Updated 4 years ago
- Environment for injecting code into PMD: Explorers of Sky☆12Feb 12, 2026Updated 3 weeks ago
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- This is a high performance stub server.☆13Sep 3, 2024Updated last year
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- DeSmuME is a Nintendo DS emulator☆10Jun 13, 2021Updated 4 years ago
- Redirect Deno dependencies from semantic versions to the newest fitting version on deno.land/x☆10Jul 23, 2024Updated last year
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Command line tool for working with nus3audio files rewritten in rust☆15Dec 6, 2021Updated 4 years ago
- Eroge Music Quiz☆11Updated this week
- ☆11May 2, 2025Updated 10 months ago
- ☆15Jul 5, 2024Updated last year
- Restoring room images from virtual background images☆44Oct 8, 2021Updated 4 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- ☆13Feb 9, 2023Updated 3 years ago
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Feb 18, 2023Updated 3 years ago
- Custom code loader for the Nintendo Wii U☆13Mar 7, 2022Updated 4 years ago
- ☆11Jul 4, 2022Updated 3 years ago
- this is so dumb☆10Oct 28, 2022Updated 3 years ago
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆11Sep 21, 2023Updated 2 years ago
- A Lean 4 representation of the Rubik's Cube, some proofs about the representation, and a simple solution algorithm.☆11Jul 16, 2025Updated 7 months ago
- ☆13Feb 8, 2026Updated last month
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- A platform for formalizing OEIS sequences in Lean 4☆18Updated this week
- Mini pixel animation editor for the floor796.com project☆14Dec 18, 2024Updated last year
- ☆17Feb 11, 2024Updated 2 years ago
- Gofind is a small cli program for quickly finding and searching directories using the producer/consumer pattern.☆11Oct 20, 2025Updated 4 months ago
- Official Java SDK for Momento Serverless Cache☆13Feb 5, 2026Updated last month
- Basic Unicode support for Lean 4☆15Updated this week
- Decompilation of the Eft library from NintendoWare for Cafe (Wii U)☆12Jan 15, 2022Updated 4 years ago