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…☆158Updated last year
- ☆3Updated last week
- Experimental jsxdom☆93Updated 6 months ago
- Transmute one JavaScript string into another by way of mutating its AST. Powered by babel and recast.☆52Updated 3 weeks ago
- Implementing RLS for Turso in a Cloudflare Worker☆29Updated last year
- Concurrency primitives for TypeScript and JavaScript.☆107Updated 6 months ago
- Relationship type checker functions for Typescript types.☆38Updated last year
- Parse using JavaScript generator functions — it’s like components but for parsing!☆72Updated last year
- ☆36Updated 2 years ago
- Postgres native driver for TypeScript: automatic type definitions for Postgres functions, instant schema updates, and Vite-inspired plugi…☆82Updated 3 months ago
- A micro-mvc framework for react apps☆106Updated last week
- ☆172Updated 5 months ago
- An elegant parser combinators library for Typescript☆25Updated last week
- TypeScript's type system is Turing complete - let's abuse that!☆101Updated last year
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆80Updated 2 years ago
- 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
- A secure sandbox to execute untrusted user JavaScript, in a web browser, without any risk to your own domain/site/page.☆140Updated 2 weeks ago
- An ergonomic typescript compiler that enables typesafe syntactic macros.☆221Updated 3 years ago
- Speeding up Electron apps by using V8 snapshots in the main process☆70Updated 5 months ago
- A modern schema validation and filtration library with great TypeScript support.☆17Updated last year
- Build reliable, understandable and debuggable backends with state machines☆37Updated last year
- Algebraic Effects in Javascript☆48Updated 2 years ago
- A type programming language which compiles to and interops with type-level TypeScript☆20Updated 2 years ago
- Elegant parsing expression grammars☆51Updated 3 weeks ago
- Simple, opinionated, JSON-typed, and traced LLM framework for TypeScript.☆36Updated last year
- an experimental new programming language based on interaction nets☆251Updated 2 weeks ago
- Parser Combinators in the TypeScript Type System☆81Updated last week
- 🌊 Long-lived Streaming Remote Procedure Calls☆59Updated this week
- Type-Level Regular Expressions matching with TypeScript☆22Updated 2 years ago
- The GritQL standard library provides common patterns for refactoring and upgrading code.☆56Updated last month