Simple refined types implementation that can prevent Heartbleed

In plain words

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 working with OCaml. It is hosted on GitHub and welcomes contributions from the development community.

written from the facts on this page · September 2026

• 
  A strongly-typed document DB that runs on any transactional KV store2021 · github.com · ▲113

  A strongly-typed document database that runs on any transactional key-value store. - losfair/RefineDB

• 
  Farolero – Common Lisp style-conditions and restarts for Clojure2021 · github.com · ▲150

  Thread-safe Common Lisp style conditions and restarts for Clojure(Script) and Babashka. - IGJoshua/farolero

• FS
  Fuse – statically typed functional programming languageAug 2026 · fuselang.org · ▲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…

• 
  Uniform GraphQL2021 · uniform-graphql.whatsgood.dog · ▲65

  GraphQL APIs in TypeScript with complete e2e type safety

• 
  Dependently typed language for proofs that you can implement in one day2021 · github.com · ▲138

  The cuteness implementation of a dependently typed language. - caotic123/PomPom-Language

• 
  Beautiful Type Erasure with C++26 ReflectionJul 2026 · ryanjk5.github.io · ▲117

  Try it on Compiler Explorer: https://godbolt.org/z/91dj5jeGW Check out the source code: https://github.com/RyanJK5/rjk-duck

• 
  /dev/null▲472

  a social network for devs

  Dev tools · 2d ago · dev-null.sh

• 
  Whiteboard (YC W26) – an open-source IDE for thoughtful software design▲423

  open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.

  Dev tools · 27d ago · github.com

• 
  Reladraw – A diagram language where you decide where to place things▲411

  Contribute to reladraw/reladraw development by creating an account on GitHub.

  Dev tools · 25d ago · github.com

• 
  OpenBot▲362

  Grok Bot alternative: free, local, open-source, multiplayer

  Dev tools · 22d ago · openbot.run

• 
  Talanoa▲340

  Hi HN, I’m a fullstack developer, and honestly, I’ve lost count of how many side projects I’ve worked on over the years. But one idea kept coming back to me: a different kind of email client. It first came to me in 2014: “What if we could handle emails more like conversations?” Every year, I’d revisit this concept in my “Build Notes.” Ten years later, no one had built exactly what I had in mind — so I finally decided to do it myself. That’s how Talanoa was born. I wanted something focused on people, not timelines. I was tired of marking messages as unread just to remember to reply later, or…

  Dev tools · 20d ago · talanoa.email

• 
  CoreSpeed▲332

  One MCP for everything your agents need: apps, memory, tools

  Dev tools · 27d ago · corespeed.io

• 
  Stripe▲408

  Payment integration and management.

  Commerce · 2014 · stripe.com

• 
  Grammarly▲385

  Clear, effective, mistake-free writing.

  Work · 2014 · grammarly.com

• 
  Notifyr▲338

  Receive iOS notifications on your Mac

  Life & fun · 2014 · getnotifyr.com

• 
  JustReachOut▲270

  Forget PR firms, pitch relevant journalists on your own

  Growth · 2014 · justreachout.io

• 
  SHRTURL▲269

  Edit any webpage. Get short URL. Troll your friends!

  Life & fun · 2014

• 
  Yo▲256

  A simple app to say "yo" to friends

  Life & fun · 2014 · justyo.co