davidaf3 / hyke
A programming language that runs on TypeScript's type system
☆52Updated last year
Alternatives and similar repositories for hyke:
Users that are interested in hyke are comparing it to the libraries listed below
- A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Al…☆159Updated last year
- Implementing RLS for Turso in a Cloudflare Worker☆31Updated last year
- TypeScript DX primitives☆11Updated this week
- ☆36Updated 2 years ago
- Experimental jsxdom☆93Updated 7 months ago
- A secure sandbox to execute untrusted user JavaScript, in a web browser, without any risk to your own domain/site/page.☆140Updated last month
- A micro-mvc framework for react apps☆107Updated last week
- Concurrency primitives for TypeScript and JavaScript.☆107Updated 7 months ago
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆80Updated 2 years ago
- Relationship type checker functions for Typescript types.☆37Updated 2 years ago
- 🌊 Long-lived Streaming Remote Procedure Calls☆66Updated this week
- Reactive data bindings over WebSockets.☆31Updated last year
- Build reliable, understandable and debuggable backends with state machines☆37Updated 2 years ago
- 🪄 Tiny challenges for learning WebAssembly☆69Updated 4 months ago
- The GritQL standard library provides common patterns for refactoring and upgrading code.☆58Updated 2 months ago
- Elegant parsing expression grammars☆51Updated this week
- Simple, opinionated, JSON-typed, and traced LLM framework for TypeScript.☆36Updated last year
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆88Updated 2 years ago
- ☆172Updated 6 months ago
- The VS Code Brisk Extension☆28Updated 9 months ago
- TypeScript-like theorem prover☆37Updated this week
- Postgres native driver for TypeScript: automatic type definitions for Postgres functions, instant schema updates, and Vite-inspired plugi…☆81Updated 3 months ago
- An elegant parser combinators library for Typescript (WIP!)☆28Updated 3 weeks ago
- Parse using JavaScript generator functions — it’s like components but for parsing!☆72Updated last year
- An ergonomic typescript compiler that enables typesafe syntactic macros.☆221Updated 3 years ago
- Bootstrap compiler for Firefly☆53Updated last week
- TypeAPI is an OpenAPI alternative to describe REST APIs for type-safe code generation.☆73Updated last month
- WebAssembly SQLite with experimental support for browser storage extensions☆12Updated this week
- Eg-walker paper, experiments and data.☆42Updated 5 months ago
- 🌊 build rich, performant UIs with the best possible developer experience☆79Updated 2 months ago