hiroyuki-komatsu / japanese-usage-dictionaryView external linksLinks
Automatically exported from code.google.com/p/japanese-usage-dictionary
☆17Jan 25, 2025Updated last year
Alternatives and similar repositories for japanese-usage-dictionary
Users that are interested in japanese-usage-dictionary are comparing it to the libraries listed below
Sorting:
- AJIMEE-Bench (Advanced Japanese IME Evaluation Benchmark)☆18Jan 13, 2025Updated last year
- A Japanese input method.☆24Jun 27, 2025Updated 7 months ago
- An experimental, minimalistic microgame about loneliness, made for the Korean middle school students I taught for a year.☆26May 12, 2011Updated 14 years ago
- A wc clone in Rust☆10Dec 25, 2015Updated 10 years ago
- Python资源大全中文版，内容包括：Web框架、网络爬虫、网络内容提取、模板引擎、数据库、数据可视化、图片处理、文本处理、自然语言处理、机器学习、日志、代码分析等☆11May 24, 2016Updated 9 years ago
- Sophisticated CSS only templates for HTML forms☆11Aug 10, 2011Updated 14 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- https://github.com/VenomCodeDev/VanillifyFabric☆13Jun 24, 2022Updated 3 years ago
- Easy note taking in Vim☆19Nov 6, 2015Updated 10 years ago
- Tool for tagging FLV files☆12Nov 2, 2015Updated 10 years ago
- A shareable Renovate config for Cybozu☆11Updated this week
- Send commands from Vim to Tmux☆11Jun 11, 2015Updated 10 years ago
- EPWING dictionary viewer☆11Nov 13, 2018Updated 7 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
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆14Updated this week
- ☆11Dec 27, 2023Updated 2 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated last year
- DEPRECATED - The Mozilla Integrated Tool Package☆11Mar 30, 2019Updated 6 years ago
- Smaller than mini, smaller than micro: nano.☆10Jun 26, 2015Updated 10 years ago
- 适用于哈工大 jwts 系统。学校选课系统中外专业课辅助选择的工具。通过油猴脚本进行加载，对于页面上的课程容量、课程时间等信息进行分析，筛掉时间冲突、没有容量的课程。本脚本不会帮你进行选课，更不会帮你进行抢课☆10Feb 19, 2022Updated 3 years ago
- Concatenate and print files in a Rust byte slice compatible format.☆12Mar 20, 2023Updated 2 years ago
- 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
- AGL Documentation - Source for general documents, guides ...☆10Oct 22, 2020Updated 5 years ago
- ☆11Dec 16, 2021Updated 4 years ago
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆33Updated this week
- The official implementation of paper "ColorFlow: Retrieval-Augmented Image Sequence Colorization"☆10Dec 24, 2024Updated last year
- Standalone self-hosted compiler/linker/libc for a subset of C targeting Webassembly/WASI☆15Jun 7, 2023Updated 2 years ago
- Apple Vision Pro向けの日本語入力アプリ☆11Feb 8, 2024Updated 2 years ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated last year
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Dec 30, 2025Updated last month
- Execute thunks in parallel with concurrency support and gather all the results.☆16Sep 8, 2020Updated 5 years ago
- Haraka outbound api mail server accessible via HTTP POST☆14Oct 30, 2011Updated 14 years ago
- ☆13Jan 28, 2025Updated last year
- A timer component for React that passing remaining milliseconds by context using☆11Jun 19, 2017Updated 8 years ago
- ☆11May 2, 2019Updated 6 years ago
- Chinese Pinyin to English Dictionary for Mac Dictionary.app☆14Jan 9, 2019Updated 7 years ago
- It's a rack middleware to parse multipart/related requests and rebuild a simple/merged parameters hash.☆17Mar 28, 2014Updated 11 years ago
- Wordle in Rust☆13Dec 2, 2022Updated 3 years ago
- WebKit 在嵌入式设备上的移植和定制☆14Jul 14, 2021Updated 4 years ago