ocaml
Repositories (1372)
minimalistic secure XMPP client in OCaml
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
OCaml bindings for raylib and raygui
🌒 A TUI for GitHub
Scilla - A Smart Contract Intermediate Level Language
Static analysis framework for C
😎TT
Fullstack Reason + GraphQL Todo List App
Reference implementation for Writing a C Compiler
A Mirage firewall VM for QubesOS
Examples of simple MirageOS apps
OCaml debug adapter
Terminal manipulation library for OCaml
GitHub Action for the OCaml programming language
A REST toolkit for OCaml
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Web library for OCaml with support for HTTP/1.X / HTTP/2
Contextual types meet mechanized metatheory!
An Elm to OCaml compiler
Express bindings in Reason
An OCaml custom runtime for AWS Lambda and Vercel
Type-safe markup rendering, form validation, and routing for OCaml Dream web framework
⚡️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml
A static parser for POSIX Shell
Documentation of everything relevant in the OCaml world
A Protobuf Compiler for OCaml
Release snapshots of the Frama-C platform for source code analysis
Typed Regular Expressions
A cheat sheet for ReasonML -- WIP
Build valid HTML and SVG documents
YOCaml is a static site generator, mostly written in OCaml
Native implementation of React's Server-side rendering (SSR) and React Server Components (RSC) architecture for Reason and OCaml
An extension for VS Code which provides support for the OCaml language.
Quick Start / Sample Revery Application
Interfacing Qt/QML with OCaml. Formely known as lablqt
An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporti...
:sparkles::turtle: Dead simple tool for seamlessly integrating ReasonML into existing JavaScript projects.
Albatross: orchestrate and manage MirageOS unikernels with Solo5
A demo project that shows a fullstack ReasonML/OCaml app–native binary + webapp
An ML-like statically-typed Erlang
A compiler from ML to C++ template language
OCaml-bindings for the PostgreSQL database
Turn opam-based OCaml projects into Nix derivations
Syntax extension for writing SQL in OCaml
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
Error-recovering streaming HTML5 and XML parsers
typed bidirectional router for OCaml/ReasonML web applications