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

• SlashNephy / annict-profile-card

  View on GitHub
  🔭 Annict での今期の視聴状況を SVG 画像として出力するサーバ (WIP)
  ☆19Dec 29, 2025Updated last month
• come25136 / OZtter

  View on GitHub
  サマーウォーズに登場するOZっぽい何か
  ☆18Oct 30, 2016Updated 9 years ago
• uemurax / hott-ja

  View on GitHub
  HoTT in Japanese
  ☆36Oct 1, 2023Updated 2 years ago
• DrMelon / s2disasm

  View on GitHub
  Sonic 2 Disassembly
  ☆12Aug 15, 2021Updated 4 years ago
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• SkyTemple / c-of-time

  View on GitHub
  Environment for injecting code into PMD: Explorers of Sky
  ☆12Jan 19, 2025Updated last year
• shibukawa / fm-index.jsx

  View on GitHub
  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
• uetchy / badge-api

  View on GitHub
  Extra badges for App Store, Product Hunt and Hatena bookmarks
  ☆11Sep 21, 2023Updated 2 years ago
• revoltchat / components

  View on GitHub
  Components library for Revolt.
  ☆10Jun 11, 2023Updated 2 years ago
• proost-assistant / ProostLean

  View on GitHub
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Mar 3, 2024Updated last year
• aboood40091 / CafeLoader

  View on GitHub
  Custom code loader for the Nintendo Wii U
  ☆13Mar 7, 2022Updated 3 years ago
• fgdorais / lean4-unicode-basic

  View on GitHub
  Basic Unicode support for Lean 4
  ☆15Updated this week
• m4lvin / tablean

  View on GitHub
  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
• yue4u / zf

  View on GitHub
  ☆13Feb 9, 2023Updated 3 years ago
• yabaitechtokyo / satysfi-derive

  View on GitHub
  SATySFi commands and DSL for displaying derivation trees with maintainable code
  ☆11Jan 2, 2021Updated 5 years ago
• eggplants / ghitter

  View on GitHub
  GitHub as a SNS
  ☆10Jan 11, 2023Updated 3 years ago
• provables / sequencelib

  View on GitHub
  A platform for formalizing OEIS sequences in Lean 4
  ☆18Updated this week
• mkdasher / desmume-widescreen

  View on GitHub
  DeSmuME is a Nintendo DS emulator
  ☆10Jun 13, 2021Updated 4 years ago
• eniehack / scrapbox-planetarium

  View on GitHub
  visualize link relations on scrapbox's project
  ☆10Sep 7, 2025Updated 5 months ago
• flesler / lucky

  View on GitHub
  CLI tool to measure the state of your luck, at the moment
  ☆11Oct 19, 2015Updated 10 years ago
• Ziphil / Zenml

  View on GitHub
  TypeScript implementation of ZenML parser and XML manipulation utilities
  ☆10Feb 18, 2023Updated 2 years ago
• devkitPro / devkitarm-rules

  View on GitHub
  ☆11May 2, 2025Updated 9 months ago
• YuheiNakasaka / sb2md-rs

  View on GitHub
  ☆11Jul 4, 2022Updated 3 years ago
• mertvn / EMQ

  View on GitHub
  Eroge Music Quiz
  ☆11Updated this week
• AlexDuchnowski / rubiks-cube

  View on GitHub
  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
• saschaklatt / gridl

  View on GitHub
  2D grid utilities
  ☆13Mar 5, 2023Updated 2 years ago
• plutooo / ctr

  View on GitHub
  Tools for the Nintendo 3DS
  ☆10Apr 16, 2014Updated 11 years ago
• solaoi / broly

  View on GitHub
  This is a high performance stub server.
  ☆14Sep 3, 2024Updated last year
• tfpk / mdbook-keeper

  View on GitHub
  ☆17Feb 11, 2024Updated 2 years ago
• cybozu / renovate-config

  View on GitHub
  A shareable Renovate config for Cybozu
  ☆11Updated this week
• open-ead / NW4F-Eft

  View on GitHub
  Decompilation of the Eft library from NintendoWare for Cafe (Wii U)
  ☆12Jan 15, 2022Updated 4 years ago
• T-Brick / DateTime

  View on GitHub
  DateTime package for Lean 4
  ☆17Feb 28, 2024Updated last year
• winston0410 / mkNodePackage

  View on GitHub
  A helper flake for building Node.js package easily with Nix.
  ☆10Oct 9, 2021Updated 4 years ago
• momentohq / client-sdk-java

  View on GitHub
  Official Java SDK for Momento Serverless Cache
  ☆13Feb 5, 2026Updated last week
• alerad / leancert

  View on GitHub
  Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked
  ☆32Feb 9, 2026Updated last week
• eritbh / amogus-xy

  View on GitHub
  this is so dumb
  ☆10Oct 28, 2022Updated 3 years ago
• wiiu-env / MemoryMappingModule

  View on GitHub
  ☆15Jul 5, 2024Updated last year
• konn / ghc-wasm-earthly

  View on GitHub
  GHC WASM backend made easy to use for platforms without precompiled bindists powered by Earthly
  ☆14Apr 19, 2025Updated 9 months ago
• leff / markdown-it-named-headers

  View on GitHub
  Plugin for markdown-it markdown parser. Adds name attributes to header tags in output.
  ☆13Jul 14, 2017Updated 8 years ago