π«π· 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
arthaud/c2bf
Compiler from C to brainfuck
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.
colis-anr/morbig
A static parser for POSIX Shell
LexiFi/ocaml-vdom
Elm architecture and (V)DOM for OCaml
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
ejgallego/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
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
OCamlPro/alt-ergo
OCamlPro public development repository for Alt-Ergo
tarides/opam-monorepo
Assemble dune workspaces to build your project and its dependencies as a whole
LexiFi/landmarks
A Simple Profiling Library for OCaml
OCamlPro/owi
WebAssembly Swissknife & cross-language bugfinder
OCamlPro/ollvm
An higher-level LLVM binding for OCaml
tarides/dune-release
Streamlining the release of dune packages to opam
glondu/belenios
Verifiable online voting system. This is a mirror of https://gitlab.inria.fr/belenios/belenios
kerneis/cpc
Continuation Passing C
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.
yannham/mechaml
OCaml functional web scraping library
LexiFi/dead_code_analyzer
Dead-code analyzer for OCaml
lthms/spatial-shell
Implementing a spatial model inspired by Material Shell, for i3 and sway.
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
dbousque/lymp
Use Python functions and objects from OCaml
protz/mezzo
The language of the future!
emillon/bulletml
Tools to manipulate and interpret shmup patterns
cryptosense/ocamllint
Detect common errors in OCaml code
b0-system/odig
Lookup documentation of installed OCaml packages
vincent-hugot/qtest
Inline (Unit) Tests for OCaml
Chimrod/i3_workspaces
Workspace manager for i3-wm
OCamlPro/ocaml-top
A simple cross-platform OCaml code editor built for top-level evaluation.
didier-wenzek/ocaml-kafka
OCaml bindings for Kafka
jacquev6/DrawGrammar
Draw railroad diagrams of EBNF grammars. In browser and on command line
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
tarides/ocaml-jit
Just In Time compiler for OCaml native toplevel
samoht/assemblage
A collection of tools to manage the configuration of OCaml projects
samoht/depyt
Yet another type combinator library
remyzorg/pendulum
OCaml syntax extension dedicated to the programming of reactive systems on the Web.
Octachron/tensority
Strongly typed multidimensional array library for OCaml
ejgallego/pycoq
Python bindings for the Coq interactive proof assistant
OCamlPro/wasocaml
fccm/OCamlSDL2
OCaml interface to SDL 2.0 (for Linux, Windows, MacOS, and ChromeBook)
Drup/furl
Formatted url
INRIA/zelus
A synchronous language with ODEs
Armael/papiers
A tool to index your papers/interesting links/... and quickly search through them
Drup/ocaml-lmdb
Ocaml bindings for lmdb.
tarides/runtime_events_tools
fpottier/pprint
A pretty-printing combinator library for OCaml
ANSSI-FR/mabo
MRT Parser
samoht/dog
A loyal and faithful synchronisation tool that you can rely on.
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.
cedlemo/OCaml-Notty-introduction
My notes about the Notty library https://github.com/pqwy/notty
NathanReb/ppx_yojson
OCaml PPX extension for JSON literals and patterns
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.
raph-amiard/CamllVM
An OCaml bytecode to LLVM compiler
nojb/ocaml-imap
Lwt-compatible IMAP4rev1 client library for OCaml
Drup/bytepdf
A tool to create PDFs that are also OCaml bytecodes
LaurentMazare/npy-ocaml
Numpy file format support for ocaml.
besport/ocaml-jwt
Implementation of JSON Web Tokens in OCaml
Octachron/olivine
Ocaml binding generator for vulkan
xavierleroy/camlzip
Reading and writing zip and gzip files from OCaml
nojb/ocaml-bt
OCaml BitTorrent library and client
emillon/ocaml-zeit
π«πΊ Client library for the Zeit API & now.sh
Firobe/nes-ml
NES emulator in OCaml
Drup/tree_layout
Algorithms to layout trees in a pretty manner.
Psi-Prod/Mehari
A cross-platform library for building Gemini servers
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.
berke/jsure
JSure is a fast, standalone Javascript checker.
Armael/pp_loc
Pretty-printing for error source locations
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
pascutto/cachecache
Efficient caching library for OCaml
b0-system/b0
Software construction and deployment kit
LaurentMazare/ocaml-arrow
xavierleroy/pringo
A library of splittable pseudo-random number generators for OCaml
Gbury/ocaml-memgraph
A small library to output memory graph for ocaml values
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.
LaurentMazare/ocaml-wasmtime
OCaml WebAssembly runtime powered by Wasmtime
Octachron/orec
Open records implemented using map over universal type
LexiFi/lrt
LexiFi runtime types
xavierleroy/camlidl
Stub code generator for OCaml/C interface
tyrex-team/sparqlgx
Efficient Distributed Evaluation of SPARQL with Apache Spark
VictorNicollet/Ohm
The open-source framework that powers RunOrg.com
ejgallego/dfuzz
Linear Dependent Types for Differential Privacy TypeChecker
OCamlPro/OCamlPro-OCaml-Branch
This is a fork of the inline-more branch in the OCaml SVN repository.
OCamlPro/ocaml-solidity
Ocaml-solidity provides a Solidity parser and typechecker