Stars
762
Forks
72
Language
OCaml
Last Updated
May 04, 2024
Similar Repos
Repo | Language | Stars | Description | Updated At |
---|---|---|---|---|
OCaml | 27 | *DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers | May 09, 2020 | |
OCaml | 113 | Reagents for multicore OCaml | Aug 13, 2022 | |
OCaml | 9 | Tezos running on Multicore OCaml | May 03, 2022 | |
OCaml | 5 | OCurrent CI for multicore OCaml trees | Jan 10, 2022 | |
Makefile | 11 | Verifying bits of Multicore OCaml implementation | Jan 09, 2022 | |
OCaml | 6 | Low-level multicore utilities for OCaml | Jan 31, 2023 | |
None | 53 | OPAM repo for OCaml multicore development | Feb 19, 2022 | |
OCaml | 31 | Cpu topology and affinity for ocaml-multicore | Jul 11, 2022 | |
OCaml | 50 | Lock-free data structures for multicore OCaml | Aug 06, 2022 | |
OCaml | 8 | Property-based grey-box fuzzing for Multicore OCaml | Sep 14, 2021 | |
OCaml | 220 | Effects-based direct-style IO for multicore OCaml | Aug 29, 2022 | |
OCaml | 227 | Tutorial on Multicore OCaml parallel programming with domainslib | Aug 29, 2022 | |
OCaml | 19 | PBT testsuite and libraries for testing multicore OCaml | Dec 05, 2022 | |
OCaml | 30 | Lock-free Sets and Maps for OCaml multicore | Mar 03, 2023 | |
OCaml | 2 | Experimenting with Ocaml 5 zeroth release's multicore support | Oct 26, 2023 | |
OCaml | 9 | Lockless Multiple Producer Single Consumer Queue for ocaml-multicore | Apr 01, 2022 | |
OCaml | 12 | Parallel computation in OCaml - multicore for really poor people | Jan 31, 2021 | |
TeX | 30 | Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml … | Jun 19, 2022 | |
OCaml | 308 | Examples to illustrate the use of algebraic effects in Multicore OCaml | Aug 30, 2022 | |
None | 81 | A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects) | Aug 23, 2022 | |
None | 2 | Multicore monthlies | May 25, 2022 | |
OCaml | 13 | Vendor all the things for a quick way to get up and running with Multicore … | Mar 19, 2022 | |
Erlang | 3 | Multicore Twitter implementation | Nov 22, 2022 | |
TypeScript | 3 | Workshop for Multicore | Jan 17, 2023 | |
C | 9 | 64 bit multicore kernel | Oct 28, 2021 | |
HTML | 2 | MCUXpresso SDK Multicore Middleware | Mar 08, 2022 | |
Jupyter Notebook | 4 | multicore data processing templates | Apr 15, 2019 | |
OCaml | 3 | Documentation for atdgen | Nov 02, 2020 | |
OCaml | 3 | Investigating incomplete OCaml stack backtraces | Nov 02, 2020 | |
OCaml | 3 | OCaml-stuffed templates | Nov 02, 2020 | |
OCaml | 3 | Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias | Nov 02, 2020 | |
OCaml | 3 | How much stuff fits in a spherical shell of various dimensions? | Nov 02, 2020 | |
OCaml | 3 | Dynamic signal uniformization | Apr 07, 2021 | |
OCaml | 3 | Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … | Apr 18, 2020 | |
OCaml | 4 | An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. | Jan 25, 2022 | |
OCaml | 4 | Runtime and runner for a compiler from SQL to JavaScript | Mar 22, 2022 | |
OCaml | 4 | Pure OCaml parser for URIs for Geographic Locations | Apr 22, 2022 | |
OCaml | 4 | An automatic recursive function transformer. | May 13, 2022 | |
OCaml | 4 | API + Telegram bot + SPA for Dota 2 hero voicelines | Jun 07, 2021 | |
OCaml | 4 | None | Apr 01, 2019 | |
OCaml | 4 | Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … | Mar 09, 2020 | |
OCaml | 4 | Wrapper on top of libsvm-tools | Nov 16, 2021 | |
OCaml | 4 | Ocaml Learning | Dec 29, 2015 | |
OCaml | 4 | Mathematical proof checker which can be used to create Qeditas theories, signatures and documents | Sep 01, 2021 | |
OCaml | 4 | testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that | Aug 03, 2020 | |
OCaml | 4 | Tools for making, manipulating, and viewing cross-stitch patterns. | Feb 03, 2022 | |
OCaml | 4 | Spreadsheet demo code from http://semantic-domain.blogspot.com/2015/07/how-to-implement-spreadsheet.html with additional test harness | Jun 10, 2019 | |
OCaml | 4 | Repositório com o conteúdo de Testes Unitários que aprensentei na Disciplina de Qualidade e Teste … | Jul 20, 2022 | |
OCaml | 4 | None | Jan 14, 2019 | |
OCaml | 4 | Modular type checking using open types | Feb 12, 2016 |