Ahnfelt/AlgorithmWStepByStep
Type inference for ML-like languages. A port to F# of "Algorithm W Step by Step" by Martin Grabmüller.
Public GitHub Catalog
Discovered Sep 24, 2026
Ahnfelt / Editor
Experimental: A texmode editor that gets out of your way. Standard keyboard shortcuts, yet you don't *need* to leave the home row. It's being written (in Haskell), but it's not useable yet, and don't hold your breath.
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.
#1471288GitHub System ID
AhnfeltOrganization / User
PublicVisibility
ActiveCatalog Status
More from Ahnfelt
Ahnfelt/touch
Experimental: A touch programming language, for programming on smartphones etc.
Ahnfelt/tangible
Experimental: An experimental visual, functional programming language for touch screens
Ahnfelt/pickling
Fast, customizable, boilerplate-free pickling support for Scala