manticore
Parallel compiler
A compiler for a parallel programming language aimed at general-purpose applications on multi-core processors
Parallel ML compiler
71 stars
11 watching
7 forks
Language: Standard ML
last commit: over 6 years agoLinked from 1 awesome list
compilermanticoreparallelsml
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 jmorag/mcc | Compiles the MicroC programming language into machine code using Haskell | 116 |
 elpinal/bright-ml | A statically-typed programming language with a unique module system and support for type inference and mutually-recursive definitions. | 80 |
 sam46/paskell | A compiler that translates Pascal source code into LLVM IR and can be executed directly or used to generate native machine code. | 126 |
 cakeml/cakeml | A verified implementation of a subset of Standard ML language with formal verification and proof capabilities | 973 |
 anoma/juvix | A compiler for a programming language designed for decentralized applications with a focus on intent-centric and declarative programming. | 458 |
 l1mey112/crepl | A compiler and interpreter for executing C code on the fly as it is typed. | 29 |
 murisi/l2 | A minimalist language with procedural macro support | 135 |
 nickmqb/muon | A modern, statically typed low-level programming language with strong focus on performance and minimalism. | 773 |
 mikelma/oktac | A compiler for an experimental programming language called Okta | 27 |
 mrkkrp/megaparsec | An industrial-strength monadic parser combinator library. | 925 |
 hackerfoo/poprc | A compiler for a language that supports recursion and concatenative data structures with features like dependent types and partial evaluation | 244 |
 bydriv/mhc | A minimal implementation of a Haskell compiler | 63 |
 antoniogarrote/clj-ml | A Clojure library for machine learning built on top of Weka and friends | 148 |
 vmchale/kempe | A compiled stack-based language with a toy compiler for x86_64 and aarch64 targeting | 58 |
 maspwr/rtimbl | A Ruby interface to a machine-learning library written in C++ | 5 |