Alternatives and similar repositories for uchugo-fonts

Users that are interested in uchugo-fonts are comparing it to the libraries listed below

• eggplants / ghitter

  View on GitHub
  GitHub as a SNS
  ☆10Jan 11, 2023Updated 3 years ago
• mizchi / frontend-deno

  View on GitHub
  ☆11Dec 16, 2021Updated 4 years ago
• eiurur / zoi

  View on GitHub
  ganbaru zoi!
  ☆28May 31, 2023Updated 2 years ago
• sadnessOjisan / HelloWorldEnterpriseEdition

  View on GitHub
  なにって...Hello World しただけだが？
  ☆19Nov 12, 2020Updated 5 years ago
• otomadb / web

  View on GitHub
  Web frontend of OTOMADB
  ☆17Sep 9, 2024Updated last year
• ci7lus / ricapitolare

  View on GitHub
  Metadata/OGP-tag fetch API
  ☆15Dec 12, 2025Updated 2 months ago
• ryota-ka / yuigon

  View on GitHub
  My will
  ☆15Nov 2, 2016Updated 9 years ago
• qmelo / oversubstitution

  View on GitHub
  過置換の映像 (前景のみ)
  ☆25Sep 15, 2025Updated 5 months ago
• susisu / eslint-plugin-safe-typescript

  View on GitHub
  An ESLint plugin that makes your TypeScript code safer
  ☆22Dec 12, 2025Updated 2 months ago
• proofdict / proofdict

  View on GitHub
  Proofdict mono repository.
  ☆29Nov 14, 2025Updated 3 months ago
• akiym / ed25519brute

  View on GitHub
  ☆30Mar 25, 2024Updated last year
• p-geon / ja-tokenizer-docker-py

  View on GitHub
  Mecab + NEologd + Docker + Python3
  ☆36May 10, 2022Updated 3 years ago
• ygkn / storybook-opener

  View on GitHub
  A Visual Studio Code extension to open Storybook quickly
  ☆40Updated this week
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• YuyaMurakamiMath / My_TeX_template

  View on GitHub
  ☆18Dec 26, 2025Updated last month
• PuddleServer / Puddle

  View on GitHub
  Puddle Framework is a web framework that runs on Deno.
  ☆10Jun 14, 2022Updated 3 years ago
• provables / sequencelib

  View on GitHub
  A platform for formalizing OEIS sequences in Lean 4
  ☆18Updated 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
• T-Brick / DateTime

  View on GitHub
  DateTime package for Lean 4
  ☆17Feb 28, 2024Updated last year
• uetchy / badge-api

  View on GitHub
  Extra badges for App Store, Product Hunt and Hatena bookmarks
  ☆11Sep 21, 2023Updated 2 years ago
• 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
• solaoi / broly

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

  View on GitHub
  小説執筆専用ソフト WriterLighter
  ☆10Mar 24, 2017Updated 8 years ago
• kodai3 / react-firebase-pagination-hooks

  View on GitHub
  ☆10Mar 5, 2023Updated 2 years ago
• Brooooooklyn / system-shutdown

  View on GitHub
  Provides a cross platform way to shut down, reboot or log out operations
  ☆13Updated this week
• Ziphil / Zenml

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

  View on GitHub
  💭 kansAI is a CLI tool for converting text to Kansai dialect.
  ☆10Apr 19, 2024Updated last year
• m4lvin / lean4-pdl

  View on GitHub
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆14Updated this week
• mertvn / EMQ

  View on GitHub
  Eroge Music Quiz
  ☆11Updated this week
• AmbientDataInc / M5StickC

  View on GitHub
  ☆10Jun 18, 2019Updated 6 years ago
• hppRC / ujimaru

  View on GitHub
  🤖 The automatic uzimaru bot project🤖
  ☆11Jun 6, 2021Updated 4 years ago
• hugozanini / realtime-retinanet

  View on GitHub
  Create a real-time object detection with a few examples using RetinaNet.
  ☆10Jun 30, 2022Updated 3 years ago
• Ran350 / portfolio

  View on GitHub
  my portfolio site
  ☆10Updated this week
• winston0410 / mkNodePackage

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

  View on GitHub
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Mar 3, 2024Updated last year
• 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
• YuheiNakasaka / sb2md-rs

  View on GitHub
  ☆11Jul 4, 2022Updated 3 years ago
• lualatex / lualatex-doc

  View on GitHub
  A guide to LuaLaTeX
  ☆11Jun 13, 2015Updated 10 years ago
• YutaUra / firebase-graphql

  View on GitHub
  ☆10Oct 10, 2024Updated last year