OCaml
OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety, It is supporting functional, imperative and object-oriented styles.
- GitHub: https://github.com/topics/ocaml
- Wikipedia: https://en.wikipedia.org/wiki/OCaml
- Repo: https://github.com/ocaml/ocaml
- Created by: Xavier Leroy
- Released: 1996
- Last updated: 2025-05-28 00:21:13 UTC
- JSON Representation
https://github.com/dmbaturin/ocaml-tsort
Easy to use and user-friendly topological sort module for OCaml
graph ocaml ocaml-library topological-order topological-sort
Last synced: 10 Apr 2025
https://github.com/mirage/ocaml-pcap
OCaml code for generating and analysing pcap (packet capture) files
Last synced: 29 Apr 2025
https://github.com/strykerkkd/sanddb
A simple immutable database for the masses.
asynchronous database immutable ocaml
Last synced: 01 Dec 2024
https://github.com/kiranandcode/gopcaml-mode
[MIRROR] Ultimate Ocaml Editing Mode
code-navigation editing emacs ide ocaml
Last synced: 22 Mar 2025
https://github.com/strykerkkd/logical
Minimalistic logic programming framework
logic-programming microkanren ocaml
Last synced: 01 Dec 2024
https://github.com/schornacklabslcu/amfinder
The Automatic Mycorrhiza Finder (AMFinder) allows for automatic computer vision-based identification and quantification of AM fungal colonisation and intraradical hyphal structures on ink-stained root images using convolutional neural networks.
deep-learning gtk2 image-analysis keras microscopy mycorrhiza neural-networks ocaml python3
Last synced: 12 May 2025
https://github.com/mirage/arp
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
address-resolution-protocol arp mirageos network ocaml unikernel
Last synced: 16 Mar 2025
https://github.com/juergenhoetzel/ocaml-systemd
OCaml module for native access to the systemd facilities
journald ocaml socket-activation systemd
Last synced: 15 Apr 2025
https://github.com/rgrinberg/stringext
Extra string functions for OCaml
ocaml string string-manipulation
Last synced: 10 Apr 2025
https://github.com/mirage/mirage-solo5
Solo5 core platform libraries for MirageOS
mirage-platform mirageos ocaml solo5
Last synced: 29 Apr 2025
https://github.com/vit0rr/ocaml-crud
OCaml CRUD Todo App using Melange with JWT auth
authentication crud crud-ocaml docker docker-compose dune jwt melange ocaml ocaml-crud opam postgresql reasonml
Last synced: 23 Apr 2025
https://github.com/modlfo/firmata
Ocaml library to control Firmata boards like Arduino
Last synced: 13 May 2025
https://github.com/paurkedal/ocaml-radixmap
Map à la Binary Radix Tree
containers ip-address map ocaml radix-tree set
Last synced: 20 Jan 2025
https://github.com/muhokama/ring
A statically generated webring with YOCaml, because we love small-web
ocaml smallweb syndication webring
Last synced: 10 Apr 2025
https://github.com/cfcs/ocaml-socks
SOCKS4a and SOCKS5 (RFC 1928; RFC 1929) handling for ocaml clients and servers
ocaml ocaml-library rfc-1928 rfc-1929 socks socks-protocol socks4a socks5
Last synced: 17 Jan 2025
https://github.com/c-cube/ocaml-avro
Runtime library and schema compiler for the Avro serialization format
apache avro ocaml serialization
Last synced: 14 Feb 2025
https://github.com/mmottl/cfg
OCaml library for manipulating context-free grammars
context-free-grammar datastructures grammar ocaml
Last synced: 22 Apr 2025
https://github.com/anuragsoni/color
OCaml library to work with colors on the web
Last synced: 26 Mar 2025
https://github.com/marcoonroad/twostep
HOTP and TOTP algorithms for 2-step verification (for OCaml). :clock10: :closed_lock_with_key: :1234: :camel:
2-factor-authentication 2-step-verification authentication cryptography infosec ocaml ocaml-library one-time-password one-time-passwords security security-tools
Last synced: 07 May 2025
https://github.com/redprl/kado
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
cubical-type-theory homotopy-type-theory ocaml ocaml-library proof-assistant type-theory
Last synced: 25 Apr 2025
https://github.com/ahrefs/jsonschema2atd
Generate ATD types from a JSON schema / OpenAPI document
Last synced: 12 Apr 2025
https://github.com/cedlemo/ctypes-stubs-generation-notes
OCaml Ctypes stubs generation notes
ctypes ctypes-bindings dune ocaml ocaml-bindings
Last synced: 13 May 2025
https://github.com/enoumy/capymanga
Read manga from the comfort of your terminal
bonsai kitty kittyicat manga manga-downloader manga-reader mangadex mangadex-api ocaml reader terminal tui
Last synced: 30 Apr 2025
https://github.com/leonidas-from-xiv/nosetup
An automatic require loader for OCaml toplevels
Last synced: 10 Apr 2025
https://github.com/unixjunkie/acpc
Chemoinformatics tool for ligand-based virtual screening
chemoinformatics lbvs ligand ocaml partial-charges
Last synced: 14 Apr 2025
https://github.com/imandra-ai/reasonml-tic-tac-toe
formal-methods formal-verification imandra ocaml react reasonml
Last synced: 22 Nov 2024
https://github.com/leostera/rules_reason
📐Reason/OCaml rules and tools for Bazel
bazel bazel-rules bucklescript javascript ocaml reasonml
Last synced: 26 Mar 2025
https://github.com/pfnet-research/atpg4sv
A prototype of Concolic Testing engine for SystemVerilog, developed as part of PFN summer internship 2018.
atpg concolic-execution ocaml smt-solver symbolic-execution system-verilog
Last synced: 13 Apr 2025
https://github.com/khady/ocaml-junit
OCaml package to produce JUnit xml reports
alcotest ci jenkins junit junit-xml-reports ocaml ounit test
Last synced: 09 Apr 2025
https://github.com/fabienhenon/bs-remotedata
RemoteData and WebData to use with bs-fetch for BuckleScript
bucklescript http ocaml reason reasonml remotedata webdata
Last synced: 10 Apr 2025
https://github.com/trackoor/RayTracer.ml
🌈 Path tracer implemented in OCaml based on "Ray Tracing in One Weekend"
computer-graphics ocaml raytracing raytracing-one-weekend
Last synced: 22 Mar 2025
https://github.com/gitpod-samples/template-ocaml
A template for OCaml, configured for Gitpod (www.gitpod.io) to give you pre-built, ephemeral development environments in the cloud.
Last synced: 10 Apr 2025
https://github.com/mirage/mirage-xen
Xen core platform libraries for MirageOS
mirage-platform mirageos ocaml xen
Last synced: 29 Apr 2025
https://github.com/arocks/punchscript
A programming language made up of Rajinikanth punch dialogues
compiler interpreter menhir ocaml rajinikanth
Last synced: 21 Mar 2025
https://github.com/patricoferris/jsoo-mithril
Js_of_ocaml bindings for MithrilJS
Last synced: 09 Apr 2025
https://github.com/abeaumont/ocaml-scrypt-kdf
Scrypt key derivation function in pure OCaml as defined in https://tools.ietf.org/html/draft-josefsson-scrypt-kdf-04
Last synced: 05 Apr 2025
https://github.com/rocq-community/coq-plugin-template
Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
coq coq-plugin dune ocaml template template-repository
Last synced: 10 Apr 2025
https://github.com/anuragsoni/postgres-protocol
IO independent postgres protocol implementation
Last synced: 26 Mar 2025
https://github.com/FabienHenon/bs-remotedata
RemoteData and WebData to use with bs-fetch for BuckleScript
bucklescript http ocaml reason reasonml remotedata webdata
Last synced: 07 May 2025
https://github.com/rlepigre/pml
New version of the PML language and (classical) proof assistant
classical-logic ocaml pml program-equivalence proof-assistant
Last synced: 20 Nov 2024
https://github.com/coq-community/coq-plugin-template
Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]
coq coq-plugin dune ocaml template template-repository
Last synced: 24 Nov 2024
https://github.com/redprl/bantorra
📚 A library for managing libraries and resolving unit paths
Last synced: 25 Apr 2025
https://github.com/revery-ui/revery-playground
Live, interactive playground for Revery examples
functional-programming live-coding ocaml playground reason reasonml revery
Last synced: 04 May 2025
https://github.com/c-cube/thread-local-storage
thread-local storage for OCaml
Last synced: 21 Mar 2025
https://github.com/anhnguyen1618/tiger-ocaml-llvm-compiler
A minimal compiler written in OCaml that compiles Tiger to LLVM IR then to assembly code
Last synced: 15 Dec 2024
https://github.com/cedlemo/OCaml-GObject-Introspection
OCaml bindings to GObject-Introspection based on OCaml-Ctypes.
ctypes ffi-bindings gobject-introspection ocaml ocaml-bindings
Last synced: 07 Feb 2025
https://github.com/andreypopp/sqlpp
relation query language, with typed embedding into OCaml
Last synced: 09 Apr 2025
https://github.com/appliedfm/vstyle
A style guide for Coq
appliedfm c coq dependent-types formal-mathematics formal-methods formal-proofs formal-semantics formal-specification formal-verification haskell ocaml proof proof-assistant software-engineering style-guide verification
Last synced: 10 Feb 2025
https://github.com/cfcs/mirage-framebuffer
Experimental portable bitmap framebuffer graphics for MirageOS
Last synced: 17 Jan 2025
https://github.com/tmcgilchrist/tiger
Compiler for Tiger language from "Modern Compiler Implementation in ML"
Last synced: 21 Mar 2025
https://github.com/gfngfn/otfed
An OpenType font format encoder & decoder written in OCaml
decoder encoder fonts ocaml ocaml-library opentype
Last synced: 21 Mar 2025
https://github.com/c-cube/maki
[beta] persistent memoization of computations, e.g. for repeatable tests and benchmarks
caching memoization merkle-dag ocaml persistent
Last synced: 14 Feb 2025
https://github.com/toadharvard/lambada
Step-by-step Lambda calculus interpreter for AO, CBN, CBV, NOR strategies
functional-programming lambda-calculus ocaml
Last synced: 09 Apr 2025
https://github.com/cedlemo/ocaml-gobject-introspection
OCaml bindings to GObject-Introspection based on OCaml-Ctypes.
ctypes ffi-bindings gobject-introspection ocaml ocaml-bindings
Last synced: 13 May 2025
https://github.com/hcarty/ocaml-plplot
OCaml bindings for PLplot
graphics ocaml ocaml-bindings plot plotting plplot
Last synced: 09 Apr 2025
https://github.com/schniz/sapapa
A soothing CouchDB client for Reason and OCaml
couchdb couchdb-client ocaml reasonml
Last synced: 06 May 2025
https://github.com/savonet/ocaml-duppy
OCaml asynchronous scheduler and monad for server-oriented programming.
Last synced: 14 Mar 2025
https://github.com/chris00/ocaml-interval
An interval library for OCaml
computer-assisted-proof interval-arithmetic ocaml rigorous scientific-computing validated
Last synced: 25 Mar 2025
https://github.com/akabe/docker-ocaml
Minimum docker images for OCaml+OPAM
docker functional-programming ocaml opam
Last synced: 10 Apr 2025
https://github.com/kiranandcode/simple-pleroma-comments
Free, open source web commenting system in a single script (no-analytics, privacy friendly)!
activitypub comments comments-system ocaml pleroma privacy
Last synced: 22 Mar 2025
https://github.com/smimram/catt
An infinity-categorical coherence typechecker
category-theory ocaml type-theory
Last synced: 11 Apr 2025
https://github.com/jin/scheme.ml
Scheme (R6RS subset) interpreter written in OCaml
Last synced: 10 Apr 2025
https://github.com/onivim/reason-textmate
ReasonML native library for working with TextMate grammars
highlighting ocaml reasonml syntax textmate
Last synced: 22 Apr 2025
https://github.com/ocaml-doc/odoc-parser
An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.
Last synced: 21 Nov 2024
https://github.com/leonidas-from-xiv/orewa
An Async-friendly Redis binding
async hacktoberfest ocaml redis redis-client
Last synced: 10 Apr 2025
https://github.com/hcarty/ppx_defer
OCaml extension for a Go-ish [%defer ...] syntax
Last synced: 09 Apr 2025
https://github.com/hcarty/lwt-zmq
DEPRECATED - Use the main ocaml-zmq project instead
Last synced: 09 Apr 2025
https://gitlab.com/gopiandcode/gopcaml-mode
Ultimate Ocaml editing plugin, providing advanced structural editing, movement and analysis in Emacs.
editor emacs ocaml structural-editing
Last synced: 11 May 2025
https://github.com/astrocoders/bacen-exchange-rates
Reason API to fetch the daily reports from BACEN PTAX exchanges
Last synced: 21 Apr 2025
https://github.com/mmottl/pomap
OCaml library for partially ordered maps
concept-lattice datastructures hasse-diagram ocaml partial-orders
Last synced: 22 Apr 2025
https://github.com/gjaldon/simple-diff
A simple diff algorithm in pure OCaml
Last synced: 18 Mar 2025
https://github.com/fabe/t-rex-runner-reason
🦖 The T-Rex Runner Game from Chrome written in Reason
ocaml reason reasonml reprocessing t-rex-runner
Last synced: 19 Mar 2025
https://github.com/cedlemo/ocaml-libmpdclient
mpd client library implementation in OCaml.
mpd mpd-client ocaml ocaml-libmpdclient
Last synced: 13 May 2025
https://github.com/imandra-ai/imandra-ros
Imandra ROS
formal-verification imandra ocaml robotics ros
Last synced: 22 Nov 2024
https://github.com/anuragsoni/http_async
Asynchronous HTTP 1.1 server for OCaml
async http http-server http11 ocaml server
Last synced: 26 Mar 2025
https://github.com/manasjayanth/reason-on-multicore
Writing multicore programs with Reason
Last synced: 09 Apr 2025
