davidaf3 / hyke
A programming language that runs on TypeScript's type system
☆52Updated last year
Related projects: ⓘ
- A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Al…☆153Updated last year
- Concurrency primitives for TypeScript and JavaScript.☆107Updated 10 months ago
- Relationship type checker functions for Typescript types.☆36Updated last year
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆86Updated last year
- TypeScript's type system is Turing complete - let's abuse that!☆97Updated 6 months ago
- A micro-mvc framework for react apps☆94Updated 3 weeks ago
- Build reliable, understandable and debuggable backends with state machines☆37Updated last year
- Simple, opinionated, JSON-typed, and traced LLM framework for TypeScript.☆35Updated 6 months ago
- ☆33Updated last year
- Implementing RLS for Turso in a Cloudflare Worker☆23Updated last year
- Type-Level Regular Expressions matching with TypeScript☆22Updated last year
- Speeding up Electron apps by using V8 snapshots in the main process☆58Updated last week
- 🌊 Long-lived Streaming Remote Procedure Calls☆50Updated this week
- An experiment with WebAssembly ✨ Harmony brings Git in your browser! Create and/or modify local files, on the fly, in your browser. Use g…☆57Updated last year
- ☆100Updated 9 months ago
- Simple TypeScript/JSX SSG☆100Updated last week
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆80Updated last year
- 🌈 SolidJS for interactive command-line apps☆21Updated 2 years ago
- The GritQL standard library provides common patterns for refactoring and upgrading code.☆44Updated 3 weeks ago
- UI library with main focus on performance☆46Updated last month
- An ergonomic typescript compiler that enables typesafe syntactic macros.☆216Updated 2 years ago
- Reactive data bindings over WebSockets.☆31Updated last year
- Transmute one JavaScript string into another by way of mutating its AST. Powered by babel and recast.☆52Updated 4 months ago
- A local-first GitHub client, built in public.☆64Updated last week
- A secure sandbox to execute untrusted user JavaScript, in a web browser, without any risk to your own domain/site/page.☆125Updated last month
- Making Typescript + GraphQL a pleasant experience☆60Updated 2 years ago
- A tiny WASI runtime written in TypeScript☆114Updated 2 years ago
- The VS Code Brisk Extension☆29Updated 2 months ago
- Elegant parsing expression grammars☆48Updated 2 months ago
- Typescript-first background services platform with durable functions.☆108Updated last month