Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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/aionescu/vec

Fast, safe mutable dynamic arrays for OCaml

collections ocaml polymorphic-variants vectors

Last synced: 02 Dec 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/chris00/ocaml-docker

Binding to the Docker Remote API

docker ocaml ocaml-client opam

Last synced: 29 Oct 2024

https://github.com/c-cube/calculon

Library for writing IRC bots in OCaml, a collection of plugins, and a dramatic robotic actor.

futurama irc irc-bot lwt ocaml pluggable

Last synced: 28 Oct 2024

https://github.com/okeuday/erlang_ml

Erlang External Term Format for OCaml

erlang-encoding ocaml

Last synced: 12 Dec 2024

https://github.com/rgrinberg/lev

Low Level Bindings to Libev

libev ocaml

Last synced: 24 Nov 2024

https://github.com/hammerlab/biokepi

Bioinformatics Ketrew Pipelines

bioinformatics-ketrew-pipelines bioinformatics-pipeline ketrew ocaml

Last synced: 11 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/c-cube/ocaml-iostream

generic I/O streams of bytes

channel io iostream ocaml

Last synced: 27 Oct 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/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/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

git gitlab ocaml

Last synced: 28 Oct 2024

https://github.com/fxfactorial/ocaml-emoji

Emojis in OCaml, use them in your CLIs or whatever

cli cute emoji ocaml

Last synced: 28 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/zshipko/futhark-bindgen

A Futhark binding generator for Rust and OCaml

futhark ocaml rust

Last synced: 27 Oct 2024

https://github.com/mmottl/res

OCaml library for resizable arrays and strings

datastructures ocaml

Last synced: 09 Nov 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/xyproto/cdetect

:microscope: Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with

clang detect elf elf-format fpc gcc ghc go linux ocaml rust tcc utility

Last synced: 17 Oct 2024

https://github.com/davesnx/ocaml-box

Render boxes in the terminal with OCaml or Reason

ocaml reason terminal

Last synced: 27 Oct 2024

https://github.com/smimram/strid

A string diagram generator for LaTeX.

latex ocaml string-diagram

Last synced: 31 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/saschatimme/gobi

Compile OCaml/Reason to static iOS libraries

cross-platform ios ocaml reasonml

Last synced: 13 Nov 2024

https://github.com/sgrondin/tdigest

OCaml implementation of the T-Digest algorithm

ocaml statistics tdigest

Last synced: 07 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/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/sporto/jwto

JWTs for OCaml

ocaml

Last synced: 07 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/jdan/ocaml-web-framework

An HTTP server and framework written from scratch in OCaml

http-server ocaml

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/zshipko/yurt

OCaml HTTP Microframework

cohttp ocaml yurt

Last synced: 13 Oct 2024

https://github.com/mirage/encore

Synonym of angkor

angstrom decoder encoder memory ocaml

Last synced: 11 Nov 2024

https://github.com/julow/rss_to_mail

Sends an email for every new entries on RSS feeds.

ocaml rss

Last synced: 27 Oct 2024

https://github.com/Julow/rss_to_mail

Sends an email for every new entries on RSS feeds.

ocaml rss

Last synced: 21 Nov 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/redprl/yuujinchou

👹 A library for hierarchical names and lexical scoping

algebraic-effects ocaml ocaml-library

Last synced: 10 Nov 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/c-cube/linol

Wrapper around the OCaml `lsp` library to make it easier to write LSP servers

lsp ocaml

Last synced: 27 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/c-cube/choice

Choice operator in OCaml, providing a backtracking monad

backtracking continuations monad ocaml pure

Last synced: 12 Oct 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/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?

cheatsheet ocaml syntax

Last synced: 20 Nov 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/evilmartians/foundry

Foundry Compiler

compiler ocaml programming-language

Last synced: 14 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/71/asmdot

arm asm assembler ast c csharp ffi haskell js mips nim ocaml parse python rust x86

Last synced: 16 Nov 2024

https://github.com/c-cube/bare-ocaml

runtime library and code-generator for BARE (https://baremessages.org/)

bare codec ocaml

Last synced: 27 Oct 2024

https://github.com/xyproto/ainur

:milky_way: Detect compiler names and versions from ELF files

detector dlang dmd elf fpc gcc ghc go haskell ocaml rust tcc

Last synced: 20 Dec 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/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/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/drup/lilis

L-system interpreter in OCaml

lsystem ocaml

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/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/anuragsoni/shuttle_http

async http http1-1 http11 ocaml ssl

Last synced: 30 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/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/mirage/ocaml-pcap

OCaml code for generating and analysing pcap (packet capture) files

mirageos ocaml pcap

Last synced: 11 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/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/OCamlPro/ocb

ocb (OCaml Badgen) is an OCaml library for SVG badge generation. There's also a command-line tool provided.

badge badgen build coverage generation generator ocaml ocb readme status svg

Last synced: 14 Nov 2024

https://github.com/c-cube/ocaml-trace

Common interface for tracing/instrumentation libraries in OCaml

catapult ocaml tef tracing tracy

Last synced: 27 Oct 2024

https://github.com/jfeser/odoc2docset

Create Dash docsets from Odoc generated documentation.

docset documentation ocaml

Last synced: 16 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/octachron/talaria_bibtex

A bibtex file parser

bibtex ocaml

Last synced: 12 Nov 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/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