← Latest products

Hyke

a programming language that runs on TypeScript's type system. This absurd project started when I read a couple of blog posts that got very popular around here about solving the N queens puzzle using only Haskell's type system and TypeScript's type system.

Open source

51 stars · GitHubexternal site

Visit github.comexternal site

Reactions (1)

Similar products

by description similarity

  1. Conway's Game of Life in TypeScript's type system

    github.com

    TypeScript's type system is Turing complete - let's abuse that!

    Hacker News186 pts

  2. I made an esoteric programming language that's read like a spellbook

    github.com

    esotoric programming language that's read like a spellbook

    Hacker News176 pts

  3. Zero-dependency

    docs.axflow.dev

    TypeScript SDK for building robust NLP applications

    Hacker News16 pts

  4. Winglang

    github.com

    A new cloud-oriented programming language

    Hacker News116 pts

  5. Simpler web dev with Htmx

    plainweb.dev

    SQLite and TypeScript

    Hacker News15 pts