SaaSHub helps you find the best software and product alternatives Learn more →
Standard ML theoremproving Projects


InfluxDB
Power RealTime Data Analytics at Scale. Get realtime insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in realtime with unbounded cardinality.
Project mention: CakeML: A formally verified implementation of ML  news.ycombinator.com  20240514
NOTE:
The open source projects on this list are ordered by number of github stars.
The number of mentions indicates repo mentiontions in the last 12 Months or
since we started tracking (Dec 2020).
Standard ML theoremproving discussion
Standard ML theoremproving related posts

CakeML: A formally verified implementation of ML

CakeML – A Verified Implementation of ML

Tools for Verifying a Language and its Semantics

CakeML: A Verified Implementation of ML

VLISP: A Verified Implementation of Scheme [pdf]

Trusting trust, the unsolved security problem

Please critique Pancake, my first ever langdev project!

A note from our sponsor  SaaSHub
www.saashub.com  19 Jun 2024
Index
Project  Stars  

1  cakeml  923 