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-05 00:21:20 UTC
- JSON Representation
https://github.com/c-cube/datalog
An in-memory datalog implementation for OCaml.
datalog logic-programming memoization ocaml prolog
Last synced: 31 Dec 2024
https://github.com/yawaramin/re-web
Experimental web framework for ReasonML & OCaml
http ocaml reasonml web-framework websocket
Last synced: 01 Jan 2025
https://github.com/teamwalnut/graphql-ppx
GraphQL language primitives for ReScript/ReasonML written in ReasonML
bucklescript graphql graphql-ppx ocaml reason-native reasonml rescript
Last synced: 29 Dec 2024
https://github.com/anmonteiro/reason-graphql-fullstack
Fullstack Reason + GraphQL Todo List App
graphql native ocaml reason reason-react reasonml
Last synced: 02 Jan 2025
https://github.com/zilliqa/scilla
Scilla - A Smart Contract Intermediate Level Language
blockchain ocaml scilla smart-contracts verification zilliqa
Last synced: 31 Dec 2024
https://github.com/geoffder/dometyl-keyboard
A parametric generator for designing split, concave, ergonomic keyboards written in ocaml.
3d-models 3d-printing ergonomic-keyboard ergonomics keyboard ocaml openscad parametric split-keyboard
Last synced: 01 Jan 2025
https://github.com/Zilliqa/scilla
Scilla - A Smart Contract Intermediate Level Language
blockchain ocaml scilla smart-contracts verification zilliqa
Last synced: 15 Nov 2024
https://github.com/ocaml/ocaml-re
Pure OCaml regular expressions, with support for Perl and POSIX-style strings
Last synced: 04 Jan 2025
https://github.com/mirage/mirage-skeleton
Examples of simple MirageOS apps
examples mirageos ocaml unikernel
Last synced: 29 Dec 2024
https://github.com/aeneasverif/aeneas
A verification toolchain for Rust programs
compiler coq deductive-reasoning formal-methods formal-verification fstar hol4 lean ocaml program-verification proofs rust rust-lang
Last synced: 01 Jan 2025
https://github.com/redprl/cooltt
😎TT
cubical-type-theory homotopy-type-theory ocaml ocaml-program proof-assistant type-theory
Last synced: 02 Jan 2025
https://github.com/ocaml-community/lambda-term
Terminal manipulation library for OCaml
Last synced: 30 Dec 2024
https://github.com/reasonml-community/bs-express
Express bindings in Reason
bucklescript expressjs javascript nodejs ocaml reasonml
Last synced: 04 Jan 2025
https://github.com/hackwaly/ocamlearlybird
OCaml debug adapter
debug-adapter-protocol debugger ocaml
Last synced: 01 Jan 2025
https://github.com/anmonteiro/aws-lambda-ocaml-runtime
An OCaml custom runtime for AWS Lambda and Vercel
Last synced: 02 Jan 2025
https://github.com/darklang/philip2
An Elm to OCaml compiler
bucklescript compiler elm elm-architecture elm-lang frontend functional ocaml reasonml
Last synced: 12 Oct 2024
https://github.com/leostera/httpkit
⚡️ High-level, High-performance HTTP(S) Clients/Servers in Reason/OCaml
client developer-experience http http-framework https middleware native ocaml reasonml server
Last synced: 14 Nov 2024
https://github.com/redprl/redtt
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
cubical-type-theory ocaml proof-assistant type-theory
Last synced: 10 Nov 2024
https://github.com/ocaml/setup-ocaml
GitHub Action for the OCaml programming language
Last synced: 03 Jan 2025
https://github.com/colis-anr/morbig
A static parser for POSIX Shell
concrete-syntax-trees ocaml ocaml-library parse parsing posix posix-sh shell shell-script shell-scripts
Last synced: 02 Jan 2025
https://github.com/Beluga-lang/Beluga
Contextual types meet mechanized metatheory!
beluga dependent-types hoas lf ocaml
Last synced: 18 Nov 2024
https://github.com/arecvlohe/reasonml-cheat-sheet
A cheat sheet for ReasonML -- WIP
bucklescript cheatsheet ocaml reason reasonml
Last synced: 25 Oct 2024
https://github.com/mransan/ocaml-protoc
A Protobuf Compiler for OCaml
compiler ocaml protobuf protocol serialization
Last synced: 30 Dec 2024
https://github.com/anmonteiro/piaf
Web library for OCaml with support for HTTP/1.X / HTTP/2
http http-client http2 http2-client https https-client ocaml
Last synced: 03 Jan 2025
https://github.com/OCamlverse/ocamlverse.github.io
Documentation of everything relevant in the OCaml world
audio build-system community compilers documentation graphics gui learning ocaml package-management reasonml wiki
Last synced: 14 Nov 2024
https://github.com/revery-ui/revery-quick-start
Quick Start / Sample Revery Application
Last synced: 19 Dec 2024
https://github.com/tjammer/raylib-ocaml
OCaml bindings for raylib and raygui
Last synced: 14 Nov 2024
https://github.com/hackwaly/vscode-ocaml
An extension for VS Code which provides support for the OCaml language.
Last synced: 19 Dec 2024
https://github.com/yawaramin/fullstack-reason
A demo project that shows a fullstack ReasonML/OCaml app–native binary + webapp
bucklescript ocaml reason-react reasonml
Last synced: 14 Nov 2024
https://github.com/nickzuber/add-reason
:sparkles::turtle: Dead simple tool for seamlessly integrating ReasonML into existing JavaScript projects.
bucklescript interop javascript ocaml reason reasonml
Last synced: 20 Dec 2024
https://github.com/akabe/evilml
A compiler from ML to C++ template language
cpp functional-programming ocaml
Last synced: 30 Oct 2024
https://github.com/OCamlPro/liquidity
A high-level language for Dune Network (and Tezos) with OCaml and ReasonML syntaxes, with a decompiler from Michelson
blockchain liquidity michelson ocaml smart-contracts tezos
Last synced: 29 Oct 2024
https://github.com/gfngfn/sesterl
An ML-like statically-typed Erlang
actor-model concurrent-programming erlang f-ing-modules module-system monad ocaml process-calculus programming-language sesterl statically-typed type-system
Last synced: 27 Oct 2024
https://github.com/xvw/preface
Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.
category-theory functional-programming ocaml stdlib
Last synced: 27 Oct 2024
https://github.com/mmottl/pure-fun
Purely functional data structures for OCaml, translated from Chris Okasaki's book "Purely Functional Data Structures"
datastructures ocaml purely-functional-data-structures
Last synced: 29 Dec 2024
https://github.com/anuragsoni/routes
typed bidirectional router for OCaml/ReasonML web applications
bidirectional http-router http-routing ocaml router
Last synced: 01 Jan 2025
https://github.com/robur-coop/albatross
Albatross: orchestrate and manage MirageOS unikernels with Solo5
deployment mirageos ocaml orchestration provisioning security unikernel virtual-machine
Last synced: 07 Nov 2024
https://github.com/draftbit/reason-expo
ReasonML bindings for Expo
android expo ios javascript mobile ocaml react react-native reason reasonml
Last synced: 19 Dec 2024
https://github.com/rrdelaney/bs-loader
:radio: Bucklescript loader for Webpack and Jest
bucklescript jest-transform ocaml reason reasonml webpack webpack-loader
Last synced: 29 Sep 2024
https://github.com/mmottl/postgresql-ocaml
OCaml-bindings for the PostgreSQL database
Last synced: 05 Jan 2025
https://github.com/ml-in-barcelona/server-reason-react
Server render Reason React components with OCaml natively
Last synced: 29 Dec 2024
https://github.com/joshsharp/braid
A functional language with Reason-like syntax that compiles to Go.
functional-languages go language ocaml reasonml
Last synced: 18 Nov 2024
https://github.com/reason-native-web/morph
A webframework for Reason and OCaml
Last synced: 14 Nov 2024
https://github.com/ocurrent/ocurrent
Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)
Last synced: 14 Nov 2024
https://github.com/inhabitedtype/ocaml-aws
Generated OCaml bindings for Amazon Web Services
Last synced: 29 Dec 2024
https://github.com/ml-in-barcelona/jsoo-react
js_of_ocaml bindings for ReactJS. Based on ReasonReact.
js-of-ocaml ocaml ppx react reasonml
Last synced: 23 Nov 2024
https://github.com/roddyyaga/ppx_rapper
Syntax extension for writing SQL in OCaml
Last synced: 14 Nov 2024
https://github.com/inhabitedtype/faraday
Serialization library built for speed and memory efficiency
Last synced: 11 Nov 2024
https://github.com/a-nikolaev/wanderers
An open world adventure and dungeon crawling game
adventure dungeon-crawler game ocaml open-world opengl procedural roguelike
Last synced: 07 Dec 2024
https://github.com/briskml/brisk-reconciler
React.js-like reconciler implemented in OCaml/Reason
brisk ocaml reason-react reasonml revery
Last synced: 14 Nov 2024
https://github.com/dmbaturin/ocamlbook.org
A free (as in freedom) OCaml textbook
Last synced: 26 Oct 2024
https://github.com/mmottl/lacaml
OCaml bindings for BLAS/LAPACK (high-performance linear algebra Fortran libraries)
blas lapack linear-algebra matrix ocaml vector
Last synced: 04 Jan 2025
https://github.com/tategakibunko/jingoo
OCaml template engine almost compatible with jinja2
Last synced: 12 Oct 2024
https://github.com/naereen/notebooks
:notebook: A growing collection of Jupyter Notebooks written in Python, OCaml and Julia for science examples, algorithms, visualizations etc
agregation bash french-education ipython jupyter-notebooks mathematics mybinder notebooks ocaml octave python python-2 python-3
Last synced: 22 Dec 2024
https://github.com/reasonml-editor/reason-mode
Emacs major mode for working with ReasonML
Last synced: 17 Nov 2024
https://github.com/OCamlPro/owi
WebAssembly Swissknife & cross-language bugfinder
afl c concolic-execution constraints formatter fuzzer interpreter nlnet ocaml optimizer owi parallel rust smt solver symbolic-execution wasm wasm2wat wat2wasm webassembly
Last synced: 25 Sep 2024
https://github.com/dmmulroy/create-melange-app
The fastest, friendliest, and most delightful way to get started with OCaml, ReasonML, and Melange, geared towards JavaScript and TypeScript developers
functional-programming javascript ocaml reasonml typescript
Last synced: 01 Jan 2025
https://github.com/smolkaj/nice-parser
Nice parsers in OCaml without the boilerplate
boilerplate dune lexing menhir ocaml ocamllex parser-generator parsing
Last synced: 10 Nov 2024
https://github.com/ocaml-community/zed
Abstract engine for text edition in OCaml
Last synced: 19 Dec 2024
https://github.com/c-cube/iter
Simple iterator abstract datatype, intended to iterate efficiently on collections while performing some transformations.
higher-order-functions iter iterators lazy monad ocaml sequence stream
Last synced: 27 Oct 2024
https://github.com/kiranandcode/emacs-viewer
A web frontend for your Org-files (100% faithful to GNU+Emacs!)
emacs front-end ocaml time-tracking web
Last synced: 27 Oct 2024
https://github.com/mirage/decompress
Pure OCaml implementation of Zlib.
compression decompression deflate huffman inflate lz77 ocaml zlib
Last synced: 12 Oct 2024
https://github.com/mmottl/sqlite3-ocaml
OCaml bindings to the SQLite3 database
Last synced: 29 Dec 2024
https://github.com/kiranandcode/petrol
Petrol's an OCaml SQL API made to go FAST.
Last synced: 30 Dec 2024
https://github.com/ocaml-multicore/kcas
Software Transactional Memory for OCaml
lock-free ocaml software-transactional-memory
Last synced: 30 Dec 2024
https://github.com/tweag/opam-nix
Turn opam-based OCaml projects into Nix derivations
Last synced: 12 Nov 2024
https://github.com/odis-labs/streaming
Fast, safe and composable streaming abstractions.
iterators ocaml reasonml streaming transducers
Last synced: 14 Nov 2024
https://github.com/xhtmlboi/yocaml
YOCaml is a static site generator, mostly written in OCaml
arrow ocaml static-site-generator
Last synced: 30 Dec 2024
https://github.com/mirage/ocaml-dns
OCaml implementation of the DNS protocol
Last synced: 04 Jan 2025
https://github.com/kit-ty-kate/labrys
A toy language based on LLVM that implements the System Fω type-system
compiler language llvm ocaml programming-language type-system
Last synced: 01 Nov 2024
https://github.com/revery-ui/reason-reactify
:rocket: Transform a mutable tree into a functional React-like API
hooks jsx ocaml react reactify reason reasonml reconciler ui
Last synced: 14 Nov 2024
https://github.com/nix-ocaml/nix-overlays
OCaml-focused, custom nix-overlays
Last synced: 21 Nov 2024
https://github.com/mirage/awa-ssh
Purely functional SSH library in ocaml.
awa-ssh cryptography mirage mirageos ocaml pure security ssh ssh-library
Last synced: 30 Dec 2024
https://github.com/dkim/rwo-lwt
Lwt Translations of the Async Code Examples in Real World OCaml
Last synced: 14 Nov 2024
https://github.com/vmarcosp/timerlab
:alarm_clock: A simple and customizable timer
buckelscript ocaml react reason-react reasonml rescript rescript-lang timer timer-application timer-clock
Last synced: 18 Nov 2024
https://github.com/utkarshkukreti/reaml
A React binding for (OCaml | ReasonML) + BuckleScript with compile time enforcement of the "Rules of Hooks". Live Examples: https://reaml.netlify.com
bucklescript ocaml preact react reasonml
Last synced: 01 Nov 2024
https://github.com/yallop/ocaml-asp
Algebraic, staged parsing for OCaml: typed, compositional, and faster than yacc
functional-programming high-performance metaocaml ocaml parser-combinators parsing
Last synced: 27 Oct 2024
https://github.com/gbury/msat
A modular sat/smt solver with proof output.
clause formal-methods formula modular ocaml sat-solver smt-solver solver
Last synced: 16 Nov 2024
https://github.com/hammerlab/ppx_deriving_cmdliner
Ppx_deriving plugin for generating command line interfaces from types (Cmdliner.Term.t)
cli command-line-parser ocaml ppx ppx-extension
Last synced: 11 Nov 2024
https://github.com/ekdohibs/camlboot
Experiment on how to bootstrap the OCaml compiler
Last synced: 27 Oct 2024