Zeta611 / easywordView external linksLinks
๐ฐ๐ท ์ฌ์ด ์ ๋ฌธ์ฉ์ด (Easy Korean Translations of CS Jargons)
โ36Feb 9, 2026Updated last week
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 week
- โ React-tRace is a React Hooks interpreter and a visualizer based on a formal semanticsโ34Feb 9, 2026Updated last week
- 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
- โ10Nov 20, 2023Updated 2 years ago
- โ12Dec 31, 2024Updated last year
- โ16Apr 15, 2025Updated 10 months ago
- <๊ฐ๋ฐ์๋ฅผ ์ํ ํ์ ์ํ>(ํ๋น๋ฏธ๋์ด, 2024)์ ์ฝ๋ ์ ์ฅ์โ17Jan 9, 2025Updated last year
- ํ๊ธ, ์๋ง์ผ๋ก ๋ณผ ์ ์๋ PL ๊ด๋ จ ์๋ฃ๋ค์ ์ ๋ฆฌํ๋ ๊ณต๊ฐ์ ๋๋ค.โ65Sep 21, 2025Updated 4 months ago
- ์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌํ์๋ ผ ๋ฌธ ์์ LaTeX ํด๋์คโ40Nov 3, 2025Updated 3 months ago
- An OCurrent pipeline for testing submissions to opam-repositoryโ24Jan 14, 2026Updated last month
- โ19Nov 5, 2023Updated 2 years ago
- ์ปฌ์ณ๋๋ ๋ชจ๋ฐ์ผ์น์ ์๋ํํด์ฃผ๋ ๋น๊ณต์ ๋ผ์ด๋ธ๋ฌ๋ฆฌ์ ๋๋ค.โ18Dec 27, 2025Updated last month
- Solved.ac ํ๋กํ ์ ๋ณด๋ฅผ GitHub Gist๋ก ๋ณด์ฌ์ฃผ๋ GitHub Actionโ21Updated this week
- ์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌ ํ์๋ ผ๋ฌธ LaTeX (๋น๊ณต์) ํ ํ๋ฆฟโ19Jun 21, 2021Updated 4 years ago
- โ48Nov 25, 2025Updated 2 months ago
- โ75Nov 21, 2024Updated last year
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretationโ22Dec 3, 2023Updated 2 years ago
- (์ฃผ)๋ค์๊ณผ ๋ถ์ฐ๋ํ๊ต ์ธ๊ณต์ง๋ฅ์ฐ๊ตฌ์ค/(์ฃผ)๋๋ผ์ธํฌํ ํฌ์ ์น ์๋น์ค๋ฅผ ์ด์ฉํ ํ๊ธ ๋ง์ถค๋ฒ ๊ฒ์ฌ๊ธฐ.โ26Apr 22, 2023Updated 2 years ago
- Korean deeplearning swear word(๋ฅ๋ฌ๋ ๊ธฐ๋ฐ ์์ค/๋น์์ด ํ๋ณ)โ21Apr 23, 2025Updated 9 months ago
- A software framework for global sparse analyzers and their verified validatorsโ22Oct 25, 2017Updated 8 years ago
- โ27Jul 17, 2024Updated last year
- 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 4 months ago
- A Clojure library for deconstructing Korean unicode syllable characters into alphabet charactersโ10Nov 22, 2021Updated 4 years ago
- Notch filtering using ofxCvโ10May 17, 2021Updated 4 years ago
- โ10Feb 13, 2025Updated last year
- โ36Nov 7, 2025Updated 3 months ago
- ์ฌ์ฉ์๊ฐ ํ์ํ ์์์ ์ฝ๊ณ ํธํ๊ฒ ์์ฑํ ์ ์๋ ๋ฐ์ํ ์น ํธ์ง๊ธฐ "FECode"์ ๋๋ค.โ32Dec 20, 2020Updated 5 years ago
- ๊ธฐํ์์ ๋ง์ผํฐ๋ฅผ ์ํ ์ด๋ฒคํธ ๋๊ธ ๋ถ์ - feat. ์ธํ๋ฐ ์ํด ๋ค์ง ์ด๋ฒคํธโ11Apr 22, 2020Updated 5 years ago
- Chat interface and library for interacting with different LLMs via Emacs.โ13Mar 19, 2025Updated 10 months ago
- Python scripts that provide an interface to work with classical propositional and first-order logic, based on my solutions to the textbooโฆโ13Oct 2, 2025Updated 4 months ago
- An MCP server written in clojureโ55Updated this week
- A major mode for editing ReScriptโ46Sep 9, 2024Updated last year
- โ39Dec 7, 2021Updated 4 years ago
- A Neovim client for VsCoq 2 vscoqtop.โ11Nov 8, 2025Updated 3 months ago
- ์ ์ฌ ๋ฉ๋ด๋ฅผ ์ถ์ฒํด๋๋ฆฝ๋๋ค.โ11Apr 16, 2024Updated last year
- ๊ทธ๋ฆฐ๋ฉ์ค ํ์ค ReScript ๋ผ์ด๋ธ๋ฌ๋ฆฌโ36Dec 3, 2025Updated 2 months ago