easyword-kr/easyword external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

easyword-kr/easyword

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/easyword-kr/easyword)

Close

easyword-kr / easywordView on GitHubMore

• External links
• Readme badge

🇰🇷 쉬운 전문용어 (Easy Korean Translations of CS Jargons)

☆40Apr 17, 2026Updated this week

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.

• Zeta611 / simplebnf.typ

  View on GitHub
  A simple package to format Backus-Naur form
  ☆15Feb 9, 2026Updated 2 months ago
• Zeta611 / react-trace

  View on GitHub
  ⚛ React-tRace is a React Hooks interpreter and a visualizer based on a formal semantics
  ☆36Mar 8, 2026Updated last month
• PnVDiscord / software-foundations-lean

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆30Oct 24, 2025Updated 5 months ago
• prosyslab-classroom / hardcore-ocaml

  View on GitHub
  ☆17Apr 15, 2025Updated last year
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• Serverless GPU API endpoints on Runpod - Bonus Credits • Ad
  Skip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
• ocurrent / opam-repo-ci

  View on GitHub
  An OCurrent pipeline for testing submissions to opam-repository
  ☆24Jan 14, 2026Updated 3 months ago
• inc-lc / ilc-agda

  View on GitHub
  Machine-checked Agda formalization for the ILC project
  ☆15Apr 6, 2018Updated 8 years ago
• codex-semantics-library / patricia-tree

  View on GitHub
  Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
  ☆18Updated this week
• Zeta611 / simplebnf

  View on GitHub
  ⌥ Simple Backus–Naur form (BNF) LaTeX package
  ☆44Oct 31, 2025Updated 5 months ago
• yhyoon / simba

  View on GitHub
  Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretation
  ☆22Dec 3, 2023Updated 2 years ago
• damhiya / Coq-tips

  View on GitHub
  ☆10Nov 20, 2023Updated 2 years ago
• dytroc / gaknime

  View on GitHub
  ☆13Dec 31, 2024Updated last year
• Zeta611 / snu-ece-bsc-thesis

  View on GitHub
  서울대학교 전기정보공학부 학사학위논문 양식 LaTeX 클래스
  ☆40Nov 3, 2025Updated 5 months ago
• hyuunnn / awesome-pl-kor

  View on GitHub
  한글, 자막으로 볼 수 있는 PL 관련 자료들을 정리하는 공간입니다.
  ☆65Mar 3, 2026Updated last month
• Managed Kubernetes at scale on DigitalOcean • Ad
  DigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
• imatpot / typst-ascii-ipa

  View on GitHub
  🔄 ASCII / IPA conversion for Typst
  ☆22Jan 8, 2026Updated 3 months ago
• black7375 / ReadabilityDocs

  View on GitHub
  Improved readability documents of web contents
  ☆68Dec 5, 2020Updated 5 years ago
• kaist-cp / shakeflow

  View on GitHub
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆56Jan 23, 2025Updated last year
• potatosalad775 / BonCodeFonts

  View on GitHub
  BonGothic blended code fonts 🥃
  ☆26Aug 4, 2025Updated 8 months ago
• rickiepark / math4ds

  View on GitHub
  <개발자를 위한 필수 수학>(한빛미디어, 2024)의 코드 저장소
  ☆19Jan 9, 2025Updated last year
• abiriadev / solvedac-box

  View on GitHub
  Solved.ac 프로필 정보를 GitHub Gist로 보여주는 GitHub Action
  ☆22Feb 24, 2026Updated last month
• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 years ago
• eth-sri / proof-sharing

  View on GitHub
  CAV'22 paper to speed up Neural Network Verification.
  ☆13Dec 19, 2022Updated 3 years ago
• CGCL-codes / HistFuzz

  View on GitHub
  A practical fuzzing tool for SMT solvers
  ☆11Nov 26, 2025Updated 4 months ago
• Bare Metal GPUs on DigitalOcean Gradient AI • Ad
  Purpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
• Jhuni0123 / pl-checker

  View on GitHub
  2017F Programming Language Homework Checker
  ☆31Sep 5, 2018Updated 7 years ago
• ropas / zooberry

  View on GitHub
  A software framework for global sparse analyzers and their verified validators
  ☆23Oct 25, 2017Updated 8 years ago
• skkusal / FeatMaker

  View on GitHub
  ☆35Dec 5, 2024Updated last year
• kaist-cp / rust-school

  View on GitHub
  ☆75Nov 21, 2024Updated last year
• prosyslab / pl-wiki

  View on GitHub
  ☆48Nov 25, 2025Updated 4 months ago
• ylemkimon / SNU-ECE-BSc-thesis-LaTeX-template

  View on GitHub
  서울대학교 전기정보공학부 학사 학위논문 LaTeX (비공식) 템플릿
  ☆19Jun 21, 2021Updated 4 years ago
• testsmt / janus

  View on GitHub
  A tool for testing SMT solvers for incompleteness bugs
  ☆17Oct 12, 2022Updated 3 years ago
• ADAPT-uiuc / TensorRight

  View on GitHub
  TensorRight: Automated Verification of Tensor Graph Rewrites
  ☆19Nov 9, 2025Updated 5 months ago
• alan-j-hu / llvm-dune

  View on GitHub
  The official LLVM OCaml binding but built using dune
  ☆25Feb 8, 2025Updated last year
• Wordpress hosting with auto-scaling - Free Trial • Ad
  Fully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
• tomtomjhj / coq-lsp.nvim

  View on GitHub
  Neovim client for coq-lsp
  ☆30Sep 26, 2025Updated 6 months ago
• es-meta / esmeta

  View on GitHub
  ECMAScript Specification (ECMA-262) Metalanguage
  ☆258Apr 3, 2026Updated 2 weeks ago
• security-pride / WASMaker

  View on GitHub
  WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-world…
  ☆17Jul 27, 2024Updated last year
• kakao / olive-cli

  View on GitHub
  ☆26Dec 22, 2025Updated 3 months ago
• teddylee777 / react-voice-agent

  View on GitHub
  ☆12Oct 3, 2024Updated last year
• dahlia / yoyak

  View on GitHub
  An LLM-powered CLI tool for summarizing web pages
  ☆86Mar 23, 2026Updated 3 weeks ago
• prosyslab-classroom / is661-advanced-software-security

  View on GitHub
  ☆11Jun 14, 2024Updated last year