Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
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-01-08 00:17:02 UTC
- JSON Representation
https://github.com/ulrikstrid/ocaml-oidc
OpenID Connect implementation in OCaml. Currently only the RP (client) parts are polished.
Last synced: 20 Dec 2024
https://github.com/pveber/bistro
A library to build and execute typed scientific workflows
bioinformatics computational-biology ocaml pipeline workflow
Last synced: 12 Oct 2024
https://github.com/mmottl/gpr
Library for doing GPR (Gaussian Process Regression) in OCaml. Comes with a command line application.
gaussian-process-regression gaussian-processes machine-learning ocaml regression
Last synced: 09 Nov 2024
https://github.com/revery-ui/reason-glfw
Cross-platform GLFW / OpenGL ES / WebGL bindings for Reason
cross-platform esy ocaml opengl opengles reason reasonml webgl
Last synced: 13 Nov 2024
https://github.com/atongen/setml
Online, realtime, multiplayer game of Set, from Set Enterprises, Inc., built entirely with ocaml (and reasonml).
canvas game ocaml postgresql reasonml
Last synced: 14 Nov 2024
https://github.com/andersfugmann/ppx_protocol_conv
Pluggable serialization and deserialization of ocaml data strucures based on type_conv
json jsonm library msgpack ocaml ppx serializer xml yaml
Last synced: 15 Nov 2024
https://github.com/bloomberg/ppx_string_interpolation
PPX rewriter that enables string interpolation in OCaml
Last synced: 09 Nov 2024
https://github.com/cedlemo/ocaml-notty-introduction
My notes about the Notty library https://github.com/pqwy/notty
Last synced: 02 Nov 2024
https://github.com/jchavarri/ocaml_webapp
A minimal example of a lightweight webapp in OCaml
ocaml reasonml web-application webapp
Last synced: 27 Oct 2024
https://github.com/ml-in-barcelona/fullstack-reason-react-demo
Demo to showcase server-reason-react with Melange
Last synced: 23 Nov 2024
https://github.com/RedPRL/algaeff
🦠Reusable components based on algebraic effects
algebraic-effects ocaml ocaml-library
Last synced: 21 Nov 2024
https://github.com/dhil/ocaml-multicont
multi-shot continuations in OCaml
continuations deep effect-handlers multi-shot ocaml shallow
Last synced: 30 Oct 2024
https://github.com/akabe/docker-ocaml-jupyter-datascience
Dockerfiles for data science in OCaml on Jupyter
dataanalysis datascience docker dockerfile functional-programming jupyter-notebook machine-learning ocaml
Last synced: 30 Oct 2024
https://github.com/ocaml-community/calendar
OCaml library for handling dates and times.
calendar-api ocaml ocaml-library
Last synced: 14 Nov 2024
https://github.com/andreypopp/type-systems
Playing with type systems
hindley-milner ocaml type-inference type-systems typeclasses
Last synced: 17 Oct 2024
https://github.com/nathanreb/ppx_yojson
OCaml PPX extension for JSON literals and patterns
ezjsonm json ocaml ppx-extension ppx-rewriter yojson
Last synced: 28 Oct 2024
https://github.com/fakenickels/remachine
[WIP] Reason pattern matching viz
fsm ocaml reasonml state-machine
Last synced: 18 Nov 2024
https://github.com/hannesm/gmap
heterogenous Map over a GADT
data-structure gadt heterogeneous map ocaml
Last synced: 22 Oct 2024
https://github.com/tmattio/inquire
:art: Create beautiful interactive command line interface in OCaml
cli inquire interactive ocaml reason
Last synced: 29 Oct 2024
https://github.com/khady/merlin-eldoc
Type and doc on hover for OCaml and Reason in emacs
Last synced: 23 Nov 2024
https://github.com/narimiran/adventofcode2017
My solutions for AoC 2017, using Nim, OCaml, and Python
advent advent-of-code advent-of-code-2017 adventofcode adventofcode2017 functional-programming nim nim-lang nimlang ocaml python python3
Last synced: 28 Oct 2024
https://github.com/rvantonder/hack_parallel
The core parallel and shared memory library used by Hack, Flow, and Pyre
map-reduce ocaml parallel shared-memory
Last synced: 06 Jan 2025
https://github.com/ivg/lwt-parallel
Lwt-enabled distributed computing library
Last synced: 22 Oct 2024
https://github.com/phoenix-china/bucklescript-phx
BuckleScript binding for Phoenix Channel/Presence
bucklescript ocaml phoenix-channels phoenix-framework
Last synced: 12 Oct 2024
https://github.com/lemaetech/wtr
HTTP request routing library for OCaml web applications.
Last synced: 14 Nov 2024
https://github.com/mirage/ocaml-ipaddr
A library for manipulation of IP (and MAC) address representations
ip-address ipv4 ipv6 mac-address ocaml
Last synced: 12 Oct 2024
https://github.com/hannesm/ocaml-otr
Off-the-record (OTR) messaging protocol, purely in OCaml
Last synced: 12 Oct 2024
https://github.com/c-cube/mc2
[research] A modular SMT solver in OCaml, based on mcSAT
formal-methods mcsat ocaml prover smt
Last synced: 28 Oct 2024
https://github.com/ml-in-barcelona/hello-ppx-esy
A simple example of a ppx with Reason and esy
bucklescript ocaml ppx ppx-esy reasonml
Last synced: 14 Nov 2024
https://github.com/ozanmakes/bonsai_revery
A library for incremental desktop applications
Last synced: 13 Nov 2024
https://github.com/binpash/libdash
The dash shell as a linkable library. Tracks https://git.kernel.org/pub/scm/utils/dash/dash.git, with extended interfaces, bindings for Python and OCaml, and tools for generating JSON representations of shell scripts.
library ocaml parser posix posix-sh posix-shell python shell shell-script
Last synced: 06 Nov 2024
https://github.com/jbhoot/pin-unpin-tab
Firefox add-on to pin or unpin current tab in more efficient ways.
firefox firefox-addon firefox-extension firefox-webextension melange ocaml
Last synced: 19 Dec 2024
https://github.com/imandra-ai/minisat-ml
Faithful reimplementation of Minisat 2.2 in OCaml.
imperative-programming minisat ocaml sat
Last synced: 22 Nov 2024
https://github.com/jmid/efftester
Effect-Driven Compiler Tester for OCaml
compiler-testing ocaml property-based-testing quickcheck
Last synced: 01 Dec 2024
https://github.com/dannywillems/rml
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
dependent-types module ocaml records subtype
Last synced: 28 Oct 2024
https://github.com/drup/tree_layout
Algorithms to layout trees in a pretty manner.
Last synced: 28 Oct 2024
https://github.com/gridbugs/llama
Library for declaratively building software-defined modular synthesizers in OCaml
Last synced: 07 Nov 2024
https://github.com/patricoferris/ppx_deriving_yaml
OCaml types to Yaml types and back again
Last synced: 07 Dec 2024
https://github.com/jin/rules_ocaml
OCaml build rules for Bazel
bazel bazel-rules ocaml skylark
Last synced: 12 Oct 2024
https://github.com/oxidizing/sihl-example-issues
Fullstack Reason app using ReasonReact and Sihl.
framework functional-programming ocaml reason reasonml reasonreact sihl web webdevelopment
Last synced: 14 Nov 2024
https://github.com/mmottl/gsl-ocaml
OCaml bindings to the GSL (GNU Scientific Library).
gsl ocaml scientific-computing
Last synced: 09 Nov 2024
https://github.com/dannywillems/RML
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
dependent-types module ocaml records subtype
Last synced: 14 Nov 2024
https://github.com/drup/dowsing
áš› A type of divination employed in attempts to locate identifiers matching a given type expression
Last synced: 27 Oct 2024
https://github.com/oxidizing/conformist
Schema definition and validation with support for decoding to bridge the gap between runtime types and static types.
decoder ocaml schema schema-definitions schema-validation
Last synced: 15 Nov 2024
https://github.com/o1-labs/ocamlbyexample
Learn Ocaml by reading code examples
dune examples examples-ocaml ocaml opam utop
Last synced: 26 Dec 2024
https://github.com/dmbaturin/bnfgen
Generates random text based on context-free grammars defined in BNF
bnf formal-languages hacktoberfest ocaml text-generation
Last synced: 28 Oct 2024
https://github.com/redprl/asai
🩺 A library for compiler diagnostics
algebraic-effects diagnostics error-handling error-reporting ocaml
Last synced: 10 Nov 2024
https://github.com/armael/pp_loc
Pretty-printing for error source locations
Last synced: 12 Nov 2024
https://github.com/andrenth/ocaml-swagger
Swagger 2.0 code generator for OCaml
Last synced: 28 Nov 2024
https://github.com/hannesm/conex
establish trust in community repositories, cryptographically signed by library authors
conex cryptography ocaml opam package-manager trust
Last synced: 01 Nov 2024
https://github.com/brendanlong/ocaml-ooxml
OCaml parsers for Office Open XML and XLSX (Excel) documents
Last synced: 14 Nov 2024
https://github.com/nationalarchives/miiify
A web annotation server built with the same principles as Git
annotations dream git iiif irmin miiify ocaml w3c web web-annotation
Last synced: 08 Dec 2024
https://github.com/octachron/orec
Open records implemented using map over universal type
Last synced: 12 Nov 2024
https://github.com/imandra-ai/ocaml-opentelemetry
Instrumentation for https://opentelemetry.io
metrics ocaml opentelemetry traces
Last synced: 22 Nov 2024
https://github.com/RedPRL/algaett
🦠An experimental elaborator for dependent type theory using effects and handlers
algebraic-effects normalization-by-evaluation ocaml ocaml-program proof-assistant type-theory
Last synced: 21 Nov 2024
https://github.com/c-cube/oseq
Purely functional iterators compatible with standard `seq`.
cascade combinatorics functional-iterator iterator lazy-iterator list ocaml
Last synced: 28 Oct 2024
https://github.com/ocaml-multicore/dscheck
Experimental model checker for testing concurrent algorithms
Last synced: 16 Nov 2024
https://github.com/cyborgize/es-cli
Command-line client for Elasticsearch written in OCaml
cli elasticsearch es-cli ocaml terminal
Last synced: 09 Nov 2024
https://github.com/pedrobslisboa/ppx-by-example
This repository contains examples to help on understanding what are and how to write PPXs in OCaml.
Last synced: 12 Oct 2024
https://github.com/coq-community/coqffi
Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]
Last synced: 24 Nov 2024
https://github.com/coq-community/chapar
A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]
causal-consistency coq coq-extraction distributed-systems docker-coq-action key-value nix-action ocaml
Last synced: 24 Nov 2024
https://github.com/greyblake/from-typescript-to-rescript
Frontend of https://Inhyped.com written in TypeScript and rewritten in ReScript
fp frontend functional javascript js near nearprotocol ocaml react reactjs rescript typescript web
Last synced: 28 Oct 2024
https://github.com/c-cube/lwt-pipe
[beta] A multi-consumer, multi-producers blocking queue and stream for Lwt
Last synced: 28 Oct 2024
https://github.com/owlbarn/owl_ode
Owl's Differential Equation Solvers
differential-equations engineering-computation ocaml ode ode-solver scientific-computing sundials
Last synced: 13 Nov 2024
https://github.com/mmottl/pcre-ocaml
OCaml bindings to PCRE (Perl Compatibility Regular Expressions)
ocaml pattern-matching pcre string-matching
Last synced: 20 Dec 2024
https://github.com/arialpew/bs-dynamic-import
📦🚀 BuckleScript dynamic import interop on JavaScript environment
bucklescript code-splitting dynamic import javascript lazy-loading module ocaml reasonml
Last synced: 14 Nov 2024
https://github.com/jchavarri/rebez
Cubic bezier implementation in Reason / OCaml.
animation bezier-curve cubic-bezier easing-functions ocaml reasonml
Last synced: 27 Oct 2024
https://github.com/ocaml/obi
OCaml Build Infrastructure
build buildkite infrastructure ocaml opam
Last synced: 07 Oct 2024
https://github.com/yawaramin/ocaml-decimal
Arbitrary-precision floating-point decimals
Last synced: 12 Nov 2024
https://github.com/yallop/ocaml-pb
An OCaml library for describing Protobuf messages
ocaml protobuf protocol-buffers serialization
Last synced: 28 Oct 2024
https://github.com/smimram/monadic-synth
A monadic library for creating synthesizers in OCaml.
Last synced: 31 Oct 2024
https://github.com/thierry-martinez/stdcompat
Stdcompat: compatibility module for OCaml standard library
Last synced: 09 Nov 2024
https://github.com/maskray/camlfeatherweight
Bytecode compiler of a variant of Caml
Last synced: 14 Oct 2024
https://github.com/phink/changeset
(unreleased) Data validation with first-class and first-order labels in OCaml
Last synced: 14 Nov 2024
https://github.com/hammerlab/epidisco
Personalized cancer epitope discovery and peptide vaccine prediction pipeline
biokepi epitope-discovery ocaml pipeline
Last synced: 11 Nov 2024
https://github.com/mmottl/aifad
AIFAD - Automated Induction of Functions over Algebraic Data Types
algebraic-data-types decision-trees machine-learning ocaml
Last synced: 09 Nov 2024
https://github.com/yawaramin/prometo
A type-safe JavaScript promise library for ReasonML
Last synced: 12 Nov 2024
https://github.com/mnxn/promise_jsoo
Js_of_ocaml bindings to JS Promises with supplemental functions
Last synced: 28 Oct 2024
https://github.com/hcarty/mwt
Medium weight threads - preemptive thread pools for Lwt
Last synced: 13 Nov 2024
https://github.com/tominated/system_f_omega
My Attempt at System Fω with Row-Polymorphism
functional-programming lambda-calculus ocaml row-polymorphism system-f system-f-omega
Last synced: 21 Nov 2024
https://github.com/redprl/algaett
🦠An experimental elaborator for dependent type theory using effects and handlers
algebraic-effects normalization-by-evaluation ocaml ocaml-program proof-assistant type-theory
Last synced: 10 Nov 2024
https://github.com/jewelltaylor/camlgrad
Toy autograd engine in OCaml with Apple Accelerate backend
autograd deep-learning machine-learning macos neural-network ocaml tensor
Last synced: 12 Oct 2024
https://github.com/smimram/ocaml-pandoc
An OCaml library for creating pandoc filters.
Last synced: 31 Oct 2024