๐ฐ๐ท ์ฌ์ด ์ ๋ฌธ์ฉ์ด (Easy Korean Translations of CS Jargons)
โ40Jun 21, 2026Updated 2 weeks 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:
- โ React-tRace is a React Hooks interpreter and a visualizer based on a formal semanticsโ39Jun 5, 2026Updated last month
- ๐ (WIP) Rewriting Software Foundations in Lean 4โ33Updated this week
- โ17Apr 15, 2025Updated last year
- ๐งฎ Polynomial Calculatorโ12Jan 3, 2023Updated 3 years ago
- An OCurrent pipeline for testing submissions to opam-repositoryโ24Updated this week
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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โ18Jun 29, 2026Updated last week
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretationโ22Dec 3, 2023Updated 2 years ago
- โ10Nov 20, 2023Updated 2 years ago
- ์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌํ์๋ ผ๋ฌธ ์์ LaTeX ํด๋์คโ42Nov 3, 2025Updated 8 months ago
- ํ๊ธ, ์๋ง์ผ๋ก ๋ณผ ์ ์๋ PL ๊ด๋ จ ์๋ฃ๋ค์ ์ ๋ฆฌํ๋ ๊ณต๊ฐ์ ๋๋ค.โ66Mar 3, 2026Updated 4 months ago
- ๐ ASCII / IPA conversion for Typstโ22Jan 8, 2026Updated 6 months ago
- Improved readability documents of web contentsโ69Dec 5, 2020Updated 5 years ago
- Easy trees in LaTeX and TikZโ15Dec 16, 2022Updated 3 years ago
- 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.
- ์ปดํจํฐ ์ ๊ธฐ์ ํน๊ฐโ10Jun 23, 2023Updated 3 years ago
- ๏ฃฟ๐ Shell script to clean your Macโ21Sep 12, 2023Updated 2 years ago
- ๊ตญ๋ด์์ ์ค๋ฏธ์ฑ์ผ๋ก ์ด์ฉ๋๋/์ด์ฉ๋ ๋ถ๋ฒ ์น์ฌ์ดํธ๋ฅผ ๊ธฐ๋กํฉ๋๋ค.โ23Apr 12, 2024Updated 2 years ago
- ์ปฌ์ณ๋๋ ๋ชจ๋ฐ์ผ์น์ ์๋ํํด์ฃผ๋ ๋น๊ณต์ ๋ผ์ด๋ธ๋ฌ๋ฆฌ์ ๋๋ค.โ17Dec 27, 2025Updated 6 months ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)โ57Jan 23, 2025Updated last year
- BonGothic blended code fonts ๐ฅโ27Aug 4, 2025Updated 11 months ago
- <๊ฐ๋ฐ์๋ฅผ ์ํ ํ์ ์ํ>(ํ๋น๋ฏธ๋์ด, 2024)์ ์ฝ๋ ์ ์ฅ์โ17Jan 9, 2025Updated last year
- Solved.ac ํ๋กํ ์ ๋ณด๋ฅผ GitHub Gist๋ก ๋ณด์ฌ์ฃผ๋ GitHub Actionโ22Updated this week
- โ19Nov 5, 2023Updated 2 years ago
- Managed Database hosting by DigitalOcean โข AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- CAV'22 paper to speed up Neural Network Verification.โ13Dec 19, 2022Updated 3 years ago
- A practical fuzzing tool for SMT solversโ11Nov 26, 2025Updated 7 months ago
- โ17Dec 8, 2022Updated 3 years ago
- 2017F Programming Language Homework Checkerโ31Sep 5, 2018Updated 7 years ago
- A software framework for global sparse analyzers and their verified validatorsโ23Oct 25, 2017Updated 8 years ago
- โ36Dec 5, 2024Updated last year
- โ75Nov 21, 2024Updated last year
- โ48May 15, 2026Updated last month
- ์์ธ๋ํ๊ต ์ ๊ธฐ์ ๋ณด๊ณตํ๋ถ ํ์ฌ ํ์๋ ผ๋ฌธ LaTeX (๋น๊ณต์) ํ ํ๋ฆฟโ20Jun 21, 2021Updated 5 years ago
- Managed Database hosting by DigitalOcean โข AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- OFFICIALโ30Updated this week
- โ17Aug 5, 2025Updated 11 months ago
- TensorRight: Automated Verification of Tensor Graph Rewritesโ23Nov 9, 2025Updated 8 months ago
- โ18Aug 30, 2022Updated 3 years ago
- โ15Oct 11, 2025Updated 8 months ago
- โ39Dec 7, 2021Updated 4 years ago
- Generation of comparison functions from typesโ28May 18, 2026Updated last month