Footer

Your go-to destination for discovering trending open-source projects and uncovering the insights that matter

Legal

  • Terms and conditions
  • Privacy policy

More

  • Pricing
  • Advertise
  • onedump
  • gosnakego
  • Contact us

Social

  • X (Twitter)
  • GitHub
Trendshift owl
What they build speaks louder than words
© 2026 Trendshift, created by Julian Li with ❤️
SignalAdvertise
Trendshift
SignalAdvertise
Sign in
Trendshift owl

Discover trends that matter

DailyWeeklyMonthlyYearly
Live mentionsTopics
RepositoriesDevelopers
InsightsStats
Bifrost
Bifrost

Arrow7000/fhm

A Hindley-Milner language formalised in Lean 4 – proven type-safe, and runnable

Visit GitHub
Lean
21
1 contributors
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

Momentum

How fast Arrow7000/fhm is gaining stars, and where it lands on Trendshift and GitHub Trending

Activity and trending

Stars, forks and merged pull requests each day or month, lined up with the repository's rank on Trendshift Trending

Sep 14 – Oct 27, 2026

Stars +3 in 44 days

01
1

Forks +0 in 44 days

01

Merged PRs 0 in 44 days

01

Trendshift Trendingwhere the repository ranked each day it made the top 25

Not in the Trendshift top 25 in this period

Sep 14Sep 20Sep 26Oct 2Oct 8Oct 14Oct 20Oct 26
The left and right arrow keys step from day to day; Home and End go to the first and the last

Stars, forks, merged pull requests and Trendshift Trending rank, by day
DayStars gainedForks gainedMerged PRs
Mon, Sep 14, 2026+1+00
Tue, Sep 15, 2026+0+00
Wed, Sep 16, 2026+0+00
Thu, Sep 17, 2026+0+00
Fri, Sep 18, 2026+0+00
Sat, Sep 19, 2026+0+00
Sun, Sep 20, 2026+0+00
Mon, Sep 21, 2026+0+00
Tue, Sep 22, 2026+0+00
Wed, Sep 23, 2026+0+00
Thu, Sep 24, 2026+0+00
Fri, Sep 25, 2026+0+00
Sat, Sep 26, 2026+0+00
Sun, Sep 27, 2026+0+00
Mon, Sep 28, 2026+0+00
Tue, Sep 29, 2026+0+00
Wed, Sep 30, 2026+0+00
Thu, Oct 1, 2026+0+00
Fri, Oct 2, 2026+0+00
Sat, Oct 3, 2026+0+00
Sun, Oct 4, 2026+0+00
Mon, Oct 5, 2026+0+00
Tue, Oct 6, 2026+1+00
Wed, Oct 7, 2026+0+00
Thu, Oct 8, 2026+0+00
Fri, Oct 9, 2026+0+00
Sat, Oct 10, 2026+0+00
Sun, Oct 11, 2026+0+00
Mon, Oct 12, 2026+0+00
Tue, Oct 13, 2026+0+00
Wed, Oct 14, 2026+0+00
Thu, Oct 15, 2026+1+00
Fri, Oct 16, 2026+0+00
Sat, Oct 17, 2026+0+00
Sun, Oct 18, 2026+0+00
Mon, Oct 19, 2026+0+00
Tue, Oct 20, 2026+0+00
Wed, Oct 21, 2026+0+00
Thu, Oct 22, 2026+0+00
Fri, Oct 23, 2026+0+00
Sat, Oct 24, 2026+0+00
Sun, Oct 25, 2026+0+00
Mon, Oct 26, 2026+0+00
Tue, Oct 27, 2026+0+00
Total+3+00
  • 1#1 on the list
  • 7Rank that day
  • Not trending

Mentions and achievements

    • Where people are talking about Arrow7000/fhm, and every badge it has earned
    1. Oct 61 post

      • @ChShersh @leostera https://t.co/MOUZeHVWge

        Read full on X, posted by @Aron_Adler

        @Aron_Adler · x.com

    2. 21 days earlier
    3. Sep 151 post

      • i don't really understand why sometimes it stops after 20m and other times it keeps working for 11 hours(!!) nonstop but i'll happily accept the latter whenever it happens

        Read full on X, posted by @Aron_Adler

        @Aron_Adler · x.com

    4. 2 months earlier
    5. Jul 151 post

      • might finally be time to start work on the lexer and parser now so this language is actually authorable by human hands

        Read full on X, posted by @Aron_Adler

        @Aron_Adler · x.com

    6. 11 days earlier
    7. Jul 41 post

      • we should get clankers to build our compilers for us and formally prove our compilers correct 😌

        Read full on X, posted by @Aron_Adler

        @Aron_Adler · x.com

    You might also like

    Repositories close to Arrow7000/fhm
    FeaturedAdvertise to 180K+ monthly visitors
    Bifrost

    Fastest Enterprise AI Gateway for Routing, Governing, and Securing all your AI Traffic

    hazelgrove/hazel

    Reason

    Hazel, a live functional programming environment with typed holes

    1.2k71

    sdiehl/typechecker-zoo

    Rust

    A menagerie of cute implementations of modern typechecking algorithms

    46319

    getify/foi-lang

    JavaScript

    Foi: a different kind of functional programming language

    33219

    caotic123/PomPom-Language

    Haskell

    The cuteness implementation of a dependently typed language.

    1935

    7sharp9/write-you-an-inference-in-fsharp

    F#

    Different type inference algorithms implemented in F#

    1689

    hkust-taco/mlscript

    Scala

    The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

    22935

    Storyyeller/1subml

    Rust

    The 1SubML programming language - unified module and value language, structural subtyping, global type inference, higher rank polymorphic types, existential types, higher kinded types (no partial application), recursive types, worst-case polynomial time type checking and much more.

    61

    idris-lang/Idris2

    Idris

    A purely functional programming language with first class types

    3.1k415

    tttmmmyyyy/fixlang

    Rust

    A simple, fast, functional language.

    823