Zeta611/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

Zeta611/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/Zeta611/easyword)

Close

Zeta611 / easywordView on GitHubMore

• External links
• Readme badge

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

☆40Mar 16, 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.

• Zeta611 / react-trace

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

  View on GitHub
  📚 (WIP) Rewriting Software Foundations in Lean 4
  ☆28Oct 24, 2025Updated 5 months ago
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• ocurrent / opam-repo-ci

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

  View on GitHub
  Machine-checked Agda formalization for the ILC project
  ☆15Apr 6, 2018Updated 7 years ago
• Virtual machines for every use case on DigitalOcean • Ad
  Get dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
• codex-semantics-library / patricia-tree

  View on GitHub
  Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys
  ☆16Updated this week
• star0202 / comcigan.ts

  View on GitHub
  TypeScript 컴시간알리미 파서
  ☆14Mar 14, 2026Updated 2 weeks ago
• Zeta611 / simplebnf

  View on GitHub
  ⌥ Simple Backus–Naur form (BNF) LaTeX package
  ☆44Oct 31, 2025Updated 4 months 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 4 months ago
• hyuunnn / awesome-pl-kor

  View on GitHub
  한글, 자막으로 볼 수 있는 PL 관련 자료들을 정리하는 공간입니다.
  ☆65Mar 3, 2026Updated 3 weeks ago
• imatpot / typst-ascii-ipa

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

  View on GitHub
  Improved readability documents of web contents
  ☆68Dec 5, 2020Updated 5 years ago
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• neunenak / typst-leipzig-glossing

  View on GitHub
  ☆15Sep 2, 2025Updated 6 months ago
• snu-sf-class / sf202301

  View on GitHub
  컴퓨터 신기술 특강
  ☆10Jun 23, 2023Updated 2 years ago
• potatosalad775 / BonCodeFonts

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

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

  View on GitHub
  Solved.ac 프로필 정보를 GitHub Gist로 보여주는 GitHub Action
  ☆22Feb 24, 2026Updated last month
• 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
• snu-sf-class / pp202202

  View on GitHub
  ☆17Dec 8, 2022Updated 3 years ago
• ropas / zooberry

  View on GitHub
  A software framework for global sparse analyzers and their verified validators
  ☆22Oct 25, 2017Updated 8 years ago
• Wordpress hosting with auto-scaling on Cloudways • Ad
  Fully Managed hosting built for WordPress-powered businesses that need reliable, auto-scalable hosting. Cloudways SafeUpdates now available.
• 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
• KoISLP / lab

  View on GitHub
  ☆10Feb 13, 2025Updated last year
• testsmt / janus

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

  View on GitHub
  ☆17Aug 5, 2025Updated 7 months ago
• ADAPT-uiuc / TensorRight

  View on GitHub
  TensorRight: Automated Verification of Tensor Graph Rewrites
  ☆19Nov 9, 2025Updated 4 months ago
• lDMDiamondl / ProgrammingVTuberLogosKR

  View on GitHub
  ☆26Jul 17, 2024Updated last year
• GPU virtual machines on DigitalOcean Gradient AI • Ad
  Get to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
• nyusemantics / LambdaCalculatorPublic

  View on GitHub
  ☆18Aug 30, 2022Updated 3 years ago
• g3gg0 / DigiJoystick_FPV

  View on GitHub
  ☆15Aug 30, 2021Updated 4 years ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• Lora-net / SWDR005

  View on GitHub
  Driver for SX128x chip
  ☆15Oct 15, 2025Updated 5 months ago
• tomtomjhj / coq-lsp.nvim

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

  View on GitHub
  Ubuntu용 한글뷰어
  ☆12Jan 3, 2018Updated 8 years ago
• lynn / universal-lambda

  View on GitHub
  A minimal esolang based on lambda calculus
  ☆16Jan 13, 2021Updated 5 years ago