davidaf3 / hyke
A programming language that runs on TypeScript's type system
☆52Updated last year
Related projects ⓘ
Alternatives and complementary repositories for hyke
- A type-level library enabling the creation and the manipulation of type constructors which can be detached from their type parameters. Al…☆154Updated last year
- Concurrency primitives for TypeScript and JavaScript.☆107Updated 2 months ago
- ☆33Updated last year
- Postgres native driver for TypeScript: automatic type definitions for Postgres functions, instant schema updates, and Vite-inspired plugi…☆50Updated this week
- Experimental jsxdom☆92Updated last month
- Implementing RLS for Turso in a Cloudflare Worker☆24Updated last year
- A secure sandbox to execute untrusted user JavaScript, in a web browser, without any risk to your own domain/site/page.☆129Updated this week
- Typescript Shell Out library, to simplify writing and composing shell commands for NodeJS☆24Updated last year
- Simple TypeScript/JSX SSG☆100Updated last month
- A micro-mvc framework for react apps☆101Updated this week
- Relationship type checker functions for Typescript types.☆37Updated last year
- TypeScript's type system is Turing complete - let's abuse that!☆97Updated 8 months ago
- Parser Combinators in the TypeScript Type System☆44Updated this week
- libSQL WebAssembly build packaged for TypeScript/JavaScript☆23Updated 3 weeks ago
- The VS Code Brisk Extension☆29Updated 4 months ago
- Simple, opinionated, JSON-typed, and traced LLM framework for TypeScript.☆34Updated 8 months ago
- Speeding up Electron apps by using V8 snapshots in the main process☆61Updated 2 weeks ago
- An ergonomic typescript compiler that enables typesafe syntactic macros.☆218Updated 3 years ago
- Type-Level Regular Expressions matching with TypeScript☆22Updated last year
- An experiment with WebAssembly ✨ Harmony brings Git in your browser! Create and/or modify local files, on the fly, in your browser. Use g…☆58Updated last year
- A reactive and strongly-typed, but also pragmatic, new programming language. Compiles to JavaScript, designed to be comfy for people used…☆86Updated 2 years ago
- TypeScript parser combinator library for building fast and convenient parsers.☆26Updated 4 months ago
- TypeAPI is an OpenAPI alternative to describe REST APIs for type-safe code generation.☆72Updated this week
- Elegant parsing expression grammars☆49Updated 4 months ago
- Parse your Postgres queries into a 100% type-safe AST (powered by libpg_query)☆197Updated last week
- 🌊 Long-lived Streaming Remote Procedure Calls☆52Updated last week
- Helpers for Web Components☆64Updated 3 months ago
- A ui framework where you only write turing complete CSS. No HTML, no JS, no build system, just CSS (kinda)☆25Updated 10 months ago
- Native JavaScript prototype extension with symbol protocols☆13Updated 2 weeks ago
- The GritQL standard library provides common patterns for refactoring and upgrading code.☆48Updated 2 weeks ago