π°π· μ¬μ΄ μ λ¬Έμ©μ΄ (Easy Korean Translations of CS Jargons)
β40Apr 17, 2026Updated last month
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 14, 2026Updated 2 weeks ago
- π (WIP) Rewriting Software Foundations in Lean 4β31Oct 24, 2025Updated 7 months ago
- β17Apr 15, 2025Updated last year
- Machine-checked Agda formalization for the ILC projectβ15Apr 6, 2018Updated 8 years ago
- Synthesis from Inductive specification eMpowered by Bidirectional Abstract Interpretationβ22Dec 3, 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.
- β13Dec 31, 2024Updated last year
- μμΈλνκ΅ μ κΈ°μ 보곡νλΆ νμ¬νμλ Όλ¬Έ μμ LaTeX ν΄λμ€β41Nov 3, 2025Updated 6 months 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
- Sawja provides a high level representation of Java bytecode programs and static analysis tools.β12Jul 4, 2024Updated last year
- Easy trees in LaTeX and TikZβ14Dec 16, 2022Updated 3 years ago
- μ»΄ν¨ν° μ κΈ°μ νΉκ°β10Jun 23, 2023Updated 2 years ago
- κ΅λ΄μμ μ€λ―Έμ±μΌλ‘ μ΄μ©λλ/μ΄μ©λ λΆλ² μΉμ¬μ΄νΈλ₯Ό κΈ°λ‘ν©λλ€.β23Apr 12, 2024Updated 2 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ShakeFlow: Functional Hardware Description with Latency-Insensitive Interface Combinators (ASPLOS 2023)β57Jan 23, 2025Updated last year
- BonGothic blended code fonts π₯β27Aug 4, 2025Updated 9 months ago
- <κ°λ°μλ₯Ό μν νμ μν>(νλΉλ―Έλμ΄, 2024)μ μ½λ μ μ₯μβ18Jan 9, 2025Updated last year
- Solved.ac νλ‘ν μ 보λ₯Ό GitHub Gistλ‘ λ³΄μ¬μ£Όλ GitHub Actionβ22Feb 24, 2026Updated 3 months ago
- β19Nov 5, 2023Updated 2 years ago
- CAV'22 paper to speed up Neural Network Verification.β13Dec 19, 2022Updated 3 years ago
- A practical fuzzing tool for SMT solversβ11Nov 26, 2025Updated 6 months ago
- β17Dec 8, 2022Updated 3 years ago
- μ΄λ―Έμ§μμ ν°μ μμμ ν¬λͺ νκ² λ°κΏμ€λλ€.β10Jul 19, 2017Updated 8 years ago
- Managed hosting for WordPress and PHP on Cloudways β’ AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A software framework for global sparse analyzers and their verified validatorsβ23Oct 25, 2017Updated 8 years ago
- β75Nov 21, 2024Updated last year
- β37Dec 5, 2024Updated last year
- HackRF Sweep Spectrum Analyzerβ14Apr 21, 2025Updated last year
- OFFICIALβ30May 22, 2026Updated last week
- A tool for testing SMT solvers for incompleteness bugsβ17Oct 12, 2022Updated 3 years ago
- β17Aug 5, 2025Updated 9 months ago
- TensorRight: Automated Verification of Tensor Graph Rewritesβ21Nov 9, 2025Updated 6 months ago
- β26Jul 17, 2024Updated last year
- Wordpress hosting with auto-scaling - Free Trial Offer β’ AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- The official LLVM OCaml binding but built using duneβ25Feb 8, 2025Updated last year
- A simple but feature-rich Hypixel Bed Wars anti-sniping overlayβ10Nov 1, 2021Updated 4 years ago
- β15Oct 11, 2025Updated 7 months ago
- β15Aug 30, 2021Updated 4 years ago
- β39Dec 7, 2021Updated 4 years ago
- Driver for SX128x chipβ17Oct 15, 2025Updated 7 months ago
- Generation of comparison functions from typesβ28May 18, 2026Updated last week