Work · alternatives · 2026
24 alternatives to 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. I figured I could implement Peano arithmetic using only TypeScript's type system. Turns out this have been done several times before, but I did it anyway. While working on it, I realized that you could emulate functions with conditional recursive types, writing them in a way that strongly resembles the equations that can be found in some functional programming languages. So I thought I could write a…
Hyke is a programming language that compiles to TypeScript's type system, enabling computation through type-level operations. It allows developers to write functional programming-style equations that transpile into… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Hyke, a programming language that runs on TypeScript's type system launched in 2023; newer entries below may have overtaken it.
- 1
A SQL database implemented purely in TypeScript type annotations. - codemix/ts-sql
2020 · github.com · its alternatives →
- 2
TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...
2023 · github.com · its alternatives →
- 3
Cannoli Programming Language. Contribute to joncatanio/cannoli development by creating an account on GitHub.
2018 · github.com · its alternatives →
- 4
I've built many interpreters over the years, and Bolt represents my attempt at building the scripting language I always wanted. This is the first public release, 0.1.0! I've felt like most embedded languages have been moving towards safety and typing over years, with things like Python type hints, the explosive popularity of typescript, and even typing in Luau, which powers one of the largest scripted evironments in the world. Bolt attempts to harness this directly in the lagnauge rather than as a preprocessing step, and reap benefits in terms of both safety and performance. I intend to be…
2025 · github.com · its alternatives →
- 5
A functional programming language with static memory management - vekatze/neut
2020 · github.com · its alternatives →
- 6VT
Hey HN! We're so excited to show you Val Town (https://val.town)! A "val" is a JavaScript/TypeScript function or value that runs on our servers. We aim to get you from idea to running code in seconds: type code, run it, get its API endpoint, schedule it - all from the browser, in a couple keystrokes. We're a startup of 4 people, mostly in NYC. We've been working on this for 6 months and are eager for feedback from the HN community. Why do we need yet another online coding IDE? While researching devtools[1], I found myself wanting something halfway between Replit and Zapier: a…
2023 · val.town · its alternatives →
- 7
TypeScript 6.0▲156The Playground lets you write TypeScript or JavaScript online in a safe and sharable way.
Mar 2026 · typescriptlang.org · its alternatives →
- 8
Hi friends, I started casually working on scrapscript in 2015. I built a few compilers over the years to test out various ideas/implementations, and I think I'm finally happy with the overall design. The code is not public yet. Email me at [email protected] if you're interested in joining the core team later this year. Let me know if you have any questions or feedback :)
2023 · scrapscript.org · its alternatives →
- 9
A fast functional language based on two level type theory - ehatti/peridot
2022 · github.com · its alternatives →
- 10
Kretes is a programming environment for TypeScript applications built on top of Visual Studio Code. It combines a web framework with an editor into an integrated, battery-included solution.
2020 · kretes.dev · its alternatives →
- 11
pgTyped - Typesafe SQL in TypeScript. Contribute to adelsz/pgtyped development by creating an account on GitHub.
2020 · github.com · its alternatives →
- 12DDarklang▲326
2019 · medium.com · its alternatives →
- 13
i made an esoteric programming language which i call spellscript. every program is a "spell" written in a "grimoire," and you have to use keywords like summon, enchant, inscribe, and conjure. it's literally read like a spellbook because the syntax consists of all natural language, and newlines are optional. your code can now be an essay, like everybody wants! for example, if you want to print something, you'd write: `begin the grimoire. inscribe whispers of "hello, world!". close the grimoire.` it has variables, dynamic typing, arrays, functions, conditionals, loops, string manipulation,…
2025 · github.com · its alternatives →
- 14
Darklang▲124Holistic language, editor, and infra for building backends
2019 · darklang.com · its alternatives →
- 15KA
The most powerful type-safe SQL query builder for TypeScript
2023 · kysely.dev · its alternatives →
- 16
Hey all, I just wanted to share a project I've been working on for the past month. After years of heavy frameworks, I really like the idea of using htmx, but it’s a little too low level for me and needs a thin layer above it to facilitate things like components, better syntax with complex JS inside of an attribute, etc To try and solve this problem with a very minimal stack (golang + htmx) that I've been really enjoying, I'm building this project to cater to my needs and was thinking it would be useful for other developers.
2024 · htmgo.dev · its alternatives →
- 17
The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
2021 · github.com · its alternatives →
- 18
:ramen: A tasty Haskell web and mobile framework. Contribute to dmjio/miso development by creating an account on GitHub.
2017 · github.com · its alternatives →
- 19
Throughout my career, I tried many tools to query PostgreSQL, and in the end, concluded that for what I do, the simplest is almost always the best: raw SQL queries. Until now, I typed the results manually and relied on tests to catch problems. While this is OK in e.g., GoLang, it is quite annoying in TypeScript. First, because of the more powerful type system (it's easier to guess that updated_at is a date than it is to guess whether it's nullable or not), second, because of idiosyncrasies (INT4s are deserialised as JS numbers, but INT8s are deserialised as strings). So I wrote pg-typesafe,…
Feb 2026 · github.com · its alternatives →
- 20
Hey HN! I built Typebase, a library that gives you Convex's DX with Supabase's openness. After trying Supabase I liked how fast it is to spin up a DB and auth, but really didn't like using RLS and SQL for authorization. With Convex I loved how your server "lives" in your code, but disliked the DB model and the realtime-first defaults. With Typebase you just write TS files inside a typebase/ folder in your existing repo. You can define your DB tables inside a schema.ts file and export server functions that your frontend calls like local functions, fully typed. Auth is built in. Then one…
Aug 2026 · typebase.io · its alternatives →
- 21FS
Hi HN! I've been working on the fuse programming language, it's a statically typed purely functional language with higher-kinder types and ad-hoc polymorphism. It compiles to the GRIN whole-program optimizer, producing LLVM-generated native code. Fuse supports ADTs, Generics, Type Methods, Traits, Pattern matching etc. all in a functional style with no mutations. I’ve been developing the language for 5 years, with code written in Scala. I’ve started coding the language from the base of System F that was implemented as part of the book: Types and Programming Languages (tapl). And then…
Aug 2026 · fuselang.org · its alternatives →
- 22
You can see some examples here: https://github.com/tsoniclang/proof-is-in-the-pudding And a hugo clone (which compiles to native code) here: https://github.com/tsoniclang/tsumo Linux and macOS for now.
Jan 2026 · tsonic.org · its alternatives →
- 23
How does Loreline work under the hood? This article provides some answers.
Mar 2026 · loreline.app · its alternatives →
- 24AS
Hello HN! I've been playing a lot with https://hyperscript.org/ recently (not to be confused with the other hyperhype hyperscript). I threw together a quick Wordle clone in an evening to see what it would look like using this language. The main functionality that is missing is checking for invalid words. The word dictionary is also very small, so it's very easy. The goal here wasn't really to create a good version of Wordle, it was to build 80% of Wordle in a different language to see what it looks like. Turns out, it looks pretty good! Stuff like using CSS rule precedence to…
2022 · arhamjain.com · its alternatives →
Also compare
- A SQL database implemented purely in TypeScript type annotations alternatives
- Conway's Game of Life in TypeScript's type system alternatives
- Cannoli – A compiler for a subset of Python written in Rust alternatives
- Bolt – A super-fast, statically-typed scripting language written in C alternatives
- A dependently-typed programming language with static memory management alternatives
- Val Town – A Cloud Scripting Site alternatives
Ranked by how close each launch is in meaning, then by votes. Prices were read from each product’s own site when checked and can change. Refine with your own description →