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
ClawBench
ClawBench

cajal-technologies/talos

Wasm interpreter in lean, designed for reasoning

Visit GitHub
Lean
191
39
9 contributors
GNU Affero General Public License v3.0
AchievementsView all →
FeaturedAdvertise to 180K+ monthly visitors
Bifrost

Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

ClawBench

a benchmark for personal agents

Momentum

How fast cajal-technologies/talos 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

Aug 25 – Oct 24, 2026

Stars +30 in 61 days

012
2

Forks +15 in 61 days

012
2

Merged PRs 43 in 61 days

051015
13

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

Top 25 in Lean

13752225131724132320201012
Aug 25Sep 2Sep 10Sep 18Sep 26Oct 4Oct 12Oct 20
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 PRsLean
Tue, Aug 25, 2026+1+00#13
Wed, Aug 26, 2026+0+00Not trending
Thu, Aug 27, 2026+2+01#7
Fri, Aug 28, 2026+0+02Not trending
Sat, Aug 29, 2026+0+00Not trending
Sun, Aug 30, 2026+0+00Not trending
Mon, Aug 31, 2026+0+013Not trending
Tue, Sep 1, 2026+0+17Not trending
Wed, Sep 2, 2026+2+06#5
Thu, Sep 3, 2026+0+01Not trending
Fri, Sep 4, 2026+0+00Not trending
Sat, Sep 5, 2026+1+00#22
Sun, Sep 6, 2026+0+00Not trending
Mon, Sep 7, 2026+0+01Not trending
Tue, Sep 8, 2026+0+10Not trending
Wed, Sep 9, 2026+1+00#25
Thu, Sep 10, 2026+0+01Not trending
Fri, Sep 11, 2026+0+10Not trending
Sat, Sep 12, 2026+1+20#13
Sun, Sep 13, 2026+1+00#17
Mon, Sep 14, 2026+1+00Not trending
Tue, Sep 15, 2026+0+10Not trending
Wed, Sep 16, 2026+0+00Not trending
Thu, Sep 17, 2026+0+01Not trending
Fri, Sep 18, 2026+0+10Not trending
Sat, Sep 19, 2026+0+00Not trending
Sun, Sep 20, 2026+0+00Not trending
Mon, Sep 21, 2026+1+00#24
Tue, Sep 22, 2026+0+10Not trending
Wed, Sep 23, 2026+2+00#13
Thu, Sep 24, 2026+1+10#23
Fri, Sep 25, 2026+1+00Not trending
Sat, Sep 26, 2026+1+00Not trending
Sun, Sep 27, 2026+0+00Not trending
Mon, Sep 28, 2026+1+20Not trending
Tue, Sep 29, 2026+1+20Not trending
Wed, Sep 30, 2026+1+10Not trending
Thu, Oct 1, 2026+1+00Not trending
Fri, Oct 2, 2026+0+00Not trending
Sat, Oct 3, 2026+0+00Not trending
Sun, Oct 4, 2026+0+00Not trending
Mon, Oct 5, 2026+1+01Not trending
Tue, Oct 6, 2026+1+09#20
Wed, Oct 7, 2026+0+00Not trending
Thu, Oct 8, 2026+1+00Not trending
Fri, Oct 9, 2026+0+00Not trending
Sat, Oct 10, 2026+1+10#20
Sun, Oct 11, 2026+0+00Not trending
Mon, Oct 12, 2026+0+00Not trending
Tue, Oct 13, 2026+2+00#10
Wed, Oct 14, 2026+2+00#12
Thu, Oct 15, 2026+1+00Not trending
Fri, Oct 16, 2026+0+00Not trending
Sat, Oct 17, 2026+0+00Not trending
Sun, Oct 18, 2026+0+00Not trending
Mon, Oct 19, 2026+0+00Not trending
Tue, Oct 20, 2026+0+00Not trending
Wed, Oct 21, 2026+0+00Not trending
Thu, Oct 22, 2026+0+00Not trending
Fri, Oct 23, 2026+1+00Not trending
Sat, Oct 24, 2026+0+00Not trending
Total+30+1543
  • 1#1 on the list
  • 7Rank that day
  • Not trending

    • Mentions and achievements

    Where people are talking about cajal-technologies/talos, and every badge it has earned
    1. Aug 311 post

      • We finished a proof that our rust mergesort is correct. We verified the exact binary compiled to WASM with LEAN. LEAN is very pedantic and won't let us skip anything, so we handled allocator, IO and…

        Read full on X, posted by @mnaeraxr

        @mnaeraxr · x.com

    2. 2 months earlier
    3. Jun 201 post

      • 3/ SubQ 1.1 Small — Technical report on the new compact SubQ 1.1 Small model.

        Read full on X, posted by @maksdizzy

        @maksdizzy · x.com

    4. Jun 193 posts4 posts

      • Wasm interpreter in lean, designed for reasoning

        Read full on Reddit

        r/WebAssemblyDev

      • Building a robotics research setup that lives next to my desk (

        Read full on X, posted by @betterhn50

        @betterhn50 · x.com

      • Setting Up a New Windows Laptop in 2026 (

        Read full on X, posted by @betterhn20

        @betterhn20 · x.com

      • Show HN: Talos – Open-source WASM interpreter for Lean

        Read full on Reddit

        r/hypeurls

    5. Jun 181 post

      • Show HN: Talos – Open-source WASM interpreter for Lean

        Read full on Hacker News

        Hacker News

    6. 27 days earlier
    7. May 221 post

      • I'm currently working in a formal system to verify arbitrary WASM programs. We built a wasm interpreter in lean that allows to reason about properties of a program, by claiming what is the output of…

        Read full on X, posted by @mnaeraxr

        @mnaeraxr · x.com

    You might also like

    Repositories close to cajal-technologies/talos
    FeaturedAdvertise to 180K+ monthly visitors
    ClawBench

    a benchmark for personal agents

    Bifrost

    Enterprise AI Gateway Built For Scale: Route, Govern, and Secure All Your AI Traffic

    WasmCert/WasmCert-Coq

    Rocq Prover

    A mechanisation of Wasm in Rocq

    12720

    nasa/spacewasm

    Rust

    A flight-compliant WebAssembly interpreter.

    1.6k74

    ilyasergey/vermilion

    Lean

    Vermilion: Verus meets Lean

    624

    wasmi-labs/wasmi

    Rust

    WebAssembly (Wasm) Interpreter - An efficient, lightweight, and deterministic WebAssembly interpreter for embedded systems and plug-in runtimes.

    2.3k325

    titzer/wizard-engine

    WebAssembly

    Research WebAssembly Engine

    51453

    WebAssembly/spec

    WebAssembly

    WebAssembly specification, reference interpreter, and test suite.

    3.5k494

    verse-lab/velvet

    Lean

    An auto-active program verifier in Lean

    13111

    yamt/toywasm

    C

    A WebAssembly interpreter written in C

    12014

    OCamlPro/owi

    OCaml

    Owi: Seamless program analysis for C, C++, Go, Haskell, LLVM, Rust, Wasm and Zig.

    32842