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-09 00:24:49 UTC
- JSON Representation
https://github.com/chris00/ocaml-docker
Binding to the Docker Remote API
docker ocaml ocaml-client opam
Last synced: 29 Oct 2024
https://github.com/akabe/docker-iocaml-datascience
Dockerfile of Jupyter (IPython notebook) and IOCaml (OCaml kernel) with libraries for data science and machine learning
data-science deep-learning docker functional-programming iocaml jupyter-notebook machine-learning ocaml
Last synced: 30 Oct 2024
https://github.com/aionescu/vec
Fast, safe mutable dynamic arrays for OCaml
collections ocaml polymorphic-variants vectors
Last synced: 02 Dec 2024
https://github.com/hammerlab/biokepi
Bioinformatics Ketrew Pipelines
bioinformatics-ketrew-pipelines bioinformatics-pipeline ketrew ocaml
Last synced: 11 Nov 2024
https://github.com/komamitsu/oraft
Library of Raft consensus algorithm implemented in OCaml
consensus-algorithm ocaml raft raft-consensus-algorithm
Last synced: 19 Nov 2024
https://github.com/paurkedal/episql
SQL schema parser and code generator
code-generator ocaml sql sql-schema-parser
Last synced: 12 Nov 2024
https://github.com/bryphe/merlin-language-server
Minimal cross-platform LSP wrapper for merlin
lsp lsp-server merlin merlin-language-server ocaml reason
Last synced: 28 Oct 2024
https://github.com/quentinra/intellij-ocaml
This plugin is providing support for OCaml in IntelliJ. It's based on ReasonML and intellij-rust. If you are looking for a complete and maintained solution, please check the ReasonML plugin.
intellij-idea intellij-plugin ocaml opam
Last synced: 09 Oct 2024
https://github.com/reasonml-old/bs-containers
[ABANDONED] Containers for Bucklescript application
bucklescript containers es6 javascript ocaml
Last synced: 21 Nov 2024
https://github.com/c-cube/ezcurl
A simple wrapper around OCurl.
curl easy http http-get-it-while-it-s-hot lwt ocaml ocurl
Last synced: 28 Oct 2024
https://github.com/gfngfn/toy-macro-ml
An implementation of MacroML [Ganz, Sabry & Taha 2001]
macro multi-stage-programming ocaml type-checker type-system
Last synced: 11 Oct 2024
https://github.com/tmcgilchrist/ocaml-gitlab
Native OCaml bindings to Gitlab REST API v4
Last synced: 28 Oct 2024
https://github.com/fxfactorial/ocaml-emoji
Emojis in OCaml, use them in your CLIs or whatever
Last synced: 28 Oct 2024
https://github.com/mmottl/res
OCaml library for resizable arrays and strings
Last synced: 09 Nov 2024
https://github.com/zshipko/futhark-bindgen
A Futhark binding generator for Rust and OCaml
Last synced: 27 Oct 2024
https://github.com/polytypic/rea-ml
Effectful OCaml with Objects and Variants
applicatives asynchronous checked-exceptions effects functors higher-kinded-types hobby-project monads ocaml tagless-final
Last synced: 09 Nov 2024
https://github.com/ocaml/ocamlfind
The OCaml findlib library manager
library-management-system ocaml
Last synced: 07 Oct 2024
https://github.com/shonfeder/um-abt
An OCaml library implementing unifiable abstract binding trees (UABTs)
abt ocaml plt unification variables
Last synced: 15 Nov 2024
https://github.com/davesnx/ocaml-box
Render boxes in the terminal with OCaml or Reason
Last synced: 27 Oct 2024
https://github.com/imandra-ai/ocaml-tracy
Bindings to the Tracy profiler.
bindings ocaml profiling tracy
Last synced: 22 Nov 2024
https://github.com/sgrondin/tdigest
OCaml implementation of the T-Digest algorithm
Last synced: 07 Nov 2024
https://github.com/saschatimme/gobi
Compile OCaml/Reason to static iOS libraries
cross-platform ios ocaml reasonml
Last synced: 13 Nov 2024
https://github.com/ocamleditor/ocamleditor
OCamlEditor is a source code editor and build tool for OCaml. It provides many features to facilitate editing code, accessing API reference directly from the editor and compiling projects. Runs on Linux and Windows.
contributions-welcome editor gtk2 ocaml
Last synced: 31 Oct 2024
https://github.com/zinid/delimcc
Delimited continuations in byte-code and native OCaml
continuations ocaml shift-reset
Last synced: 14 Nov 2024
https://github.com/jdan/ocaml-web-framework
An HTTP server and framework written from scratch in OCaml
Last synced: 08 Nov 2024
https://github.com/melange-re/melange-re.github.io
Documentation site for Melange
altjs compile-to-js compiler javascript melange ocaml reason
Last synced: 08 Nov 2024
https://github.com/c-cube/spelll
fuzzy string searching, using Levenshtein automaton. Can be used for spell-checking.
levenshtein-automaton ocaml spell-check
Last synced: 28 Oct 2024
https://github.com/redprl/yuujinchou
👹 A library for hierarchical names and lexical scoping
algebraic-effects ocaml ocaml-library
Last synced: 10 Nov 2024
https://github.com/Julow/rss_to_mail
Sends an email for every new entries on RSS feeds.
Last synced: 21 Nov 2024
https://github.com/julow/rss_to_mail
Sends an email for every new entries on RSS feeds.
Last synced: 27 Oct 2024
https://github.com/smorimoto/coq-to-ocaml-to-js
Proof of concept to generate safe and fast JavaScript
bucklescript coq javascript ocaml proof
Last synced: 22 Oct 2024
https://github.com/oxheadalpha/tzcomet
Contract Metadata Viewer on Tezos
michelson ocaml smart-contracts tezos tyxml
Last synced: 09 Nov 2024
https://github.com/c-cube/linol
Wrapper around the OCaml `lsp` library to make it easier to write LSP servers
Last synced: 27 Oct 2024
https://github.com/c-cube/choice
Choice operator in OCaml, providing a backtracking monad
backtracking continuations monad ocaml pure
Last synced: 12 Oct 2024
https://github.com/evilmartians/foundry
Foundry Compiler
compiler ocaml programming-language
Last synced: 14 Nov 2024
https://github.com/smondet/trakeva
Transactions, Keys, and Values
database key-value ocaml transaction
Last synced: 08 Jan 2025
https://github.com/ianthehenry/ocamlsyntax.com
How do you do that recursive GADT thing again?
Last synced: 20 Nov 2024
https://github.com/af/shmup.re
Learning Reason/OCaml by making an old-school canvas game.
bucklescript canvas-game canvas2d ocaml reason reasonml
Last synced: 18 Oct 2024
https://github.com/c-cube/bare-ocaml
runtime library and code-generator for BARE (https://baremessages.org/)
Last synced: 27 Oct 2024
https://github.com/topliceanu/learn
Learn CS by doing!
algorithms c elm golang haskell javascript ocaml python ruby rust
Last synced: 16 Nov 2024
https://github.com/gbury/archsat
A proof-producing SMT/McSat solver, handling polymorphic first-order logic, and using an SMT/McSat core extended using Tableaux, Superposition and Rewriting.
formal-proofs ocaml polymorphism rewriting sat smt theorem-proving
Last synced: 16 Nov 2024
https://github.com/redprl/mugen
♾️ A library for universe levels and universe polymorphism
ocaml ocaml-library proof-assistant type-theory
Last synced: 10 Nov 2024
https://github.com/xvw/planet
A timetracker and a page generator
blog ocaml planet site timetracker wiki
Last synced: 12 Oct 2024
https://github.com/xvw/jsoo_router
A small router to write easily single-page-app in Js_of_ocaml
hash javascript ocaml router spa
Last synced: 12 Oct 2024
https://github.com/cryptosense/pkcs11
OCaml bindings for the PKCS#11 cryptographic API
bindings cryptography ocaml pkcs11
Last synced: 12 Oct 2024
https://github.com/kkazuo/horned_worm
An easy functional Web app micro framework.
async horned-worm http ocaml webservice
Last synced: 15 Nov 2024
https://github.com/juergenhoetzel/ocaml-systemd
OCaml module for native access to the systemd facilities
journald ocaml socket-activation systemd
Last synced: 16 Nov 2024
https://github.com/uwplse/cheerios
Formally verified Coq serialization library with support for extraction to OCaml
coq coq-library ocaml proof serialization serialization-library
Last synced: 25 Nov 2024
https://github.com/xoolive/facile
Python constraint programming library
constrained-optimization constraint-programming constraint-satisfaction-problem ocaml python
Last synced: 19 Dec 2024
https://github.com/coq/bot
A (Coq Development Team) bot written in OCaml
bot github github-api github-app gitlab gitlab-api ocaml webhook
Last synced: 07 Oct 2024
https://github.com/venil7/reason-chess
chess library in reason for cross platform game dev
alpha-beta-pruning chess-engine game-development game-engine minimax ocaml reasonml
Last synced: 12 Oct 2024
https://github.com/jfeser/odoc2docset
Create Dash docsets from Odoc generated documentation.
Last synced: 16 Nov 2024
https://github.com/c-cube/smbc
Experimental model finder/SMT solver for functional programming.
computational formal-methods logic model ocaml sat solver
Last synced: 12 Oct 2024
https://github.com/mirage/ocaml-pcap
OCaml code for generating and analysing pcap (packet capture) files
Last synced: 11 Nov 2024
https://github.com/mirage/arp
Address resolution protocol (ARP) implementation in OCaml targeting MirageOS
address-resolution-protocol arp mirageos network ocaml unikernel
Last synced: 27 Oct 2024
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: 12 Oct 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: 02 Nov 2024
https://github.com/ymyzk/lambda-dti
Interpreter of the ITGL with dynamic type inference
dune functional-programming gradual-typing hindley-milner interpreter ocaml repl type-inferece
Last synced: 27 Oct 2024
https://github.com/strykerkkd/sanddb
A simple immutable database for the masses.
asynchronous database immutable ocaml
Last synced: 01 Dec 2024
https://github.com/octachron/rational_in_types
Type-level rational puzzles in OCaml
ocaml phantom-types polymorphic-variants
Last synced: 12 Nov 2024
https://github.com/rgrinberg/stringext
Extra string functions for OCaml
ocaml string string-manipulation
Last synced: 12 Oct 2024
https://github.com/kiranandcode/gopcaml-mode
[MIRROR] Ultimate Ocaml Editing Mode
code-navigation editing emacs ide ocaml
Last synced: 28 Oct 2024
https://github.com/strykerkkd/logical
Minimalistic logic programming framework
logic-programming microkanren ocaml
Last synced: 01 Dec 2024
https://github.com/c-cube/ocaml-avro
Runtime library and schema compiler for the Avro serialization format
apache avro ocaml serialization
Last synced: 12 Oct 2024
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: 14 Nov 2024
https://github.com/mirage/mirage-solo5
Solo5 core platform libraries for MirageOS
mirage-platform mirageos ocaml solo5
Last synced: 11 Nov 2024
https://github.com/modlfo/firmata
Ocaml library to control Firmata boards like Arduino
Last synced: 30 Nov 2024
https://github.com/johnridesabike/acutis
A declarative, type-safe template language
compiler eleventy handlebars mustache nunjucks ocaml template-engine template-language
Last synced: 09 Oct 2024
https://github.com/anuragsoni/color
OCaml library to work with colors on the web
Last synced: 30 Oct 2024
https://github.com/cedlemo/ctypes-stubs-generation-notes
OCaml Ctypes stubs generation notes
ctypes ctypes-bindings dune ocaml ocaml-bindings
Last synced: 09 Nov 2024
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/ahrefs/jsonschema2atd
Generate ATD types from a JSON schema / OpenAPI document
Last synced: 07 Nov 2024
https://github.com/leonidas-from-xiv/nosetup
An automatic require loader for OCaml toplevels
Last synced: 12 Oct 2024
https://github.com/leostera/rules_reason
📐Reason/OCaml rules and tools for Bazel
bazel bazel-rules bucklescript javascript ocaml reasonml
Last synced: 29 Oct 2024
https://github.com/mmottl/cfg
OCaml library for manipulating context-free grammars
context-free-grammar datastructures grammar ocaml
Last synced: 09 Nov 2024