Skip to content
View polytypic's full-sized avatar
⏏️
⏏️

Organizations

@Hopac @calmm-js @Infers @tarides @per-framework @cppsm @1ml-prime

Block or report polytypic

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
VHDL 6 Updated Oct 4, 2024

Parallel Programming over Domains

OCaml 1 Updated Aug 28, 2024
OCaml 5 Updated Jul 22, 2022

An engine for displaying slips, the next-gen version of slides

OCaml 655 12 Updated Sep 27, 2024

PBT testsuite and libraries for testing multicore OCaml

OCaml 37 16 Updated Nov 6, 2024

Experimental model checker for testing concurrent algorithms

OCaml 32 5 Updated Jul 4, 2024

Script that greps anything in the sources of every opam packages

OCaml 24 2 Updated Oct 13, 2022

[alpha] lightweight fiber library for OCaml 5

OCaml 13 Updated Nov 5, 2024

Cross-platform asynchronous I/O and system calls

OCaml 276 26 Updated Sep 5, 2024

thread-local storage for OCaml

OCaml 15 3 Updated Oct 7, 2024

Composable concurrency primitives with OCaml effects handlers (unreleased)

OCaml 43 3 Updated Oct 6, 2024

An actor-model multi-core scheduler for OCaml 5 🐫

OCaml 570 36 Updated Nov 6, 2024

Commodity thread pools and concurrency primitives for OCaml 5

OCaml 53 4 Updated Oct 18, 2024

Parallel version of incremental library

OCaml 19 Updated Nov 2, 2023

A collection of spin-locks

OCaml 1 Updated Aug 3, 2023

A simple scheduler for OCaml 5

OCaml 93 7 Updated Oct 10, 2024

Cpu topology and affinity for ocaml-multicore

OCaml 48 3 Updated Jul 23, 2024

Effects-based OCaml Nameserver

OCaml 14 2 Updated Jun 29, 2024

Main public package repository for opam, the source package manager of OCaml.

517 1,136 Updated Nov 7, 2024

Monitor Eio programs

OCaml 77 6 Updated Feb 27, 2024

Realtime grep for OCaml/Coq sources available on opam

OCaml 78 2 Updated Sep 5, 2024

📦 Finding winget packages made easy 🔍

511 12 Updated Jul 14, 2023

Fuzzy type search for OCaml documentation

OCaml 72 6 Updated Jul 16, 2024

Reagents for multicore OCaml

OCaml 125 6 Updated May 18, 2023

Malfunctional Programming

OCaml 338 19 Updated Sep 22, 2024

Higher-kinded programming in OCaml

OCaml 179 13 Updated Aug 29, 2023

Resources for foreigners to help Ukraine

3 Updated Apr 26, 2022

Auto-formatter for OCaml code

OCaml 631 180 Updated Nov 5, 2024
Next