Compile-time typechecked Akka actors

In plain words

Typed-actors is a development tool that adds compile-time type checking to Akka actors. It enables developers to catch type errors during compilation rather than at runtime, reducing bugs in actor-based systems. The project is hosted on GitHub and welcomes community contributions for ongoing development.

written from the facts on this page · September 2026

• 
  Hacker Typer2014 · hackertyper.net · ▲289

  Type as if you're a hacker

• 
  Go Actor Model, fast distributed actors for Golang2016 · github.com · ▲115

  Proto Actor - Ultra fast distributed actors for Go, C# and Java/Kotlin - asynkron/protoactor-go

• 
  Coerce – Actor runtime for Rust using async/await and tokio channels2019 · github.com · ▲155

  Actor runtime and distributed systems framework for Rust - LeonHartley/Coerce-rs

• 
  Typechecked – boilerplate-free state transformations with redux-modules2016 · github.com · ▲11
• 
  Conway's Game of Life in TypeScript's type system2023 · github.com · ▲186

  TypeScript playground: https://www.typescriptlang.org/play?#code/KYDwDg9gTgLgBDAnmY...

• 
  Typed-arrow – compile‑time Arrow schemas for Rust2025 · github.com · ▲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…

• 
  /dev/null▲489

  a social network for devs

  Dev tools · 3d 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 · 28d 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 · 26d ago · github.com

• 
  OpenBot▲362

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

  Dev tools · 23d ago · openbot.run

• 
  Talanoa▲346

  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 · 21d ago · talanoa.email

• 
  CoreSpeed▲332

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

  Dev tools · 29d ago · corespeed.io

• 
  Brain.fm▲957

  Music for the brain to improve focus, meditation & sleep

  AI · 2015 · brain.fm

• 
  Something pointless I made▲747

  Life & fun · 2015 · dn.ht

• PA
  Parinfer – a simpler way to write Lisp▲674

  Parinfer - simpler Lisp editing

  Life & fun · 2015 · shaunlebron.github.io

• 
  Motion AI▲634

  Easily build chatbots to do anything, on any platform!

  AI · 2015 · motion.ai

• 
  f.lux for iOS▲596

  Auto adjust your iOS display based on the time of day

  Dev tools · 2015 · justgetflux.com

• 
  Fieldbook▲592

  Create a database, as easily as a spreadsheet

  Dev tools · 2015 · fieldbook.com