TLS in pure OCaml
Repository Index
63,269 visible repositories in the index
337–360 of 704 · Most stars
An OCaml kernel for Jupyter (IPython) notebook
- ocaml
- functional-programming
- jupyter-kernels
- machine-learning
Code coverage for OCaml and ReScript
- coverage
- ocaml
seamless neovim integration with goose - work with a powerful AI agent without leaving your editor
Seamless long-form MiniMax H3 video generation for ComfyUI with native AV latent continuity, chunked sampling, session resume, and Spectrum/Sage/Sol compatibility.
Authentication plugin for Payload CMS
Generate Dart models and HTTP clients from Swagger 2.0 and OpenAPI 3.0–3.2. Supports JSON, YAML, Retrofit, Dio, package:http, and custom templates.
Tutorial on Multicore OCaml parallel programming with domainslib
- ocaml
- multicore
OCaml project generator.
- spin
- ocaml
- reason
- template
Define UI styles for iOS apps in a hot-reloadable yaml or json file
- style
- yaml
- hot-reload
- css
Configuration as Code, use YAML to write automated workflows that run on Deno, with any Deno modules, Typescript/Javascript codes
OCaml bindings for TensorFlow
Cross-platform UI framework for Rust: styled property system, data binding, XAML, control themes and a composition renderer. A port of Avalonia.
Formal verification for OCaml, with Rocq
- ocaml
- compiler
- formal-verification
- rocq
An Example of a PWA using Nextjs, Material-UI, Typescript and Auth0 💗
- typescript
- material-ui
- nextjs
- example
An OCaml lexer generator for Unicode
Schema and generated objects for biolink data model and upper ontology
- biolink
- monarchinitiative
- gene-ontology
- datamodel
Dot-lattice art: photo to two-tone dot map to seamless animated loop (engine + scripts)
A collection of code samples for the Uno Platform
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
- ocaml
- dfa
- regular-expression
Simple, lightweight and faster response (JSON, JSONP, XML, YAML, HTML, File) rendering package for Go
- renderer
- render
- gorender
- goresponse
Enhance the security of your web applications effortlessly with AWS Firewall Factory. Safeguard your valuable assets through seamless WAF deployment, updates, and staging, all centrally managed with AWS Firewall Manager.
OCaml graph library
CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory
- coq
- hammer
- automation
- proof-search