Alternatives

Products that do what Simple refined types implementation that can prevent Heartbleed does

1. 1DT
   Dependently typed language for proofs that you can implement in one day▲138

   2021 · github.com

2. 2RL
   Risp – Lisp in Rust▲314

   2019 · m.stopa.io

3. 3CA
   Cannoli – A compiler for a subset of Python written in Rust▲292

   2018 · github.com

4. 4AO
   An opinionated approach to have type safety in native JavaScript▲19

   2015 · rafelsberger.at

5. 5PA
   Poica – Algebraic data types and type introspection for pure C▲116

   2020 · github.com

6. 6FA
   Fo: An experimental language which adds generics on top of Go▲165

   2018 · github.com

7. 7AP
   A Python with Hindley-Milner-like type annotations, compiling to C▲134

   2015 · github.com

8. 8AT
   Askama – Type-safe, compiled Jinja-like templates for Rust▲82

   2017 · github.com

9. 9LI
   Lisp implementation in modern Java, Go, C#, TypeScript, Python▲128

   2021 · github.com

10. 10RI
    Rust Implementation of Conway's Game of Life▲76

    2020 · github.com

11. 11CF
    Compiler Fundamentals – Closure Conversion▲70

    2019 · gist.github.com

12. 12RM
    Result monad for Elixir inspired by Rust Result type▲39

    2021 · hexdocs.pm

13. 13LR
    Lightweight runtime types for vanilla JavaScript▲19

    2020 · github.com

14. 14CF
    Curry functions with a type-safe fluent API▲5

    2023 · github.com

15. 15AT
    A toy compiler of a Scala subset▲13

    2021 · mykolav.github.io

16. 16MO
    Mostly ORMless – Ergonomic Postgres from TypeScript▲14

    2019 · github.com

17. 17P8
    PEP 827 – TS-like type manipulation in Python▲7

    Mar 2026 · peps.python.org

18. 18AS
    A Showcase of OpenType Features▲22

    2020 · otf.show

19. 19AA
    Anytype – an offline-first private alternative to Notion▲20

    2020 · youtube.com

20. 20SP
    spe.py – A Simple Polymorphic Engine▲13

    2021 · github.com

21. 21ZO
    Zero-overhead compile-time builder pattern for Rust▲9

    2025 · github.com

22. 22XE
    Xtypejs – Efficient data-validating pseudo types for JavaScript▲10

    2015 · github.com

23. 23TK
    type-kanren – type-level microKanren in TypeScript▲5

    2025 · github.com

24. 24RL
    Rust-Lazy, safe, concurrent lazy evaluation▲6

    2014 · github.com

Ranked by how close each launch is in meaning, then by votes. Refine with a description →