Syntax extension for writing SQL in OCaml
- sql
- ocaml
- reasonml
Repository Index
47,133 repositories indexed
25–48 of 53 · Most stars
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
OCaml type-safe query builder with syntax tree extension
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
- coq
- dependency-graph
- dependency-analysis
- docker-coq-action
Less redundancy in type declarations and signatures
BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations
Object Relational Mapper extension
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
- ocaml
- oidc
- oidc-client
Type-safe library for building parallel applications, built on top of Async's Rpc module.
A library to build and execute typed scientific workflows
A fully-modular OCaml style linter
Path-based dispatching for client- and server-side applications.
- web
Old Coq plugin for parametricity [maintainer=@ppedrot]
- parametricity
- coq-plugin
- coq
- docker-coq-action
LexiFi runtime types
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
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
- ocaml
- pcre
- pattern-matching
- string-matching
Inspection of internal value representations and the object graph
The repository host gives no description.
Runtime types for OCaml (beta version)
Unicode character properties for OCaml
A DSL for specifying Algorand smart contracts, which compiles into TEAL scripts.
- algorand
- blockchain
- cryptocurrency
- domain-specific-language
OCaml bindings for OpenGL
- opengl
- ocaml
OCaml library designed to streamline the process of validating records, variants, lists, or values. It primarily operates through a PPX deriver that automatically generates validators.
- validation