๐ฐ๐ท ์ฌ์ด ์ ๋ฌธ์ฉ์ด (Easy Korean Translations of CS Jargons)
โ41Jun 21, 2026Updated last month
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:
- โ React-tRace is a React Hooks interpreter and a visualizer based on a formal semanticsโ39Jun 5, 2026Updated 2 months ago
- A simple package to format Backus-Naur formโ18May 24, 2026Updated 2 months ago
- ๐ (WIP) Rewriting Software Foundations in Lean 4โ35Aug 4, 2026Updated 2 weeks ago
- ๐งฎ Polynomial Calculatorโ12Jan 3, 2023Updated 3 years ago
- ์ํ์คํ๋์ค 22.5๊ธฐ Rookies Repositoryโ24Nov 21, 2024Updated last year
- End-to-end encrypted email - Proton Mail โข AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- โฅ Simple BackusโNaur form (BNF) LaTeX packageโ49Jul 19, 2026Updated last month
- โ10Nov 20, 2023Updated 2 years ago
- ์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌํ์๋ ผ๋ฌธ ์์ LaTeX ํด๋์คโ42Nov 3, 2025Updated 9 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โ18Jul 22, 2026Updated 3 weeks ago
- Improved readability documents of web contentsโ69Dec 5, 2020Updated 5 years ago
- ํ๊ธ, ์๋ง์ผ๋ก ๋ณผ ์ ์๋ PL ๊ด๋ จ ์๋ฃ๋ค์ ์ ๋ฆฌํ๋ ๊ณต๊ฐ์ ๋๋ค.โ67Mar 3, 2026Updated 5 months ago
- ๏ฃฟ๐ Shell script to clean your Macโ21Sep 12, 2023Updated 2 years ago
- 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.
- ์ปฌ์ณ๋๋ ๋ชจ๋ฐ์ผ์น์ ์๋ํํด์ฃผ๋ ๋น๊ณต์ ๋ผ์ด๋ธ๋ฌ๋ฆฌ์ ๋๋ค.โ17Dec 27, 2025Updated 7 months ago
- ์ปดํจํฐ ์ ๊ธฐ์ ํน๊ฐโ10Jun 23, 2023Updated 3 years ago
- Easy trees in LaTeX and TikZโ15Dec 16, 2022Updated 3 years ago
- Typed effects API for OxCamlโ31Jul 10, 2026Updated last month
- โ17Dec 8, 2022Updated 3 years ago
- <๊ฐ๋ฐ์๋ฅผ ์ํ ํ์ ์ํ>(ํ๋น๋ฏธ๋์ด, 2024)์ ์ฝ๋ ์ ์ฅ์โ17Jan 9, 2025Updated last year
- โ16Sep 2, 2025Updated 11 months ago
- 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
- GPU virtual machines on DigitalOcean Gradient AI โข AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- โ76Nov 21, 2024Updated last year
- CAV'22 paper to speed up Neural Network Verification.โ13Dec 19, 2022Updated 3 years ago
- 2017F Programming Language Homework Checkerโ31Sep 5, 2018Updated 7 years ago
- โ48May 15, 2026Updated 3 months ago
- ์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌ ํ์๋ ผ๋ฌธ LaTeX (๋น๊ณต์) ํ ํ๋ฆฟโ20Jun 21, 2021Updated 5 years ago
- TypeScript ์ปด์๊ฐ์๋ฆฌ๋ฏธ ํ์โ16Updated this week
- โ26Jul 17, 2024Updated 2 years ago
- A minimal esolang based on lambda calculusโ16Jan 13, 2021Updated 5 years ago
- โ36Dec 5, 2024Updated last year
- 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.
- BonGothic blended code fonts ๐ฅโ27Aug 4, 2025Updated last year
- TopSeed : Learning Seed Selection Strategies for Symbolic Execution from Scratchโ15Feb 19, 2025Updated last year
- โ19Aug 30, 2022Updated 3 years ago
- โ39Dec 7, 2021Updated 4 years ago
- An automatic, safe, and concurrent garbage collector for Rustโ18Jul 19, 2026Updated 3 weeks ago
- Korean deeplearning swear word(๋ฅ๋ฌ๋ ๊ธฐ๋ฐ ์์ค/๋น์์ด ํ๋ณ)โ22Apr 23, 2025Updated last year
- An LLM-powered CLI tool for summarizing web pagesโ84Mar 23, 2026Updated 4 months ago