🇫🇷 Made in France
Discover France's Leading Open Source Projects: Explore top-notch open source initiatives hailing from the vibrant tech community of France.
TOP OCaml Projects
MLstate/opalang
The Opa Language for Web Application Development
LaurentMazare/ocaml-torch
OCaml bindings for PyTorch
LaurentMazare/tensorflow-ocaml
OCaml bindings for TensorFlow
jnavila/plotkicadsch
This project aims at being able to export Kicad v5 Sch files to structured picture files
OCamlPro/ocp-indent
Indentation tool for OCaml, to be used from editors like Emacs and Vim.
LexiFi/ocaml-vdom
Elm architecture and (V)DOM for OCaml
colis-anr/morbig
A static parser for POSIX Shell
jhjourdan/C11parser
A correct C89/C90/C99/C11/C18 parser written using Menhir and OCaml
OCamlPro/drom
drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.
LexiFi/gen_js_api
Easy OCaml bindings for Javascript libraries
Drup/tyre
Typed Regular Expressions
OCamlPro/liquidity
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
xvw/preface
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
mathiasbourgoin/SPOC
Stream Processing with OCaml
tarides/opam-monorepo
Assemble dune workspaces to build your project and its dependencies as a whole
ejgallego/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
LexiFi/landmarks
A Simple Profiling Library for OCaml
OCamlPro/alt-ergo
OCamlPro public development repository for Alt-Ergo
ejgallego/coq-serapi
Coq Protocol Playground with Se(xp)rialization of Internal Structures.
OCamlPro/ollvm
An higher-level LLVM binding for OCaml
glondu/belenios
Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios
kerneis/cpc
Continuation Passing C
tarides/dune-release
Streamlining the release of dune packages to opam
Gbury/mSAT
A modular sat/smt solver with proof output.
rdicosmo/parmap
Parmap is a minimalistic library allowing to exploit multicore architecture for OCaml programs with minimal modifications.
LexiFi/dead_code_analyzer
Dead-code analyzer for OCaml
yannham/mechaml
OCaml functional web scraping library
VictorNicollet/99-Problems-OCaml
Solving "99 List Problems" using Objective Caml
bloodyowl/reReactPrimitives
Primitive components to build UI on the web with ReasonReact
Gbury/dolmen
Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
protz/mezzo
The language of the future!
lthms/spatial-shell
Implementing a spatial model inspired by Material Shell, for i3 and sway.
emillon/bulletml
Tools to manipulate and interpret shmup patterns
cryptosense/ocamllint
Detect common errors in OCaml code
dbousque/lymp
Use Python functions and objects from OCaml
vincent-hugot/qtest
Inline (Unit) Tests for OCaml
OCamlPro/ocaml-top
A simple cross-platform OCaml code editor built for top-level evaluation.
b0-system/odig
Lookup documentation of installed OCaml packages
Chimrod/i3_workspaces
Workspace manager for i3-wm
didier-wenzek/ocaml-kafka
OCaml bindings for Kafka
OCamlPro/ocp-index
Easy access to the interface information of installed OCaml libraries for editors like Emacs and Vim.
tarides/ocaml-platform-installer
The best way for developers to write software in OCaml
LexiFi/csml
High-level bindings between .Net and OCaml
Octachron/codept
Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer
xvw/muhokama
A simple forum built on top of Dream, Caqti, Omd, Preface, Cmdliner and other useful OCaml libraries
jacquev6/DrawGrammar
Draw railroad diagrams of EBNF grammars. In browser and on command line
samoht/assemblage
A collection of tools to manage the configuration of OCaml projects
remyzorg/pendulum
OCaml syntax extension dedicated to the programming of reactive systems on the Web.
tarides/ocaml-jit
Just In Time compiler for OCaml native toplevel
samoht/depyt
Yet another type combinator library
Drup/furl
Formatted url
fccm/OCamlSDL2
OCaml interface to SDL 2.0 (for Linux, Windows, MacOS, and ChromeBook)
ejgallego/pycoq
Python bindings for the Coq interactive proof assistant
Armael/papiers
A tool to index your papers/interesting links/... and quickly search through them
Octachron/tensority
Strongly typed multidimensional array library for OCaml
Drup/ocaml-lmdb
Ocaml bindings for lmdb.
OCamlPro/wasocaml
INRIA/zelus
A synchronous language with ODEs
ANSSI-FR/mabo
MRT Parser
berke/aurochs
Aurochs is a parser generator that uses the parse expression grammar (PEG) or "packrat" approach. It takes a grammar in a BNF-like notation (a .peg file) and produces bytecode (a .nog file) for a stack automaton. This bytecode is later interpreted on the input to parse using a C library. Bindings are given for Ocaml, Java and Exascript.
samoht/dog
A loyal and faithful synchronisation tool that you can rely on.
fpottier/pprint
A pretty-printing combinator library for OCaml
cedlemo/OCaml-Notty-introduction
My notes about the Notty library https://github.com/pqwy/notty
raph-amiard/CamllVM
An OCaml bytecode to LLVM compiler
tarides/runtime_events_tools
nojb/ocaml-imap
Lwt-compatible IMAP4rev1 client library for OCaml
LaurentMazare/npy-ocaml
Numpy file format support for ocaml.
Drup/bytepdf
A tool to create PDFs that are also OCaml bytecodes
NathanReb/ppx_yojson
OCaml PPX extension for JSON literals and patterns
besport/ocaml-jwt
Implementation of JSON Web Tokens in OCaml
xavierleroy/camlzip
Reading and writing zip and gzip files from OCaml
Octachron/olivine
Ocaml binding generator for vulkan
nojb/ocaml-bt
OCaml BitTorrent library and client
sebferre/sparklis
Sparklis is a query builder in natural language that allows people to explore and query SPARQL endpoints with all the power of SPARQL and without any knowledge of SPARQL.
berke/jsure
JSure is a fast, standalone Javascript checker.
Psi-Prod/Mehari
A cross-platform library for building Gemini servers
emillon/ocaml-zeit
🐫🔺 Client library for the Zeit API & now.sh
Drup/tree_layout
Algorithms to layout trees in a pretty manner.
Firobe/nes-ml
NES emulator in OCaml
OCamlPro/numcaml
Scientific Computing Tools For OCaml
ghilesZ/geoml
A 2d geometry library for ocaml
Drup/dowsing
᚛ A type of divination employed in attempts to locate identifiers matching a given type expression
Inria-Prosecco/proscript-messaging
Supporting materials for our EuroS&P paper: Automated Verification for Secure Messaging Protocols and their Implementations: A Symbolic and Computational Approach.
OCamlPro/directories
directories is an OCaml library that provides configuration, cache and data paths (and more!) following the suitable conventions on Linux, macOS and Windows. The following conventions are used: XDG Base Directory Specification and xdg-user-dirs on Linux, Known Folders on Windows, Standard Directories on macOS.
Armael/pp_loc
Pretty-printing for error source locations
pascutto/cachecache
Efficient caching library for OCaml
LaurentMazare/ocaml-arrow
b0-system/b0
Software construction and deployment kit
Gbury/ocaml-memgraph
A small library to output memory graph for ocaml values
xavierleroy/camlidl
Stub code generator for OCaml/C interface
LexiFi/lrt
LexiFi runtime types
Octachron/orec
Open records implemented using map over universal type
tyrex-team/sparqlgx
Efficient Distributed Evaluation of SPARQL with Apache Spark
LaurentMazare/ocaml-wasmtime
OCaml WebAssembly runtime powered by Wasmtime
VictorNicollet/Ohm
The open-source framework that powers RunOrg.com
OCamlPro/OCamlPro-OCaml-Branch
This is a fork of the inline-more branch in the OCaml SVN repository.
ejgallego/dfuzz
Linear Dependent Types for Differential Privacy TypeChecker
OCamlPro/ocaml-solidity
Ocaml-solidity provides a Solidity parser and typechecker
LaurentMazare/ocaml-matplotlib
Plotting for ocaml based on matplotlib.pyplot
nobrakal/asak
Identifying similar OCaml codes