Repository Index

typed bidirectional router for OCaml/ReasonML web applications

• ocaml
• router
• http-router
• http-routing

SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)

• spoc
• ocaml
• opencl
• cuda

A simple scheduler for OCaml 5

• effects
• ocaml
• parallelism
• scheduler

Caml on the Web (COW) is a set of parsers and syntax extensions to let you manipulate HTML, CSS, XML, JSON and Markdown directly from OCaml code.

Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]

• coq
• dependency-graph
• dependency-analysis
• docker-coq-action

Declarative 2D vector graphics for OCaml

Template for an ocaml project with modern tooling

• ocaml

Easy to use Makefile for small to medium-sized OCaml-projects

• ocaml
• makefile

Object Relational Mapper extension

Binding to Cairo, a 2D Vector Graphics Library.

• cairo
• ocaml
• stroke
• drawing

Python bindings for the Coq interactive proof assistant

• python
• coq
• verification
• machine-learning

Data structures and algorithms in OCaml

• ocaml
• data-structures
• algorithms

OCaml PPX deriver for reflection

OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.

• ocaml
• oidc
• oidc-client

Old Coq plugin for parametricity [maintainer=@ppedrot]

• parametricity
• coq-plugin
• coq
• docker-coq-action

Coq plugin providing tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators [maintainer=@palmskog]

• coq-plugin
• coq-tactic
• coq
• docker-coq-action

Inspection of internal value representations and the object graph

Trivial/Tagless Polytypic Functions

Unicode character properties for OCaml

A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.

• algorand
• blockchain
• cryptocurrency
• domain-specific-language

Unicode character database decoder for OCaml

Fully functional implementation of FCNNs with Back Prop

A structured logger for Fluentd (OCaml)

Collect and view OSS cryptocurrency development.

• cryptocurrency
• open-source-software
• github
• software-metrics