Natural πΏ effect system that fits TypeScript
β62Aug 22, 2024Updated last year
Alternatives and similar repositories for hyogwa
Users that are interested in hyogwa are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- SolidJS bindings for Relayβ40Jun 1, 2026Updated last week
- β10Dec 12, 2023Updated 2 years ago
- Relay support for Zedβ10Apr 4, 2026Updated 2 months ago
- β35Nov 7, 2025Updated 7 months ago
- TypeScript Implementation of Webview/Worker Request Protocolβ34Oct 17, 2022Updated 3 years ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Relay μ¨λ³΄λ© μΈμ μ© μ¬λΌμ΄λ + μμ νλ‘μ νΈ in TypeScript & ReScriptβ20May 9, 2023Updated 3 years ago
- λ³μ μμ‘΄μ± κ΄κ³λμ λ©νλ°μ΄ν°λ₯Ό μ μ λΆμ λ° μκ°νβ27Mar 2, 2024Updated 2 years ago
- Dev Dive 2022 μΈμ "TDD: λ΄ μ½λμ νμ§μ λμ¬μ£Όλ Type-Driven Development" μ₯νβ11Nov 20, 2022Updated 3 years ago
- The grid based editor for your web applications.β33Aug 25, 2025Updated 9 months ago
- Introduction to Functional Programming (Korean)β36Feb 18, 2024Updated 2 years ago
- Acropolis, where you can experience very first version of ECMAScript.β30Nov 17, 2025Updated 6 months ago
- β111Aug 6, 2024Updated last year
- A Zig implementation of HVM - the Higher-Order Virtual Machine based on Interaction Calculus.β36Feb 22, 2026Updated 3 months ago
- β14Feb 26, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- (μ£Ό)λ€μκ³Ό λ€μ΄λ²(μ£Ό)μ μΉ μλΉμ€λ₯Ό μ΄μ©ν νκΈ λ§μΆ€λ² κ²μ¬κΈ°.β26May 23, 2026Updated 3 weeks ago
- Collection of Dependently-typed stuffβ34Aug 3, 2024Updated last year
- CIRC: Concurrent Immediate Reference Countingβ55Nov 15, 2024Updated last year
- You can use pattern-matching and rust-like error process in TS!β23May 26, 2025Updated last year
- Bring type level information to value level.β19Aug 7, 2024Updated last year
- State Lifetime Managerβ97May 27, 2026Updated 2 weeks ago
- dependent type theory experimentβ26Mar 1, 2024Updated 2 years ago
- λ²μ νμ€νλ₯Ό μν κΈ°μ μ©μ΄ μλ΄μβ18Jun 25, 2023Updated 2 years ago
- π (WIP) Rewriting Software Foundations in Lean 4β31Oct 24, 2025Updated 7 months 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.
- Advanced Linter for Gnoβ14May 21, 2026Updated 3 weeks ago
- LLM-powered agentic translation library for JavaScript/TypeScriptβ33May 5, 2026Updated last month
- FEConf 2022 μΈμ "Edge ComputingμΌλ‘ κ°μ Έμ¬ μΉ κ°λ°μ λ³ν" μ₯νβ19Dec 15, 2023Updated 2 years ago
- π rescript bindingsβ49Feb 9, 2026Updated 4 months ago
- λΉκ·Όλ§μΌ μΉ μ»¨ν μΈ νΌλ¨Έλ§ν¬ μ€ν & λ νΌλ°μ€ ꡬν μ μ₯μβ40Jul 12, 2023Updated 2 years ago
- ActivityPub-enabled social network for hackersβ146Updated this week
- ReScript bindings for Radix UIβ14Jul 1, 2023Updated 2 years ago
- Transform your async function to be run concurrently much as possibleβ23Dec 15, 2023Updated 2 years ago
- Natural CSS in TypeScriptβ61Updated this week
- 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.
- λμ₯ λ° μλͺ μ svg ννλ‘ μμ±νκΈ° μν λΌμ΄λΈλ¬λ¦¬ μ λλ€.β11Dec 5, 2022Updated 3 years ago
- Boost ast.parse with RustPython-powered parser technologyβ15May 23, 2023Updated 3 years ago
- C++ Korea νλ κ°λ Ήβ25Apr 22, 2022Updated 4 years ago
- Perfect build tool for libraries, powered by esbuildβ171Updated this week
- A Lambda expression compiler targeting web assembly.β20Aug 7, 2024Updated last year
- π A Rocq library written by members of PnV Discord Serverβ18Updated this week
- EOPL in Haskellβ54Mar 11, 2026Updated 3 months ago