๐ฐ๐ท ์ฌ์ด ์ ๋ฌธ์ฉ์ด (Easy Korean Translations of CS Jargons)
โ41Jun 21, 2026Updated 2 months ago
Alternatives and similar repositories for easyword
Users that are interested in easyword are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple package to format Backus-Naur formโ18May 24, 2026Updated 3 months ago
- ๐ (WIP) Rewriting Software Foundations in Lean 4โ35Aug 4, 2026Updated last month
- ๐งฎ Polynomial Calculatorโ12Jan 3, 2023Updated 3 years ago
- โ17Apr 15, 2025Updated last year
- โฅ Simple BackusโNaur form (BNF) LaTeX packageโ49Jul 19, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer โข AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretationโ21Dec 3, 2023Updated 2 years ago
- ์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌํ์๋ ผ๋ฌธ ์์ LaTeX ํด๋์คโ42Nov 3, 2025Updated 10 months ago
- โ13Dec 31, 2024Updated last year
- Machine-checked Agda formalization for the ILC projectโ15Apr 6, 2018Updated 8 years ago
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keysโ18Aug 26, 2026Updated last week
- Improved readability documents of web contentsโ69Dec 5, 2020Updated 5 years ago
- ํ๊ธ, ์๋ง์ผ๋ก ๋ณผ ์ ์๋ PL ๊ด๋ จ ์๋ฃ๋ค์ ์ ๋ฆฌํ๋ ๊ณต๊ฐ์ ๋๋ค.โ68Mar 3, 2026Updated 6 months ago
- ๊ตญ๋ด์์ ์ค๋ฏธ์ฑ์ผ๋ก ์ด์ฉ๋๋/์ด์ฉ๋ ๋ถ๋ฒ ์น์ฌ์ดํธ๋ฅผ ๊ธฐ๋กํฉ๋๋ค.โ24Apr 12, 2024Updated 2 years ago
- ์ปดํจํฐ ์ ๊ธฐ์ ํน๊ฐโ10Jun 23, 2023Updated 3 years ago
- GPUs on demand by Runpod - Special Offer Available โข AdRun AI, ML, and HPC workloads on powerful cloud GPUsโwithout limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- โ19Nov 5, 2023Updated 2 years ago
- โ17Dec 8, 2022Updated 3 years ago
- <๊ฐ๋ฐ์๋ฅผ ์ํ ํ์ ์ํ>(ํ๋น๋ฏธ๋์ด, 2024)์ ์ฝ๋ ์ ์ฅ์โ17Updated this week
- โ16Sep 2, 2025Updated last year
- Solved.ac ํ๋กํ ์ ๋ณด๋ฅผ GitHub Gist๋ก ๋ณด์ฌ์ฃผ๋ GitHub Actionโ22Jul 10, 2026Updated last month
- A software framework for global sparse analyzers and their verified validatorsโ23Oct 25, 2017Updated 8 years ago
- A practical fuzzing tool for SMT solversโ11Nov 26, 2025Updated 9 months ago
- CAV'22 paper to speed up Neural Network Verification.โ13Dec 19, 2022Updated 3 years ago
- 2017F Programming Language Homework Checkerโ31Sep 5, 2018Updated 8 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits โข AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- โ48May 15, 2026Updated 3 months ago
- ์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌ ํ์๋ ผ๋ฌธ LaTeX (๋น๊ณต์) ํ ํ๋ฆฟโ20Jun 21, 2021Updated 5 years ago
- TypeScript ์ปด์๊ฐ์๋ฆฌ๋ฏธ ํ์โ17Updated this week
- โ26Jul 17, 2024Updated 2 years ago
- โ10Feb 13, 2025Updated last year
- โ35Dec 5, 2024Updated last year
- ๐ ASCII / IPA conversion for Typstโ22Jul 7, 2026Updated 2 months ago
- BonGothic blended code fonts ๐ฅโ27Aug 4, 2025Updated last year
- An automatic, safe, and concurrent garbage collector for Rustโ18Jul 19, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer โข AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- โ26Jul 15, 2026Updated last month
- Neovim client for coq-lspโ32May 3, 2026Updated 4 months ago
- Generation of comparison functions from typesโ28Jul 10, 2026Updated last month
- ECMAScript Specification (ECMA-262) Metalanguageโ265Updated this week
- โ11Mar 22, 2022Updated 4 years ago
- โ35Nov 7, 2025Updated 10 months ago
- Coq development accompanying the paper "Efficient Extensional Binary Tries"โ23Apr 17, 2024Updated 2 years ago