Hemlock

Parallel language

A systems programming language focused on reliable high performance parallel computation

Programming language

GitHub

31 stars
5 watching
3 forks
Language: OCaml
last commit: almost 2 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
pikatchu/linearmlA programming language designed to write efficient parallel programs using functional principles.432
mukul-rathi/boltA language that automatically prevents data races in concurrent code581
ocaml-multicore/parallel-programming-in-multicore-ocamlA tutorial on writing parallel programs using the Multicore OCaml compiler and its libraries.285
mlin/forkworkLibrary to efficiently parallelize computationally intensive tasks using multiple cores19
ocaml-multicore/multicore-talksRepository containing slides and examples to help developers parallelize their OCaml code using the Multicore OCaml library29
ocaml/merlinProvides context-sensitive completion for the OCaml programming language in text editors.1,593
chapel-lang/chapelA parallel programming language designed to support large-scale computations on diverse architectures.1,806
hamler-lang/hamlerA 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/philip2An Elm to OCaml compiler that enables porting of codebases from one language to another204
sanderspies/ocamlA WebAssembly backend for the OCaml programming language79
lehy/ocaml-sklearnEnables machine learning with scikit-learn in OCaml34
unixjunkie/paranyA tool for parallelizing computations and processing large streams of data52
rhysd/gocamlAn implementation of a statically-typed functional programming language in Go using LLVM and building its own compiler from scratch.749
tomahawkins/improveA Haskell-based language for high-assurance embedded applications with model checking and compilation to multiple platforms.57
philtomson/rhdlA Ruby language and framework for designing and describing digital hardware systems14