davidaf3 / hykeLinks
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
Sorting:
- 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
- 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☆31Updated last year
- A micro-mvc framework for react apps☆107Updated last week
- Concurrency primitives for TypeScript and JavaScript.☆106Updated 9 months ago
- Experimental jsxdom☆93Updated 8 months ago
- ☆172Updated 8 months ago
- Build reliable, understandable and debuggable backends with state machines☆37Updated 2 years ago
- The GritQL standard library provides common patterns for refactoring and upgrading code.☆62Updated 4 months ago
- UI library with main focus on performance☆48Updated 8 months ago
- Typescript-first background services platform with durable functions.☆108Updated 10 months ago
- Assembly interpreter implemented entirely in TypeScript's type system (type annotations)☆81Updated 2 years ago
- Postgres native driver for TypeScript: automatic type definitions for Postgres functions, instant schema updates, and Vite-inspired plugi…☆86Updated 5 months ago
- 🪄 Tiny challenges for learning WebAssembly☆68Updated 5 months ago
- Parser Combinators in the TypeScript Type System☆90Updated 3 weeks ago
- Reactive data bindings over WebSockets.☆31Updated 2 years ago
- TypeScript parser combinator library for building fast and convenient parsers.☆28Updated 11 months ago
- HypergraphZ - A Hypergraph Implementation in Zig☆104Updated 3 months ago
- 🌊 Long-lived Streaming Remote Procedure Calls☆70Updated this week
- An elegant parser combinators library for Typescript (WIP!)☆44Updated last week
- TypeScript's type system is Turing complete - let's abuse that!☆101Updated last year
- WebAssembly SQLite with experimental support for browser storage extensions☆12Updated this week
- A type programming language which compiles to and interops with type-level TypeScript☆22Updated 2 years ago
- Helpers for Web Components☆65Updated 10 months ago
- A programmable markup language for generating HTML.☆62Updated last week
- an experimental new programming language based on interaction nets☆272Updated this week
- Type-Level Regular Expressions matching with TypeScript☆23Updated 2 years ago
- NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code☆43Updated 2 weeks ago
- Synthesize CRDTs from classic data types with verified lifting!☆148Updated last year
- This library contains higher level AssemblyScript wrappers for low level Lunatic syscalls.☆70Updated 2 years ago