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 / simplebnf.typ

  View on GitHub
  A simple package to format Backus-Naur form
  ☆15Feb 9, 2026Updated last month
• 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
• prosyslab-classroom / hardcore-ocaml

  View on GitHub
  ☆17Apr 15, 2025Updated 11 months ago
• Zeta611 / polycalc

  View on GitHub
  🧮 Polynomial Calculator
  ☆12Jan 3, 2023Updated 3 years ago
• 1-Click AI Models by DigitalOcean Gradient • Ad
  Deploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
• 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
• 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
• 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
• 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
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• snu-sf-class / sf202301

  View on GitHub
  컴퓨터 신기술 특강
  ☆10Jun 23, 2023Updated 2 years ago
• nemorize / korean-smishing-fuck-you

  View on GitHub
  국내에서 스미싱으로 이용되는/이용된 불법 웹사이트를 기록합니다.
  ☆23Apr 12, 2024Updated last year
• Advanxing / cultureland.js

  View on GitHub
  컬쳐랜드 모바일웹을 자동화해주는 비공식 라이브러리입니다.
  ☆17Dec 27, 2025Updated 3 months ago
• kaist-cp / shakeflow

  View on GitHub
  ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)
  ☆57Jan 23, 2025Updated last year
• 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
• hongseok-yang / graduatePL23

  View on GitHub
  ☆19Nov 5, 2023Updated 2 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
• Managed Database hosting by DigitalOcean • Ad
  PostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
• 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
  ☆22Oct 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
• 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 4 months ago
• nyusemantics / LambdaCalculatorPublic

  View on GitHub
  ☆18Aug 30, 2022Updated 3 years ago
• alan-j-hu / llvm-dune

  View on GitHub
  The official LLVM OCaml binding but built using dune
  ☆25Feb 8, 2025Updated last year
• DigitalOcean Gradient AI Platform • Ad
  Build production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
• bedwarsify / bedwarsify-overlay

  View on GitHub
  A simple but feature-rich Hypixel Bed Wars anti-sniping overlay
  ☆10Nov 1, 2021Updated 4 years ago
• hongseok-yang / CLT21

  View on GitHub
  ☆39Dec 7, 2021Updated 4 years ago
• tomtomjhj / coq-lsp.nvim

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

  View on GitHub
  Generation of comparison functions from types
  ☆28Jan 15, 2026Updated 2 months ago
• es-meta / esmeta

  View on GitHub
  ECMAScript Specification (ECMA-262) Metalanguage
  ☆256Updated this week
• 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
• jeasu / hwpviewer

  View on GitHub
  Ubuntu용 한글뷰어
  ☆12Jan 3, 2018Updated 8 years ago