SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
- spoc
- ocaml
- opencl
- cuda
Repository Index
87,573 visible repositories in the index
25–43 of 43 · Most stars
A simple scheduler for OCaml 5
- effects
- ocaml
- parallelism
- scheduler
Pure OCaml implementation of Zlib.
- ocaml
- zlib
- compression
- decompression
RFC3986 URI parsing library for OCaml
- ocaml
- uri
- url
- rfc-3986
Less redundancy in type declarations and signatures
Data structures and algorithms in OCaml
- ocaml
- data-structures
- algorithms
Multilingualization for the OCaml source code
Shopify's Liquid templating language in OCaml. Features an interpreter, parser and lexer.
- liquid
- ocaml
- parser-combinators
- shopify
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
Pure OCaml implementation of the "vchan" shared-memory communication protocol
An HTML documentation generator for Coq source files
date and duration in ocaml
Pure OCaml implementation of libXdiff (Rabin's fingerprint)
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
Open Source Social Database
A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort. :four_leaf_clover: :camel: :lock: :key:
- ocaml
- commitment-schemes
- secure-multi-party-computation
- cryptography
A structured logger for Fluentd (OCaml)
Collect and view OSS cryptocurrency development.
- cryptocurrency
- open-source-software
- github
- software-metrics
An HTML documentation generator for Rocq source files