CakeML/cakeml

24h trend summary

Trending score 0.05, activity score 0.05, stars gained not enough history, forks gained not enough history.

Latest metric snapshot

2026-06-05: 1,160 stars and 96 forks.

Similar repositories

1. 1. CakeML/cakeml

   CakeML: A Verified Implementation of ML

   GitHub repository with 1,160 stars and 96 forks.

   Trending score: 0.05.

   Language: Standard ML

   Topics: programming-language, formal-verification, formal-semantics, compiler, theorem-proving, hol

Trending in Standard ML

1. 1. composer/getcomposer.org

   getcomposer.org sources

   GitHub repository with 566 stars and 499 forks.

   Trending score: 0.50; stars gained: +1; forks gained: +0.

   Language: Standard ML

2. 2. GoldenCheetah/GoldenCheetah

   Performance Software for Cyclists, Runners, Triathletes and Coaches

   GitHub repository with 2,143 stars and 468 forks.

   Trending score: 0.32; stars gained: +1; forks gained: +0.

   Language: Standard ML

   Topics: linux, macos, windows, c-plus-plus, qt, cycling

3. 3. bkywksj/aicoder-release

   智码 AICoder 是一款轻量级桌面应用，专为 Claude Code CLI 用户打造。它提供了可视化的会话管理、终端集成和开发效率工具，让你在桌面端高效使用 Claude Code 进行 AI 辅助编程。

   GitHub repository with 14 stars and 3 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +0.

   Language: Standard ML

4. 4. IBM/cloud-pak

   IBM Cloud Paks are enterprise-grade containerized software by combining container images with enterprise capabilities for deployment in production use cases with integrations for management and lifecycle operations. Features such as pre-configured deployments based on product expertise, rolling upgrades, and management of production workloads.

   GitHub repository with 145 stars and 146 forks.

   Trending score: 0.05; stars gained: +0; forks gained: +0.

   Language: Standard ML

5. 5. CakeML/cakeml

   CakeML: A Verified Implementation of ML

   GitHub repository with 1,160 stars and 96 forks.

   Trending score: 0.05.

   Language: Standard ML

   Topics: programming-language, formal-verification, formal-semantics, compiler, theorem-proving, hol

Trending topic: programming-language

1. 1. golang/go

   The Go programming language

   GitHub repository with 134,282 stars and 19,098 forks.

   Trending score: 2.97; stars gained: +45; forks gained: +3.

   Language: Go

   Topics: programming-language, language, go, golang

2. 2. JetBrains/kotlin

   The Kotlin Programming Language.

   GitHub repository with 52,806 stars and 6,324 forks.

   Trending score: 2.08; stars gained: +9; forks gained: +6.

   Language: Kotlin

   Topics: kotlin, programming-language, compiler, gradle-plugin, maven-plugin, kotlin-library

3. 3. odin-lang/Odin

   Odin Programming Language

   GitHub repository with 10,566 stars and 973 forks.

   Trending score: 1.68; stars gained: +30; forks gained: +5.

   Language: Odin

   Topics: odin-programming-language, odin, language, compiler, odin-lang, programming-language

4. 4. JuliaLang/julia

   The Julia Programming Language

   GitHub repository with 48,745 stars and 5,783 forks.

   Trending score: 1.16; stars gained: +15; forks gained: +0.

   Language: Julia

   Topics: julia-language, julia, scientific, hpc, numerical, machine-learning

5. 5. dart-lang/sdk

   The Dart SDK, including the VM, JS and Wasm compilers, analysis, core libraries, and more.

   GitHub repository with 11,173 stars and 1,823 forks.

   Trending score: 0.97; stars gained: +7; forks gained: +2.

   Language: Dart

   Topics: dart, language, programming-language, sdk

6. 6. tauraro/tauraro

   A compiled, statically-typed programming language with Python-style syntax, Rust-level performance, and full bilingual (English + Hausa) keyword support.

   GitHub repository with 42 stars and 11 forks.

   Trending score: 0.95; stars gained: +8; forks gained: +1.

   Language: C

   Topics: easy, friendly, native, programming-language, systems-programming, very-fast