bright-ml
ML compiler
A statically-typed programming language with a unique module system and support for type inference and mutually-recursive definitions.
A statically-typed programming language based on "F-ing modules"
80 stars
3 watching
1 forks
Language: Standard ML
last commit: over 4 years ago
Linked from 1 awesome list
f-ing-modules
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 cakeml/cakeml | A verified implementation of a subset of Standard ML language with formal verification and proof capabilities | 973 |
 jaseemabid/olifant | A language targeting LLVM with the goal of building a simple compiler | 64 |
 pltools/lama | A programming language designed to introduce concepts of programming languages, compilers, and tools in an educational setting | 71 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
 mmaul/clml | A high-performance statistical machine learning library written in Common Lisp | 261 |
 cloudkj/lambda-ml | A machine learning library written in Lisp (Clojure) providing simple implementations of various algorithms and utilities. | 76 |
 murisi/l2 | A minimalist language with procedural macro support | 135 |
 techascent/tech.ml | A Clojure-based machine learning library that provides a simple and stable way to perform regression and classification tasks. | 97 |
 ekami/torchlite | High-level library to simplify machine learning tasks by abstracting repetitive code | 32 |
 replit-archive/lol-coffee | A compiler and virtual machine for a fictional programming language | 24 |
 nilfoundation/zkllvm | Compiles high-level programming languages into input for provable computations protocols. | 304 |
 jmorag/mcc | Compiles the MicroC programming language into machine code using Haskell | 116 |
 codingtrain/machine-learning | A collection of resources and examples around machine learning for education and development | 954 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 tailhq/dynaml | An interactive machine learning development environment with support for Scala, JVM, and popular ML libraries. | 201 |