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…☆157Updated 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
- Implementing RLS for Turso in a Cloudflare Worker☆27Updated last year
- Concurrency primitives for TypeScript and JavaScript.☆107Updated 5 months ago
- An elegant parser combinators library for Typescript☆25Updated 2 weeks ago
- ☆172Updated 4 months ago
- ☆36Updated 2 years ago
- Experimental jsxdom☆93Updated 5 months ago
- TypeScript's type system is Turing complete - let's abuse that!☆101Updated last year
- A micro-mvc framework for react apps☆103Updated 2 weeks ago
- Parser Combinators in the TypeScript Type System☆71Updated 3 weeks ago
- A secure sandbox to execute untrusted user JavaScript, in a web browser, without any risk to your own domain/site/page.☆140Updated this week
- Postgres native driver for TypeScript: automatic type definitions for Postgres functions, instant schema updates, and Vite-inspired plugi…☆80Updated 2 months ago
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆80Updated 2 years ago
- The GritQL standard library provides common patterns for refactoring and upgrading code.☆54Updated 3 weeks ago
- Transmute one JavaScript string into another by way of mutating its AST. Powered by babel and recast.☆52Updated last month
- 🌊 Long-lived Streaming Remote Procedure Calls☆57Updated 2 weeks ago
- Relationship type checker functions for Typescript types.☆38Updated last year
- A programmable markup language for generating HTML.☆61Updated last month
- A type programming language which compiles to and interops with type-level TypeScript☆20Updated 2 years ago
- ☆111Updated last year
- an experimental new programming language based on interaction nets☆217Updated this week
- Type-Level Regular Expressions matching with TypeScript☆22Updated last year
- 🪄 Tiny challenges for learning WebAssembly☆67Updated 2 months ago
- Create and hydrate HTML with HTM☆19Updated last year
- Build reliable, understandable and debuggable backends with state machines☆37Updated last year
- Typescript Implementation of mini-adapton (https://arxiv.org/pdf/1609.05337.pdf)☆25Updated 3 years ago
- Elegant parsing expression grammars☆51Updated 7 months ago
- TypeAPI is an OpenAPI alternative to describe REST APIs for type-safe code generation.☆73Updated 2 weeks ago