Hemlock
Parallel language
A systems programming language focused on reliable high performance parallel computation
Programming language
31 stars
5 watching
3 forks
Language: OCaml
last commit: 15 days ago
Linked from 1 awesome list
learn-anything/programming-languagesRelated projects:
| Repository | Description | Stars |
|---|---|---|
 pikatchu/linearml | A programming language designed to write efficient parallel programs using functional principles. | 432 |
 mukul-rathi/bolt | A language that automatically prevents data races in concurrent code | 575 |
 ocaml-multicore/parallel-programming-in-multicore-ocaml | A tutorial on writing parallel programs using the Multicore OCaml compiler and its libraries. | 284 |
 mlin/forkwork | Library to efficiently parallelize computationally intensive tasks using multiple cores | 19 |
| ocaml-multicore/multicore-talks | Repository containing slides and examples to help developers parallelize their OCaml code using the Multicore OCaml library | 29 |
 ocaml/merlin | Provides context-sensitive completion for the OCaml programming language in text editors. | 1,590 |
 chapel-lang/chapel | A parallel programming language designed to support large-scale computations on diverse architectures. | 1,800 |
 hamler-lang/hamler | A Haskell-style functional programming language designed to run on the Erlang Virtual Machine (BEAM), focusing on compile-time type checking and concurrency. | 1,031 |
 darklang/philip2 | An Elm to OCaml compiler that enables porting of codebases from one language to another | 205 |
 sanderspies/ocaml | A WebAssembly backend for the OCaml programming language | 79 |
 lehy/ocaml-sklearn | Enables machine learning with scikit-learn in OCaml | 34 |
 unixjunkie/parany | A tool for parallelizing computations and processing large streams of data | 52 |
 rhysd/gocaml | An implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch. | 749 |
 tomahawkins/improve | A Haskell-based language for high-assurance embedded applications with model checking and compilation to multiple platforms. | 56 |
 philtomson/rhdl | A Ruby-based language for describing and modeling digital circuits and hardware systems. | 14 |