|
OCaml |
27 |
*DEPRECATED: See ocaml-multicore/ocaml-multicore* OCaml effects handlers |
May 09, 2020 |
|
OCaml |
742 |
Multicore OCaml |
Jul 29, 2022 |
|
OCaml |
113 |
Reagents for multicore OCaml |
Aug 13, 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 |
13 |
Vendor all the things for a quick way to get up and running with Multicore … |
Mar 19, 2022 |
|
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 |
|
Shell |
7 |
Scripts for running private Tezos blockchain |
Oct 14, 2021 |
|
Shell |
3 |
Kubernetes manifests for running Tezos node |
May 26, 2022 |
|
Rust |
20 |
Optimistic rollup enabled with Tezos VM running on top of Tezos L1 |
Apr 24, 2023 |
|
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 |
|
OCaml |
5 |
A companion library for writing applications on Tezos (in OCaml) |
Feb 12, 2023 |
|
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 |
4 |
Tz-Proxy is a reverse proxy specifically for Tezos Nodes written entirely in OCaml. |
Dec 22, 2022 |
|
Java |
5 |
A multicore architectural simulator written in Java and running on Linux/Unix. |
Jan 17, 2020 |
|
TypeScript |
3 |
By Tezos developers, for Tezos developers. |
Jun 16, 2022 |
|
OCaml |
2 |
OCaml bindings for calling and running J scripts |
Dec 02, 2018 |
|
Erlang |
3 |
Multicore Twitter implementation |
Nov 22, 2022 |
|
TypeScript |
3 |
Workshop for Multicore |
Jan 17, 2023 |
|
LigoLANG |
3 |
Tezos dNFT |
Apr 24, 2023 |
|
OCaml |
2 |
Tezos internship |
Dec 22, 2021 |
|
OCaml |
4 |
An experiment in running zeit/micro using ocaml + bucklescript |
Jun 10, 2020 |
|
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 |