Dev tools · alternatives · 2026
24 alternatives to TypeScript as a proof assistant for intuitionistic propositional logic
TypeScript as a proof assistant. GitHub Gist: instantly share code, notes, and snippets.
TypeScript as a proof assistant for intuitionistic propositional logic is a tool that uses the TypeScript programming language to help construct and verify proofs in intuitionistic propositional logic. It is designed… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes.
- 1
Build Typed GraphQL Queries in TypeScript without the code generation - acro5piano/typed-graphqlify
2018 · github.com · its alternatives →
- 2
A SQL database implemented purely in TypeScript type annotations. - codemix/ts-sql
2020 · github.com · its alternatives →
- 3
TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...
2023 · github.com · its alternatives →
- 4
The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
2021 · github.com · its alternatives →
- 5
This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously follow Prof. Russell’s proof, with no or little added statements from my side, which were only necessary for the formalization but not the logical argument. Should you notice any inaccuracy (even if it does not necessarily falsify the proof), please let me know as I would like to proceed with the same spirit of rigour. Before starting this project, I had already found Prof. Elkind’s formalization of the Principia…
2025 · github.com · its alternatives →
- 6
TypeScript 6.0▲156The Playground lets you write TypeScript or JavaScript online in a safe and sharable way.
Mar 2026 · typescriptlang.org · its alternatives →
- 7
Automatically interpret and validate nested natural logic arguments based on rules of inference and propositional logic - ParhamP/Natural_Logic_Interpreter
2017 · github.com · its alternatives →
- 8
🛫 Zero-codegen, no-compile TypeScript `type` inference from protobuf `message`s - nathanhleung/protobuf-ts-types
2025 · github.com · its alternatives →
- 9IA
Hi! We're Amisi and Claude, builders of the i2 language and the i2forge platform. i2 is an (early draft of a) language designed to make formal verification easy for mathematicians. We are launching the language as an open source project today (https://i2lang.org) together with a closed alpha for i2forge. However, we have a publicly accessible demo page which anyone can use, and we would love your feedback. Thanks.
2023 · i2forge.com · its alternatives →
- 10
transpile algorithms/libs to idiomatic JS, Go, C#, Ruby - GitHub - pseudo-lang/pseudo: transpile algorithms/libs to idiomatic JS, Go, C#, Ruby
2016 · github.com · its alternatives →
- 11
Made an online tool for creating diagrams with TypeScript. I quite like it for thinking about how to shape my data, even if I end up using a different language in the end.
2023 · tsdiagram.com · its alternatives →
- 12
Hi Hacker News! My name is Sagar, I’m working on a startup called Speakeasy - we’re making all APIs self-service. The platform is currently in beta, but we’re independently launching this tool which you can use to generate language-idiomatic, statically-typed TS SDKs from any public OpenAPI schemas. We hope to continue iterating on this to give devs a way to easily generate high fidelity client SDKs for all the major languages. Inspiration for this product is from past experiences struggling with OpenAPI. I was originally optimistic about using the OpenAPI tools to build out our offering,…
2022 · easysdk.xyz · its alternatives →
- 13
:wrench: Scala datamodel transpiler. Contribute to scala-ts/scala-ts development by creating an account on GitHub.
2016 · github.com · its alternatives →
- 14
Hello, folks. I'm Jiang, the author of ESInfer. I love writing Javascript because it has a prosperous ecosystem and is quick to get my hands dirty. However, sometimes it's painful when the flow is not fast to follow due to the lack of a type system. To solve this, I wrote ESInfer, a statical inference tool, to automatically type check and generate type annotations for Javascript. It works with pure Javascript without any add-ons to the language or user-space code and supports highly dynamic features, such as the modification of prototypes. It is still in the very early stage, which offers…
2022 · esinfer.com · its alternatives →
- 15
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 →
- 16
A fast functional language based on two level type theory - ehatti/peridot
2022 · github.com · its alternatives →
- 17
Eidentic▲65The TypeScript SDK for AI agents with self-improving memory
Jun 2026 · eidentic.dev · its alternatives →
- 18
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…
2023 · github.com · its alternatives →
- 19KA
The most powerful type-safe SQL query builder for TypeScript
2023 · kysely.dev · its alternatives →
- 20
We've been building Crust (https://crustjs.com/), a TypeScript-first, Bun-native CLI framework with zero dependencies. It's been powering our core product internally for a while, and we're now open-sourcing it. The problem we kept running into: existing CLI frameworks in the JS ecosystem are either minimal arg parsers where you wire everything yourself, or heavyweight frameworks with large dependency trees and Node-era assumptions. We wanted something in between. What Crust does differently: - Full type inference from definitions — args and flags are inferred automatically. No…
Mar 2026 · github.com · its alternatives →
- 21
I created LemmaScript to compile TypeScript to a verification backend (Dafny or Lean) and prove properties on the systematically derived model. I'll keep developing this, but I have a few case studies already, and it looks quite promising, with the caveat that each case study pushed the development of the core further. I can support both greenfield and brownfield projects, and in many cases, verification can be in-place: the TypeScript source is just annotated and verified independently but runs as is.
Apr 2026 · github.com · its alternatives →
- 22
A Clojure implementation of the logic programming language from chapter 4 of SICP - jdormit/sicp-logic
2019 · github.com · its alternatives →
- 23TT
Today I am introducing HN to my sideproject 'testeranto'. It is a test framework for TS projects which leverages Aider to automatically fix broken tests. tl;dr: https://www.youtube.com/watch?v=WvU5xMqGi6Q
2025 · npmjs.com · its alternatives →
- 24
Hey HN, I’m sharing ts-chan, an NPM package providing Go-like concurrency primitives, including channels and select statements, for TypeScript and JavaScript, supporting Node.js, Deno, Bun, and browsers. This is something I've built to make implementing Go-style "control loops" feasible in JavaScript, but there are many possible applications. Highlights: - Features a FIFO processing Chan class and versatile Select class for concurrency control. - Supports buffered channel and channel close semantics very close to Go's. - TypeScript-first implementation. - Defines a simple "channel protocol"…
2023 · github.com · its alternatives →
Also compare
- TypeScript to GraphQL conversion tool with type inference alternatives
- A SQL database implemented purely in TypeScript type annotations alternatives
- Conway's Game of Life in TypeScript's type system alternatives
- Dependently typed language for proofs that you can implement in one day alternatives
- Formalizing Principia Mathematica using Lean alternatives
- TypeScript 6.0 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 →