π°π· μ¬μ΄ μ λ¬Έμ©μ΄ (Easy Korean Translations of CS Jargons)
β40Jun 11, 2026Updated last 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.
Sorting:
- A simple package to format Backus-Naur formβ17May 24, 2026Updated 3 weeks ago
- β React-tRace is a React Hooks interpreter and a visualizer based on a formal semanticsβ39Jun 5, 2026Updated 2 weeks ago
- π (WIP) Rewriting Software Foundations in Lean 4β31Oct 24, 2025Updated 7 months ago
- An OCurrent pipeline for testing submissions to opam-repositoryβ24May 20, 2026Updated 3 weeks ago
- Machine-checked Agda formalization for the ILC projectβ15Apr 6, 2018Updated 8 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.
- TypeScript μ»΄μκ°μ리미 νμβ16Updated this week
- β₯ Simple BackusβNaur form (BNF) LaTeX packageβ49May 19, 2026Updated last month
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretationβ22Dec 3, 2023Updated 2 years ago
- β13Dec 31, 2024Updated last year
- μμΈλνκ΅ μ κΈ°μ 보곡νλΆ νμ¬νμλ Όλ¬Έ μμ LaTeX ν΄λμ€β42Nov 3, 2025Updated 7 months ago
- νκΈ, μλ§μΌλ‘ λ³Ό μ μλ PL κ΄λ ¨ μλ£λ€μ μ 리νλ 곡κ°μ λλ€.β66Mar 3, 2026Updated 3 months ago
- Improved readability documents of web contentsβ69Dec 5, 2020Updated 5 years ago
- Easy trees in LaTeX and TikZβ14Dec 16, 2022Updated 3 years ago
- μ»΄ν¨ν° μ κΈ°μ νΉκ°β10Jun 23, 2023Updated 2 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 컬μ³λλ λͺ¨λ°μΌμΉμ μλνν΄μ£Όλ λΉκ³΅μ λΌμ΄λΈλ¬λ¦¬μ λλ€.β17Dec 27, 2025Updated 5 months ago
- BonGothic blended code fonts π₯β27Aug 4, 2025Updated 10 months ago
- <κ°λ°μλ₯Ό μν νμ μν>(νλΉλ―Έλμ΄, 2024)μ μ½λ μ μ₯μβ17Jan 9, 2025Updated last year
- Solved.ac νλ‘ν μ 보λ₯Ό GitHub Gistλ‘ λ³΄μ¬μ£Όλ GitHub Actionβ22Jun 3, 2026Updated 2 weeks ago
- β19Nov 5, 2023Updated 2 years ago
- A software framework for global sparse analyzers and their verified validatorsβ23Oct 25, 2017Updated 8 years ago
- 2017F Programming Language Homework Checkerβ31Sep 5, 2018Updated 7 years ago
- β36Dec 5, 2024Updated last year
- OFFICIALβ30Updated this week
- 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.
- β17Aug 5, 2025Updated 10 months ago
- β26Jul 17, 2024Updated last year
- The official LLVM OCaml binding but built using duneβ25Feb 8, 2025Updated last year
- β18Aug 30, 2022Updated 3 years ago
- β15Aug 30, 2021Updated 4 years ago
- β39Dec 7, 2021Updated 4 years ago
- Neovim client for coq-lspβ30May 3, 2026Updated last month
- Generation of comparison functions from typesβ28May 18, 2026Updated last month
- WASMaker, a novel differential testing framework that can generate complicated Wasm test cases by disassembling and assembling real-worldβ¦β16Jul 27, 2024Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A minimal esolang based on lambda calculusβ16Jan 13, 2021Updated 5 years ago
- β12Oct 3, 2024Updated last year
- β11Jun 14, 2024Updated 2 years ago
- A dart library that simplifies working with meta-arrangements commonly encountered in combinatorics such as arrangements of combinations β¦β12Jul 20, 2025Updated 10 months ago
- "Middleware" (infrastructure) for host-FPGA applications (e.g., accelerators)β19Sep 26, 2024Updated last year
- Korean deeplearning swear word(λ₯λ¬λ κΈ°λ° μμ€/λΉμμ΄ νλ³)β21Apr 23, 2025Updated last year
- Coq development accompanying the paper "Efficient Extensional Binary Tries"β22Apr 17, 2024Updated 2 years ago