Alternatives
Products that do what Typyn - Validation made easier & faster does
Lightweight, Chainable TypeScript Validation
- 1AS
2020 · github.com
- 2
- 3EA
2023 · github.com
- 4KV
2022 · github.com
- 5EA
2022 · kaleidawave.github.io
- 6
- 7
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…
12d ago · typebase.io
- 8ZC
2025 · github.com
- 9ST
2016 · github.com
- 10KA
2023 · kysely.dev
- 11LA
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
- 12EM
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
- 13CA
The most comprehensive authentication library for TypeScript
2024 · github.com
- 14V1
A simple, fast, extensible python library for data validation. New features: * union validator * dynamic dict validator * timedelta validator * enum validator * slug validator * fqdn validator * nested model class GitHub: https://github.com/guyskk/validr Document: https://github.com/guyskk/validr/wiki Usage: https://github.com/guyskk/validr/wiki/Scenario-&-Example
2020
- 15AM
I made an open source, MIT license Typescript library based on some of the latest research that generates prompt injection attacks. It is a super minimal/lightweight and designed to be super easy to use. Keen to hear your thoughts and please be responsible and only pen test systems where you have permission to pen test!
2025 · prompt-injector.blueprintlab.io
- 16
- 17AP
2022 · github.com
- 18TA
2025 · gist.github.com
- 19TG
2022 · github.com
- 20AT
Hello all To preface this is just something I've been making as a learning exercise, so all feedback is appreciated. This is a tool that converts JSON schemas into TypeScript utility classes for use in Deno. Automatic Type Generation: Typescript interfaces for the compressed and uncompressed versions of your data. Compression & Decompression: Compress and decompress your data. Validation: Built-in data validation using Ajv ensures your data adheres to the schema. Reusability: Once generated, the utility classes can be used in other Deno projects. It currently only supports a subset of JSON…
2023 · github.com
- 21AG
2020 · github.com
- 22AU
2022 · npmjs.com
- 23HA
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
- 24UZ
2023 · github.com
Ranked by how close each launch is in meaning, then by votes. Refine with a description →