Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Catalog / Ahnfelt / AlgorithmWStepByStep
Public GitHub Catalog Discovered Oct 2, 2026

Ahnfelt / AlgorithmWStepByStep

Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.

View repository on GitHub ↗ View creator profile Browse directory

About this discovery

This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.

#23805330GitHub System ID
AhnfeltOrganization / User
PublicVisibility
ActiveCatalog Status

More from Ahnfelt

↗

Ahnfelt/touch

Experimental: A touch programming language, for programming on smartphones etc.

Discovered
↗

Ahnfelt/tangible

Experimental: An experimental visual, functional programming language for touch screens

Discovered
↗

Ahnfelt/pickling

Fast, customizable, boilerplate-free pickling support for Scala

Discovered
FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.