๐ฐ๐ท ์ฌ์ด ์ ๋ฌธ์ฉ์ด (Easy Korean Translations of CS Jargons)
โ40Apr 17, 2026Updated 3 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:
- A simple package to format Backus-Naur formโ17May 2, 2026Updated last week
- โ React-tRace is a React Hooks interpreter and a visualizer based on a formal semanticsโ37Mar 8, 2026Updated 2 months ago
- ๐ (WIP) Rewriting Software Foundations in Lean 4โ31Oct 24, 2025Updated 6 months ago
- โ17Apr 15, 2025Updated last year
- ๐งฎ Polynomial Calculatorโ12Jan 3, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient โข AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- An OCurrent pipeline for testing submissions to opam-repositoryโ24Updated this week
- ์ํ์คํ๋์ค 22.5๊ธฐ Rookies Repositoryโ24Nov 21, 2024Updated last year
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keysโ18Apr 15, 2026Updated 3 weeks ago
- TypeScript ์ปด์๊ฐ์๋ฆฌ๋ฏธ ํ์โ15Apr 30, 2026Updated last week
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretationโ22Dec 3, 2023Updated 2 years ago
- โ10Nov 20, 2023Updated 2 years ago
- ํ๊ธ, ์๋ง์ผ๋ก ๋ณผ ์ ์๋ PL ๊ด๋ จ ์๋ฃ๋ค์ ์ ๋ฆฌํ๋ ๊ณต๊ฐ์ ๋๋ค.โ66Mar 3, 2026Updated 2 months ago
- ๐ ASCII / IPA conversion for Typstโ22Jan 8, 2026Updated 4 months ago
- Improved readability documents of web contentsโ69Dec 5, 2020Updated 5 years ago
- Proton VPN Special Offer - Get 70% off โข AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ์ปดํจํฐ ์ ๊ธฐ์ ํน๊ฐโ10Jun 23, 2023Updated 2 years ago
- โ15Sep 2, 2025Updated 8 months ago
- ๊ตญ๋ด์์ ์ค๋ฏธ์ฑ์ผ๋ก ์ด์ฉ๋๋/์ด์ฉ๋ ๋ถ๋ฒ ์น์ฌ์ดํธ๋ฅผ ๊ธฐ๋กํฉ๋๋ค.โ23Apr 12, 2024Updated 2 years ago
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)โ57Jan 23, 2025Updated last year
- BonGothic blended code fonts ๐ฅโ26Aug 4, 2025Updated 9 months ago
- <๊ฐ๋ฐ์๋ฅผ ์ํ ํ์ ์ํ>(ํ๋น๋ฏธ๋์ด, 2024)์ ์ฝ๋ ์ ์ฅ์โ18Jan 9, 2025Updated last year
- Solved.ac ํ๋กํ ์ ๋ณด๋ฅผ GitHub Gist๋ก ๋ณด์ฌ์ฃผ๋ GitHub Actionโ22Feb 24, 2026Updated 2 months ago
- โ19Nov 5, 2023Updated 2 years ago
- CAV'22 paper to speed up Neural Network Verification.โ13Dec 19, 2022Updated 3 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.
- A practical fuzzing tool for SMT solversโ11Nov 26, 2025Updated 5 months ago
- โ17Dec 8, 2022Updated 3 years ago
- 2017F Programming Language Homework Checkerโ31Sep 5, 2018Updated 7 years ago
- โ75Nov 21, 2024Updated last year
- โ48Nov 25, 2025Updated 5 months ago
- โ37Dec 5, 2024Updated last year
- A tool for testing SMT solvers for incompleteness bugsโ17Oct 12, 2022Updated 3 years ago
- TensorRight: Automated Verification of Tensor Graph Rewritesโ21Nov 9, 2025Updated 6 months ago
- The official LLVM OCaml binding but built using duneโ25Feb 8, 2025Updated last year
- Open source password manager - Proton Pass โข AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- โ18Aug 30, 2022Updated 3 years ago
- Neovim client for coq-lspโ30May 1, 2026Updated last week
- Generation of comparison functions from typesโ28Apr 6, 2026Updated last month
- ECMAScript Specification (ECMA-262) Metalanguageโ260Updated this week
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-worldโฆโ17Jul 27, 2024Updated last year
- โ26Dec 22, 2025Updated 4 months ago
- An LLM-powered CLI tool for summarizing web pagesโ86Mar 23, 2026Updated last month