Sum Types for Ruby
Sum types for Ruby. Contribute to nahiluhmot/sums_up development by creating an account on GitHub.
Sum Types for Ruby launched on June 30, 2021 with 7 votes, #1,389 of 3,650 launches that month and more than 50% of that year's launches. The site was still online in September 2026, 5 years on.
Does a similar job
all alternatives →
Sum (algebraic) types for C in one 100 line header2024 · github.com · ▲92A mirror of https://git.sr.ht/~grego/sumtypes.h. Contribute to grego/sumtype.h development by creating an account on GitHub.
Ruby static type checker – proof of concept2017 · github.com · ▲115⛑ Fork of diamondback-ruby. Contribute to stereobooster/diamondback-ruby development by creating an account on GitHub.
A tool to build Ruby gems with less ends2021 · github.com · ▲6To make anything from macros. Contribute to ch1c0t/bgem development by creating an account on GitHub.
Program Synthesis for Ruby2022 · github.com · ▲82Program synthesis for Ruby. Contribute to ku-progsys/rbsyn development by creating an account on GitHub.
A utility for running exhaustiveness checks on “sum types” in Go2017 · github.com · ▲75A simple utility for running exhaustiveness checks on Go "sum types." - BurntSushi/go-sumtype
"type safety" for Ruby 2.1.02013 · github.com · ▲6A horrible demonstration of a new Ruby concept. Contribute to afiler/safetyblanket development by creating an account on GitHub.
More dev tools this month
the category →
open-source IDE for thoughtful software design. Contribute to devdotfast/whiteboard development by creating an account on GitHub.
Dev tools · 27d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 25d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 22d ago · openbot.run
Talanoa▲343Hi 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▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 28d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, June 2021
the whole month →
An iPod Classic built for the web.
Life & fun · 2021 · tannerv.com
100,000 icons, illustrations, & emojis, customize in seconds
Work · 2021 · app.streamlinehq.com