๐ฐ๐ท ์ฌ์ด ์ ๋ฌธ์ฉ์ด (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:
- โ React-tRace is a React Hooks interpreter and a visualizer based on a formal semanticsโ35Feb 9, 2026Updated last month
- Improved readability documents of web contentsโ68Dec 5, 2020Updated 5 years ago
- ๐งฎ Polynomial Calculatorโ12Jan 3, 2023Updated 3 years ago
- Machine-checked Agda formalization for the ILC projectโ15Apr 6, 2018Updated 7 years ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keysโ16Feb 9, 2026Updated 3 weeks ago
- โ10Nov 20, 2023Updated 2 years ago
- โ13Dec 31, 2024Updated last year
- โ16Apr 15, 2025Updated 10 months ago
- <๊ฐ๋ฐ์๋ฅผ ์ํ ํ์ ์ํ>(ํ๋น๋ฏธ๋์ด, 2024)์ ์ฝ๋ ์ ์ฅ์โ18Jan 9, 2025Updated last year
- ํ๊ธ, ์๋ง์ผ๋ก ๋ณผ ์ ์๋ PL ๊ด๋ จ ์๋ฃ๋ค์ ์ ๋ฆฌํ๋ ๊ณต๊ฐ์ ๋๋ค.โ65Sep 21, 2025Updated 5 months ago
- ์ปดํจํฐ ์ ๊ธฐ์ ํน๊ฐโ10Jun 23, 2023Updated 2 years ago
- ์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌํ์๋ ผ๋ฌธ ์์ LaTeX ํด๋์คโ40Nov 3, 2025Updated 4 months ago
- An OCurrent pipeline for testing submissions to opam-repositoryโ24Jan 14, 2026Updated last month
- ์ด ํ๋ก์ ํธ๋ ํ๊ธ MCP(HWPX) ์๋ฒ๋ก, HWPX ๋ฌธ์๋ฅผ ํ๊ธ ์๋ํ๋ก์ธ์ ์์ด ์ง์ ์ด๊ณ ์๋ํํ ์ ์๋๋ก ์ค๊ณ๋์์ต๋๋ค. Claude Desktop๊ณผ ๊ฐ์ MCP ํด๋ผ์ด์ธํธ์ ์ฐ๊ฒฐํ์ฌ ๋ฌธ์ ์์ฑยทํธ์งยทํ์ ๊ธฐ๋ฅ์ ์ ๊ณตํฉ๋๋ค.โ28Feb 28, 2026Updated last week
- โ19Nov 5, 2023Updated 2 years ago
- Solved.ac ํ๋กํ ์ ๋ณด ๋ฅผ GitHub Gist๋ก ๋ณด์ฌ์ฃผ๋ GitHub Actionโ22Feb 24, 2026Updated last week
- ์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌ ํ์๋ ผ๋ฌธ LaTeX (๋น๊ณต์) ํ ํ๋ฆฟโ19Jun 21, 2021Updated 4 years 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
- โ35Dec 5, 2024Updated last year
- Korean deeplearning swear word(๋ฅ๋ฌ๋ ๊ธฐ๋ฐ ์์ค/๋น์์ด ํ๋ณ)โ21Apr 23, 2025Updated 10 months ago
- โ24Dec 22, 2025Updated 2 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
- List of Reserved Words. (Username etc.)โ29Aug 4, 2015Updated 10 years ago
- R binding package Kiwi(Korean Intelligent Word Identifier)โ34Dec 30, 2025Updated 2 months ago
- ํ์ด์ฌ ํฌ๋กค๋ง ์คํฐ๋ ๋ด์ฉโ10Jan 11, 2023Updated 3 years ago
- DOS Program Developmentโ13Nov 9, 2022Updated 3 years ago
- โ10Feb 13, 2025Updated last year
- A Clojure library for deconstructing Korean unicode syllable characters into alphabet charactersโ10Nov 22, 2021Updated 4 years ago
- โ36Nov 7, 2025Updated 4 months ago
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textbooโฆโ17Oct 2, 2025Updated 5 months ago
- ๊ธฐํ์์ ๋ง์ผํฐ๋ฅผ ์ํ ์ด๋ฒคํธ ๋๊ธ ๋ถ์ - feat. ์ธํ๋ฐ ์ํด ๋ค์ง ์ด๋ฒคํธโ11Apr 22, 2020Updated 5 years ago
- grad teaching, intro to SEโ12May 18, 2025Updated 9 months ago
- 2025๋ ๊ตญ๋ฏผ๋ํ๊ต KPSC + AIM ์คํฐ๋ - ๊ฐํํ์ต์ ์ด์ฉํ ์ฒด์ค AI ๋ง๋ค๊ธฐโ13Jun 22, 2025Updated 8 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