Dev tools · alternatives · 2026

24 alternatives to Simple refined types implementation that can prevent Heartbleed

Implementations of various type systems in OCaml. Contribute to tomprimozic/type-systems development by creating an account on GitHub.

This is an OCaml implementation of refined types, a type system approach designed to prevent certain security vulnerabilities like Heartbleed. The project provides various type system implementations for developers… Below are 24 products that do a similar job, ranked by how close each is in meaning and then by launch-day votes. Simple refined types implementation that can prevent Heartbleed launched in 2014; newer entries below may have overtaken it.

1
A strongly-typed document DB that runs on any transactional KV store▲113
A strongly-typed document database that runs on any transactional key-value store. - losfair/RefineDB
2021 · github.com · its alternatives →
2
Farolero – Common Lisp style-conditions and restarts for Clojure▲150
Thread-safe Common Lisp style conditions and restarts for Clojure(Script) and Babashka. - IGJoshua/farolero
2021 · github.com · its alternatives →
3FS
Fuse – statically typed functional programming language▲121
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 →
4
Uniform GraphQL▲65
GraphQL APIs in TypeScript with complete e2e type safety
2021 · uniform-graphql.whatsgood.dog · its alternatives →
5
PgTyped – Typesafe SQL in TypeScript and Postgres▲269
pgTyped - Typesafe SQL in TypeScript. Contribute to adelsz/pgtyped development by creating an account on GitHub.
2020 · github.com · its alternatives →
6
Dependently typed language for proofs that you can implement in one day▲138
The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language
2021 · github.com · its alternatives →
7
Beautiful Type Erasure with C++26 Reflection▲117
Try it on Compiler Explorer: https://godbolt.org/z/91dj5jeGW Check out the source code: https://github.com/RyanJK5/rjk-duck
Jul 2026 · ryanjk5.github.io · its alternatives →
8RM
Result monad for Elixir inspired by Rust Result type▲39
2021 · hexdocs.pm · its alternatives →
9
Artifact Keeper – Open-Source Artifactory/Nexus Alternative in Rust▲166
I'm a software engineer who keeps getting pulled into DevOps no matter how hard I try to escape it. I recently moved into a Lead DevOps Engineer role writing tooling to automate a lot of the pain away. On my own time outside of work, I built Artifact Keeper — a self-hosted artifact registry that supports 45+ package formats. Security scanning, SSO, replication, WASM plugins — it's all in the MIT-licensed release. No enterprise tier. No feature gates. No surprise invoices. Your package managers — pip, npm, docker, cargo, helm, go, all of them — talk directly to it using their native…
Feb 2026 · github.com · its alternatives →
10
Instant API – Build type-safe web APIs with JavaScript▲102
Hey there HN! I just wrapped up an all-day documentation spree for Instant API, a JavaScript framework for easily building web APIs that implements type safety at the HTTP interface. It uses a function-as-a-service approach combined with a slightly modified JSDoc spec to automatically enforce parameter and schema validation before HTTP requests make it through to your code. You just write comments above your endpoint functions and voila, enforced type safety contracts between your API endpoints and your developers. OpenAPI specifications are generated automatically as a byproduct of simply…
2023 · github.com · its alternatives →
11
Hsrs – Type-Safe Haskell Bindings Generator for Rust▲53
Hey everyone! I've been working on hsrs, a type-safe Haskell Bindings Generator for Rust. I couldn't really find any bindings generator that would create type-safe, rich bindings for Haskell from Rust. Naturally, both languages have rich type systems, so I was amazed that no awesome bindings generator already existed, hence I decided to write my own. hsrs feels very similar to pyo3 and napi-rs, and if you've used those, hsrs will feel right at home. What's unique about hsrs as opposed to hs-bindgen is that it has type-safe bindings for rich types, like Result, Maybe, etc. while also…
May 2026 · github.com · its alternatives →
12
An expression parser supporting multiple types▲33
This C library is part of a main project aimed at providing a reactive key-value (KV) database. The data is typed (numbers, strings, dates, or booleans) and can include formulas with references to other entries. Clients connected to this database receive a real-time data stream with updates to the subscribed keys, allowing them to react to changes and their dependencies. Essentially, it’s like building a distributed Excel, where data and formulas dynamically update across the system. I couldn’t find any libraries that offered the full set of features I needed for evaluating expressions, so I…
2024 · github.com · its alternatives →
13
Regolith – Regex library that prevents ReDoS CVEs in TypeScript▲27
I wanted a safer alternative to RegExp for TypeScript that uses a linear-time engine, so I built Regolith. Why: Many CVEs happen because TypeScript libraries are vulnerable to Regular Expression Denial of Service attacks. I learned about this problem while doing undergraduate research and found that languages like Rust have built-in protection but languages like JavaScript, TypeScript, and Python do not. This library attempts to mitigate these vulnerabilities for TypeScript and JavaScript. How: Regolith uses Rust's Regex library under the hood to prevent ReDoS attacks. The Rust Regex library…
2025 · github.com · its alternatives →
14
Typed-arrow – compile‑time Arrow schemas for Rust▲48
Hi community, we just released https://github.com/tonbo-io/typed-arrow. When working with arrow-rs, we noticed that schemas are declared at runtime. This often leads to runtime errors and makes development less safe. typed-arrow takes a different approach: - Schemas are declared at compile time with Rust’s type system. - This eliminates runtime schema errors. - And introduces no runtime overhead — everything is checked and generated by the compiler. If you’ve run into Arrow runtime schema issues, and your schema is stable (not defined or switched at runtime), this project…
2025 · github.com · its alternatives →
15
A pure Go library for interacting with LLVM IR▲81
Library for interacting with LLVM IR in pure Go. Contribute to llir/llvm development by creating an account on GitHub.
2017 · github.com · its alternatives →
16
OWebl – An OCaml Web Framework▲55
OCaml, Meet Web. Contribute to eatonphil/owebl development by creating an account on GitHub.
2015 · github.com · its alternatives →
17
A formally verified native Delta Lake implementation in Rust▲8
A native Rust library for Delta Lake, with bindings into Python - delta-io/delta-rs
2022 · github.com · its alternatives →
18TA
TypeAPI – An OpenAPI alternative optimized for code generation▲55
An OpenAPI alternative to describe REST APIs for type-safe code generation.
2023 · typeapi.org · its alternatives →
19
CXXStateTree – A modern C++ library for hierarchical state machines▲48
Hi HN! I've built [CXXStateTree](https://github.com/ZigRazor/CXXStateTree), a modern C++ header-only library to create hierarchical state machines with clean, intuitive APIs. It supports: - Deeply nested states - Entry/exit handlers - State transitions with guards and actions - Asynchronous transitions with `co_await` (C++20 coroutines) - Optional runtime type identification for flexibility It's ideal for complex control logic, embedded systems, games, robotics, and anywhere you'd use a finite state machine. I’d love feedback, use cases, or contributions from the…
2025 · github.com · its alternatives →
20
Condor – A library for building scalable TCP servers in Erlang▲65
A minimal library for building scalable TCP servers in Erlang - sinasamavati/condor
2018 · github.com · its alternatives →
21
An opinionated approach to have type safety in native JavaScript▲19
Post about Avocado, a small library and pattern guide to help you with type safety and data validation in native JavaScript.
2015 · rafelsberger.at · its alternatives →
22
I am developing a type safe colorspace library for Rust▲12
After two weeks of planning and figuring out how to manage conversions safely, I have finally published the first version of my crate :) It allows you to specify your own colortypes and easily use the same syntax for converting between your custom color types! I also started working on a custom image type that can do math :)
2022 · crates.io · its alternatives →
23
Pyrtls, rustls-based modern TLS for Python▲22
rustls-based modern TLS for Python. Contribute to djc/pyrtls development by creating an account on GitHub.
2024 · github.com · its alternatives →
24
Salt – a systems language with Z3 theorem proving in the compiler▲44
Hey HN, I wanted to share the new online playground for Salt (https://salt-lang.dev/playground/), a sovereign systems language designed for high-performance, distributed workloads where paying an "abstraction tax" is no longer acceptable. We started building Salt to bridge the gap between the raw power of manual pointer arithmetic and the safety guarantees of modern high-level languages. The architecture relies on an MLIR-based backbone and a Z3-powered "formal shadow," and the design is rooted in three main pillars: Fast Enough: The target is to stay within 20% of C's…
Jul 2026 · salt-lang.dev · its alternatives →

Also compare

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 →