Open Source Atlas
C

cakeml

@CakeML

CakeML: A Verified Implementation of ML

BSD-3-Clause Commit 1 dag geleden ★ 1.199

Pijlers en weging

Soevereiniteit 30% 53
Onderhoud 25% 100
Beveiliging 20% 40
Adoptie 15% 22
Open standaarden 10% 0

Waarom deze score

  • BSD-3-Clause (permissief)
  • Laatste commit 0 dagen geleden
  • Uitgebracht in de afgelopen 12 maanden
  • OpenSSF Scorecard 4.0/10
  • Top 78% naar sterren in Developer Tools › Developer Utilities

Feiten

Licentie
BSD-3-Clause (Permissief)
Taal
Standard ML
GitHub-sterren
1.199
Laatste commit
2026-09-27 (1 dag geleden)
Laatste release
2026-08-26T06:23:54Z
OpenSSF Scorecard
4/10
Zelf hosten
Niet vastgesteld
Maintainer-locatie
Onbekend
Bron
github-crawl

Alternatieven in Developer Utilities

01
C
Coder

Remote development machines on your own infrastructure.

87 02
E
Eclipse Che

Open source workspace server and cloud IDE.

85 03
O
open-connector

Open-source auth gateway connecting 1500+ SaaS providers to AI agents through SDK, CLI, MCP, HTTP, and OpenAPI.

78 04
A
avante.nvim

Use your Neovim like using Cursor AI IDE!

78