「ぜんぜんわからない、俺達は雰囲気でギフハブをやっている」
☆11May 22, 2020Updated 5 years ago
Alternatives and similar repositories for huniki_generator
Users that are interested in huniki_generator are comparing it to the libraries listed below
Sorting:
- 過置換の映像 (前景のみ)☆25Sep 15, 2025Updated 5 months ago
- I18n for Sonolus☆13Mar 2, 2026Updated last week
- A tool for automatic English to Katakana conversion☆15Nov 26, 2025Updated 3 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated last year
- sample app for getting started in android dev☆10Dec 19, 2025Updated 2 months 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
- ☆11Sep 11, 2020Updated 5 years ago
- A clean-room implementation of the findbugs annotations released under the Apache License, version 2.0☆15Oct 12, 2020Updated 5 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- ☆12May 1, 2024Updated last year
- IMPCN is a fantastic mod... It improves and polishes the Chinese translation!☆10Aug 21, 2019Updated 6 years ago
- visualize link relations on scrapbox's project☆10Sep 7, 2025Updated 6 months ago
- ☆11Dec 16, 2021Updated 4 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
- SATySFi commands and DSL for displaying derivation trees with maintainable code☆11Jan 2, 2021Updated 5 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆35Mar 1, 2026Updated last week
- A platform for formalizing OEIS sequences in Lean 4☆18Mar 2, 2026Updated last week
- A parser library for DataDog queries☆12Updated this week
- A helper flake for building Node.js package easily with Nix.☆10Oct 9, 2021Updated 4 years ago
- A python program to interact with the AVHzY CT-2 power meter https://store.avhzy.com/index.php?route=product/product&product_id=50☆11Apr 5, 2019Updated 6 years ago
- This project showcases how to use fal's queue management system and proxy setup to create animated videos from static images.☆17Dec 9, 2025Updated 2 months ago
- amakan mobile apps for Android and iPhone.☆12Aug 23, 2016Updated 9 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- 汎用 Discord Bot☆11May 5, 2024Updated last year
- Rust binding of LovyanGFX☆11Feb 9, 2024Updated 2 years ago
- ☆11Jul 4, 2022Updated 3 years ago
- A starter Application for Deploying Rails 5.1 into Elastic Beanstalk☆10Mar 9, 2023Updated 2 years ago
- TypeScript implementation of ZenML parser and XML manipulation utilities☆10Feb 18, 2023Updated 3 years ago
- Download an array of objects as a CSV file in the browser☆13Nov 24, 2018Updated 7 years ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆15Updated this week
- Eroge Music Quiz☆11Updated this week
- Basic Unicode support for Lean 4☆15Mar 2, 2026Updated last week
- ☆12Feb 8, 2024Updated 2 years ago
- Extra badges for App Store, Product Hunt and Hatena bookmarks☆11Sep 21, 2023Updated 2 years ago
- GitHub as a SNS☆10Jan 11, 2023Updated 3 years ago
- A shareable Renovate config for Cybozu☆11Updated this week
- ☆11Aug 24, 2018Updated 7 years ago
- Rust Library for the USB HID protocol☆14Nov 6, 2023Updated 2 years ago