π°π· μ¬μ΄ μ λ¬Έμ©μ΄ (Easy Korean Translations of CS Jargons)
β40Feb 23, 2026Updated 2 weeks ago
Alternatives and similar repositories for easyword
Users that are interested in easyword are comparing it to the libraries listed below
Sorting:
- A simple package to format Backus-Naur formβ15Feb 9, 2026Updated last month
- β React-tRace is a React Hooks interpreter and a visualizer based on a formal semanticsβ35Feb 9, 2026Updated last month
- π (WIP) Rewriting Software Foundations in Lean 4β28Oct 24, 2025Updated 4 months ago
- TypeScript μ»΄μκ°μ리미 νμβ15Updated this week
- Improved readability documents of web contentsβ68Dec 5, 2020Updated 5 years ago
- Machine-checked Agda formalization for the ILC projectβ15Apr 6, 2018Updated 7 years ago
- β13Dec 31, 2024Updated last year
- β16Apr 15, 2025Updated 10 months ago
- <κ°λ°μλ₯Ό μν νμ μν>(νλΉλ―Έλμ΄, 2024)μ μ½λ μ μ₯μβ18Jan 9, 2025Updated last year
- νκΈ, μλ§μΌλ‘ λ³Ό μ μλ PL κ΄λ ¨ μλ£λ€μ μ 리νλ 곡κ°μ λλ€.β65Mar 3, 2026Updated last week
- μ»΄ν¨ν° μ κΈ°μ νΉκ°β10Jun 23, 2023Updated 2 years ago
- An OCurrent pipeline for testing submissions to opam-repositoryβ24Jan 14, 2026Updated last month
- β19Nov 5, 2023Updated 2 years ago
- μ΄ νλ‘μ νΈλ νκΈ MCP(HWPX) μλ²λ‘, HWPX λ¬Έμλ₯Ό νκΈ μλνλ‘μΈμ μμ΄ μ§μ μ΄κ³ μλνν μ μλλ‘ μ€κ³λμμ΅λλ€. Claude Desktopκ³Ό κ°μ MCP ν΄λΌμ΄μΈνΈμ μ°κ²°νμ¬ λ¬Έμ μμ±Β·νΈμ§Β·νμ κΈ°λ₯μ μ 곡ν©λλ€.β28Feb 28, 2026Updated last week
- BonGothic blended code fonts π₯β26Aug 4, 2025Updated 7 months ago
- μμΈλνκ΅ μ κΈ°μ 보곡νλΆ νμ¬ νμλ Όλ¬Έ LaTeX (λΉκ³΅μ) ν νλ¦Ώβ19Jun 21, 2021Updated 4 years ago
- Solved.ac νλ‘ν μ 보λ₯Ό GitHub Gistλ‘ λ³΄μ¬μ£Όλ GitHub Actionβ22Feb 24, 2026Updated 2 weeks ago
- β48Nov 25, 2025Updated 3 months ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)β57Jan 23, 2025Updated last year
- β75Nov 21, 2024Updated last year
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretationβ22Dec 3, 2023Updated 2 years ago
- κ΅λ΄μμ μ€λ―Έμ±μΌλ‘ μ΄μ©λλ/μ΄μ©λ λΆλ² μΉμ¬μ΄νΈλ₯Ό κΈ°λ‘ν©λλ€.β23Apr 12, 2024Updated last year
- ο£Ώπ Shell script to clean your Macβ21Sep 12, 2023Updated 2 years ago
- β24Dec 22, 2025Updated 2 months ago
- β26Jul 17, 2024Updated last year
- Korean deeplearning swear word(λ₯λ¬λ κΈ°λ° μμ€/λΉμμ΄ νλ³)β21Apr 23, 2025Updated 10 months ago
- A software framework for global sparse analyzers and their verified validatorsβ22Oct 25, 2017Updated 8 years ago
- (μ£Ό)λ€μκ³Ό λΆμ°λνκ΅ μΈκ³΅μ§λ₯μ°κ΅¬μ€/(μ£Ό)λλΌμΈν¬ν ν¬μ μΉ μλΉμ€λ₯Ό μ΄μ©ν νκΈ λ§μΆ€λ² κ²μ¬κΈ°.β26Apr 22, 2023Updated 2 years ago
- A convenient way to convert files from DjVu to PDF format while preserving the text layerβ30Sep 15, 2021Updated 4 years ago
- Neovim client for coq-lspβ30Sep 26, 2025Updated 5 months ago
- R binding package Kiwi(Korean Intelligent Word Identifier)β34Dec 30, 2025Updated 2 months ago
- νμ΄μ¬ ν¬λ‘€λ§ μ€ν°λ λ΄μ©β10Jan 11, 2023Updated 3 years ago
- Notch filtering using ofxCvβ10May 17, 2021Updated 4 years ago
- A Clojure library for deconstructing Korean unicode syllable characters into alphabet charactersβ10Nov 22, 2021Updated 4 years ago
- DOS Program Developmentβ13Nov 9, 2022Updated 3 years ago
- β10Feb 13, 2025Updated last year
- β36Nov 7, 2025Updated 4 months ago
- Entire is a new developer platform that hooks into your git workflow to capture AI agent sessions on every push, unifying your code with β¦β28Feb 27, 2026Updated last week
- Chat interface and library for interacting with different LLMs via Emacs.β13Mar 19, 2025Updated 11 months ago