cakeml
by CakeML
CakeML: A Verified Implementation of ML
AI summary
ML compiler
A verified implementation of a subset of Standard ML language with formal verification and proof capabilities
- stars
- 973
- forks
- 85
- watching
- 44
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
ML compiler
A statically-typed programming language with a unique module system and support for type inference and mutually-recursive definitions.
qmlc/qmlc140
QML compiler
A compiler and loader for Qt's QML language, optimizing compilation and runtime performance.
Compiler
A Haskell implementation of a compiler for a custom programming language
Language teaching tool
A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting
Compiler
A compiler and virtual machine for a fictional programming language
Compiler
A compiler and interpreter for executing C code on the fly as it is typed.
Concurrent programming language
A functional programming language with support for concurrent and distributed computing, extending Standard ML with various features.
Compiler language
A language targeting LLVM with the goal of building a simple compiler
Compiler
Compiles high-level programming languages into input for provable computations protocols.
ML library
A machine learning library written in Lisp (Clojure) providing simple implementations of various algorithms and utilities.
Decentralized ML platform
A proof-of-concept implementation of decentralized machine learning on top of the Golem architecture
dask/dask-ml907
Machine Learning Engine
A Python library for scalable machine learning using Dask alongside popular ML libraries
Pascal compiler
A compiler that translates Pascal source code into LLVM IR and can be executed directly or used to generate native machine code.
jmorag/mcc116
Compiler
Compiles the MicroC programming language into machine code using Haskell
Compiler
A compiler for a toy language based on LLVM that implements the System Fω type-system
Featured in 1 awesome list
Each link jumps to the spot where the list mentions cakeml.
