Abstract Calculus, a massively parallel model of computation
Contribute to VictorTaelin/abstract-calculus development by creating an account on GitHub.
Abstract Calculus, a massively parallel model of computation launched on August 28, 2018 with 5 votes, #1,276 of 2,619 launches that month and more than 50% of that year's launches. The site was still online in September 2026, 8 years on.
Does a similar job
all alternatives →
Caramel – a modern syntax for the lambda calculus2015 · github.com · ▲130A modern syntax for the λ-calculus. Contribute to VictorTaelin/Caramel development by creating an account on GitHub.
MathLingua – A Structured Language of Mathematics2021 · mathlingua.org · ▲97- ICInteractive Calculus via LaTeX2018 · ximera.osu.edu · ▲114
Ximera provides the backend technology for online courses
- PWProgramming with Pure Lambda Calculus2023 · bruijn.marvinborner.de · ▲61
Functional programming language based on pure de Bruijn indexed lambda calculus.
I wrote a Haskell program that does my intro logic homework2016 · github.com · ▲9Propositional calculus in Haskell. Contribute to ColemanGariety/derivation-machine development by creating an account on GitHub.
A reference implementation of Turing's paper “On Computable Numbers”2023 · github.com · ▲63Hey HN! I've been curious about the history of computer science and decided to try to read Turing's 1936 paper where he conceptualizes the Turing Machine, etc. I had trouble understanding the paper, read The Annotated Turing by Charles Petzold (which is wonderful), but felt that reading a reference implementation would help formalize my understanding. When I couldn't find an open source implementation, I decided to write my own. The implementation includes: - Abbreviated tables (m-functions) - Conversions to Standard Descriptions and Description Numbers - A working universal machine - A…
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 · 28d ago · github.com
Contribute to reladraw/reladraw development by creating an account on GitHub.
Dev tools · 26d ago · github.com
OpenBot▲362Grok Bot alternative: free, local, open-source, multiplayer
Dev tools · 24d ago · openbot.run
Talanoa▲346Hi 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▲332One MCP for everything your agents need: apps, memory, tools
Dev tools · 29d ago · corespeed.io
Source: Show HN post ↗
Launched alongside, August 2018
the whole month →- IM
Life & fun · 2018 · bitbucket.org
Create unique illustrations for websites & applications.
Dev tools · 2018 · craftwork.design
Retool▲640Hi all, founder @ Retool here. We initially launched Retool on HN five years ago: https://news.ycombinator.com/item?id=14515494. The feedback was extraordinarily helpful then (e.g. we launched source control, on-prem, etc. based on HN comments), and we’re grateful for all of it. Today, we’re excited to get HN’s thoughts on one of our new products: Retool Mobile. It lets you build and deploy mobile apps in minutes, not days. The idea is there is a large class of line-of-business mobile apps, and the process of getting a simple form + button on a mobile device, in a native app,…
Dev tools · 2018 · retool.com
Pts is a javascript library for visualization and creative-coding.
Dev tools · 2018 · ptsjs.org
Build, deploy, and manage internal tools with Retool's unified engine. Connect to any database, API, or LLM. Leverage AI throughout your business.
AI · 2018 · tryretool.com