Topic

ocaml

Repositories (1356)

smtml
smtml formalsec OCaml

An SMT solver frontend for OCaml

77
ketrew
ketrew hammerlab OCaml

Keep Track of Experimental Workflows

76
polyglot-euler
polyglot-euler FrankKair Elixir

📜 Project Euler solutions in various programming languages

76
ocaml-d3
ocaml-d3 seliopou OCaml

OCaml bindings for D3.js

75
ocamlbyexample
ocamlbyexample o1-labs OCaml

Learn Ocaml by reading code examples

75
timere
timere daypack-dev OCaml

OCaml date time handling and reasoning suite

73
unipi
unipi robur-coop OCaml

Serving content from a git repository via HTTPS (including let's encrypt provisioning) as MirageOS unikernel

72
ocamlot
ocamlot kiranandcode OCaml

An Activitypub server in OCaml!

72
naboris
naboris shawn-mcginty OCaml

Simple, fast, minimalist http server for OCaml/ReasonML

71
sesame
sesame patricoferris OCaml

A site generator in OCaml 🐫 (OCurrent pipelines too)

71
bs-axios
bs-axios meafmira Reason

Bucklescript bindings for axios

70
ocaml-data-structures
ocaml-data-structures jdan OCaml

Some data structures and algorithms written in OCaml

70
doi2bib
doi2bib mseri OCaml

Smalls CLIs to get a bibtex entries from a DOI, an arXiv ID or a PubMed ID and to pretty print bibtex entries (or files)

70
ppx_bsx
ppx_bsx cxa OCaml

OCaml JSX for ReasonReact

69
restyled
restyled Astrocoders OCaml

Styled Components concept for Reason React, only works with bs-react-native for now

69
re-typescript
re-typescript jsiebern Reason

An opinionated attempt at finally solving typescript interop for ReasonML / OCaml.

69
one-punch-fitness
one-punch-fitness FiberJW OCaml

A "One Punch Man"-inspired workout app!

69
ocamlbrew
ocamlbrew hcarty Shell

Manage OCaml installations in your $HOME

68
touist
touist touist OCaml

TouIST, the IDE & Language for Logic (backed by SAT, SMT and QBF solvers)

68
granary
granary stove-labs OCaml

Tezos smart contract & dapp development toolkit

67
bitstring
bitstring xguerin OCaml

OCaml Bitstring - bitstring matching for OCaml

67
cactus
cactus leostera Reason

🌵A composable static site generator

66
amqp-client
amqp-client andersfugmann OCaml

OCaml Amqp client library for Async and Lwt.

66
qcstm
qcstm jmid OCaml

A simple state-machine framework for OCaml based on QCheck

66
dbcaml
dbcaml dbcaml OCaml

DBCaml is a database library for OCaml

66
ocaml-dockerfile
ocaml-dockerfile ocurrent OCaml

OCaml interface for creating Dockerfiles

66
ocaml-flake-example
ocaml-flake-example brendanzab Nix

An overly elaborate example of building a ‘Hello World’ package with Nix flakes, OCaml, and Dune

66
opam-cross-ios
opam-cross-ios ocaml-cross Shell

An OCaml cross-toolchain for iOS and several useful libraries

64
dkml-installer-ocaml
dkml-installer-ocaml diskuv Shell

The Windows-friendly distribution of OCaml

64
OCaml-Examples
OCaml-Examples sammi-turner OCaml

This repo is designed to get you started with OCaml.

64
bs-declaredom
bs-declaredom Risto-Stevcev OCaml

Strongly typed declarative markup for the DOM and CSS

63
rcaml
rcaml maekawatoshiki Rust

rcaml is an OCaml implementation in Rust

63
muhokama
muhokama xvw OCaml

A simple forum built on top of Dream, Caqti, Omd, Preface, Cmdliner and other useful OCaml libraries

63
owi
owi OCamlPro WebAssembly

OCaml WebAssembly Interpreter

63
charrua
charrua mirage OCaml

A DHCP library in OCaml

62
ocurl
ocurl ygrek C

OCaml bindings to libcurl

62
codept
codept Octachron OCaml

Contextual Ocaml DEPendencies Tool: alternative ocaml dependency analyzer

62
Obelisk
Obelisk Lelio-Brun OCaml

A simple multi-format pretty-printer for Menhir.

61
clarity
clarity IndiscriminateCoding OCaml

Functional programming library for OCaml

60
staged-streams.ocaml
staged-streams.ocaml strymonas OCaml
60
zelus
zelus INRIA OCaml

A synchronous language with ODEs

60
mkocaml
mkocaml chrisnevers OCaml

🔨 Tool to generate OCaml projects

59
gen
gen c-cube OCaml

Simple, efficient iterators for OCaml

59
tornado
tornado fraidev OCaml

Tornado is a BitTorrent client written entirely in OCaml.

59
ppx_spice
ppx_spice mununki JavaScript

ReScript PPX which generates the JSON (de)serializers

59
distributed
distributed essdotteedot OCaml

Library to provide Erlang style distributed computations. This library is inspired by Cloud Haskell.

58
modern-ocaml
modern-ocaml Khady OCaml

Template for an ocaml project with modern tooling

58
ocaml-cairo
ocaml-cairo Chris00 OCaml

Binding to Cairo, a 2D Vector Graphics Library.

58
ocaml-ssl
ocaml-ssl savonet OCaml

OCaml SSL bindings.

58
ocaml-datastructures-algorithms
ocaml-datastructures-algorithms owainlewis OCaml

Data structures and algorithms in OCaml

57