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.

https://github.com/hmemcpy/milewski-ctfp-pdf

Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source

category-theory cpp functional-programming haskell latex ocaml pdf scala

Last synced: 30 Dec 2024

https://facebook.github.io/reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

javascript ocaml programming-language reason reasonml

Last synced: 15 Dec 2024

https://github.com/reasonml/reason

Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems

javascript ocaml programming-language reason reasonml

Last synced: 30 Dec 2024

https://github.com/lk-geimfari/awesomo

Cool open source projects. Choose your project and get involved in Open Source development now.

awesome clojure dev elixir emacs-lisp erlang haskell lisp list lua ocaml open-source projects python ruby rust scala typescript

Last synced: 25 Sep 2024

https://github.com/revery-ui/revery

:zap: Native, high-performance, cross-platform desktop apps - built with Reason!

app cross-platform desktop desktop-apps electron native ocaml react reason reasonml ui

Last synced: 02 Jan 2025

https://github.com/onivim/oni2

Native, lightweight modal code editor

editor linux macos ocaml oni reasonml revery windows

Last synced: 02 Jan 2025

https://github.com/astrada/google-drive-ocamlfuse

FUSE filesystem over Google Drive

filesystem fuse google-drive ocaml

Last synced: 31 Dec 2024

https://github.com/ocaml/ocaml

The core OCaml system: compilers, runtime system, base libraries

compiler functional-language ocaml

Last synced: 31 Dec 2024

https://github.com/extism/extism

The framework for building with WebAssembly (wasm). Easily load wasm modules, move data, call functions, and build extensible apps.

browser c cpp csharp dotnet elixir go haskell java javascript node ocaml plugin-system python ruby rust serverless wasm webassembly zig

Last synced: 30 Dec 2024

https://github.com/mirage/mirage

MirageOS is a library operating system that constructs unikernels

kvm linux mirageos ocaml opam unikernel xen

Last synced: 01 Jan 2025

https://github.com/minaprotocol/mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

blockchain cryptocurrency mina ocaml zk-snarks

Last synced: 31 Dec 2024

https://github.com/MinaProtocol/mina

Mina is a cryptocurrency protocol with a constant size blockchain, improving scaling while maintaining decentralization and security.

blockchain cryptocurrency mina ocaml zk-snarks

Last synced: 07 Nov 2024

https://github.com/mirage/irmin

Irmin is a distributed database that follows the same design principles as Git

database git irmin mirageos ocaml storage

Last synced: 31 Dec 2024

https://github.com/netgusto/nodebook

Nodebook - Multi-Lang Web REPL + CLI Code runner

c clojure cpp csharp elixir fsharp go haskell java lua nodejs ocaml php python r repl ruby rust swift typescript

Last synced: 28 Dec 2024

https://github.com/aantron/dream

Tidy, feature-complete Web framework

framework graphql http ocaml reasonml web websockets

Last synced: 02 Jan 2025

https://github.com/ocaml/dune

A composable build system for OCaml.

build dune jbuilder ocaml opam

Last synced: 01 Jan 2025

https://aantron.github.io/dream/

Tidy, feature-complete Web framework

framework graphql http ocaml reasonml web websockets

Last synced: 28 Nov 2024

https://github.com/ocaml/merlin

Context sensitive completion for OCaml in Vim and Emacs

atom emacs ocaml vim

Last synced: 01 Jan 2025

https://github.com/tezos/tezos

Mirror of the release branches for Tezos, a self-amending cryptographic ledger

blockchain ocaml smart-contracts tezos

Last synced: 29 Dec 2024

https://github.com/ocaml/opam

opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.

git ocaml opam package-manager

Last synced: 02 Jan 2025

https://github.com/leostera/caramel

:candy: a functional language for building type-safe, scalable, and maintainable applications

caramel compiler elixir erlang functional-language ocaml type-safe

Last synced: 31 Dec 2024

https://github.com/ocsigen/js_of_ocaml

Compiler from OCaml to Javascript.

compiler javascript jsoo ocaml ocsigen

Last synced: 02 Jan 2025

https://github.com/hazelgrove/hazel

Hazel, a live functional programming environment with typed holes

editor elm functional-programming holes ocaml reasonml

Last synced: 27 Dec 2024

https://github.com/ocsigen/lwt

OCaml promises and concurrent I/O

asynchronous concurency events fibers futures io lwt ocaml promises

Last synced: 02 Jan 2025

https://github.com/mirage/ocaml-cohttp

An OCaml library for HTTP clients and servers using Lwt or Async

http http-client lwt ocaml unix

Last synced: 27 Dec 2024

https://github.com/inhabitedtype/angstrom

Parser combinators built for speed and memory efficiency

ocaml parser-combinators parsing

Last synced: 27 Dec 2024

https://github.com/ocaml-ppx/ocamlformat

Auto-formatter for OCaml code

ocaml

Last synced: 27 Dec 2024

https://github.com/artagnon/rhine-ml

🏞 an OCaml compiler for an untyped lisp

compiler llvm ocaml programming-language

Last synced: 25 Sep 2024

https://github.com/andreas/ocaml-graphql-server

GraphQL servers in OCaml

graphql ocaml

Last synced: 01 Jan 2025

https://github.com/davesnx/query-json

Faster, simpler and more portable implementation of `jq` in Reason

json menhir ocaml reason reason-native reasonml sedlex

Last synced: 30 Dec 2024

https://github.com/riot-ml/riot

An actor-model multi-core scheduler for OCaml 5 🐫

actor-model elixir erlang fault-tolerance multicore multicore-ocaml ocaml otp

Last synced: 28 Dec 2024

https://github.com/ocaml-multicore/eio

Effects-based direct-style IO for multicore OCaml

concurrency effects io multicore ocaml

Last synced: 28 Dec 2024

https://github.com/briskml/brisk

✨Cross-platform set of tools for building native UIs with Reason/OCaml

app brisk cocoa cross-platform desktop electron native ocaml react react-native reason reasonml ui

Last synced: 30 Dec 2024

https://github.com/inhabitedtype/httpaf

A high performance, memory efficient, and scalable web server written in OCaml

http ocaml

Last synced: 28 Dec 2024

https://github.com/linoscope/camlboy

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

emulator gameboy gameboy-emulator ocaml

Last synced: 29 Dec 2024

https://github.com/ocaml/opam-repository

Main public package repository for opam, the source package manager of OCaml.

ocaml opam

Last synced: 01 Jan 2025

https://github.com/linoscope/CAMLBOY

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

emulator gameboy gameboy-emulator ocaml

Last synced: 07 Nov 2024

https://github.com/darklang/tablecloth

A standard library with the same API in F#, Rescript and OCaml

fsharp ocaml rescript standard-library

Last synced: 28 Dec 2024

https://github.com/vult-dsp/vult

Vult is a transcompiler well suited to write high-performance DSP code

audio-effect compiler dsp microcontroller ocaml puredata synthesizer vult webaudio

Last synced: 28 Dec 2024

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

A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.

data-structure lightweight modular ocaml permissive-license portable stdlib

Last synced: 27 Dec 2024

https://github.com/leostera/reason-design-patterns

🗺 An unofficial collection of "design patterns" for ReScript, Reason, and OCaml

design-patterns how-to ocaml patterns reason reasonml recipes rescript rescript-lang

Last synced: 30 Dec 2024

https://github.com/its-pointless/gcc_termux

Gcc for termux with fortran scipy etc... Use apt for newest updates instructions in README.txt

ada android command-line ecl fortran gcc gcc-complier gnat julia julialang mongodb ocaml octave opencv pascal rakudo rstats scipy termux vlc

Last synced: 28 Dec 2024

https://github.com/mirage/alcotest

A lightweight and colourful test framework

ocaml unit-testing

Last synced: 27 Dec 2024

https://github.com/uber/neal

🔎🐞 A language-agnostic linting platform

ocaml python swift uber

Last synced: 30 Dec 2024

https://github.com/sketch-sh/sketch-sh

Sketch.sh - Online Code Editor and ReasonML community

bucklescript ocaml reasonml rtop sketch-sh

Last synced: 29 Dec 2024

https://github.com/Sketch-sh/sketch-sh

Sketch.sh - Online Code Editor and ReasonML community

bucklescript ocaml reasonml rtop sketch-sh

Last synced: 13 Nov 2024

https://github.com/uber/NEAL

🔎🐞 A language-agnostic linting platform

ocaml python swift uber

Last synced: 02 Nov 2024

https://github.com/davesnx/styled-ppx

Type-safe styled components for ReScript, Melange and native with type-safe CSS

css css-in-js emotion melange ocaml ppx react reason reasonml rescript styled styled-components vscode-extension

Last synced: 27 Dec 2024

https://github.com/camilotk/ocaml4noobs

Tutorial de OCaml para iniciantes na Linguagem.

brasil functional-programming ocaml portugues tutorial

Last synced: 30 Dec 2024

https://github.com/Camilotk/ocaml4noobs

Tutorial de OCaml para iniciantes na Linguagem.

brasil functional-programming ocaml portugues tutorial

Last synced: 02 Nov 2024

https://github.com/aantron/lambdasoup

Functional HTML scraping and rewriting with CSS in OCaml

css html ocaml scraping soup

Last synced: 27 Dec 2024

https://github.com/pataphysicalsociety/soupault

Static website generator based on HTML element tree rewriting

hacktoberfest html-processor lua ocaml static-site-generator web

Last synced: 29 Dec 2024

https://github.com/leostera/minttea

A fun little TUI framework for OCaml

cli multicore ocaml terminal the-elm-architecture tui

Last synced: 29 Dec 2024

https://github.com/reasonml/reason-tools

Adds Reason to the browser

browser-extension chrome ocaml reason reasonml refmt

Last synced: 01 Jan 2025

https://github.com/PataphysicalSociety/soupault

Static website generator based on HTML element tree rewriting

hacktoberfest html-processor lua ocaml static-site-generator web

Last synced: 06 Nov 2024

https://github.com/mirage/ocaml-git

Pure OCaml Git format and protocol

git ocaml

Last synced: 28 Dec 2024

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

QuickCheck inspired property-based testing for OCaml.

alcotest monadic-interface ocaml ounit property-based-testing quickcheck random random-generator testing

Last synced: 29 Dec 2024

https://github.com/mirage/mirage-tcpip

TCP/IP networking stack in pure OCaml, using the Mirage platform libraries. Includes IPv4/6, ICMP, and UDP/TCP support.

arp ethernet icmp ipv4 mirageos networking-stack ocaml tcp tcpip udp unikernel

Last synced: 28 Dec 2024

https://github.com/ocaml-community/yojson

Low-level JSON parsing and pretty-printing library for OCaml

json ocaml parser yojson

Last synced: 28 Dec 2024

https://github.com/ocaml/v2.ocaml.org

Implementation of the ocaml.org website.

ocaml

Last synced: 28 Dec 2024

https://github.com/geneweb/geneweb

GeneWeb is a free (as in free speech) genealogy software with a web interface created by Daniel de Rauglaudre.

consanguinity database family-tree gedcom genealogy graph linux ocaml opam osx software web windows

Last synced: 29 Dec 2024

https://github.com/mhallin/graphql_ppx

GraphQL PPX rewriter for Bucklescript/ReasonML

bucklescript graphql ocaml ppx ppx-rewriter reasonml

Last synced: 01 Jan 2025

https://github.com/paurkedal/ocaml-caqti

Cooperative-threaded access to relational data

async database io-monad lwt mariadb ocaml postgresql sqlite

Last synced: 29 Dec 2024

https://github.com/anmonteiro/ocaml-h2

An HTTP/2 implementation written in pure OCaml

http http2 ocaml

Last synced: 29 Dec 2024

https://github.com/ocsigen/eliom

Multi-tier framework for programming web and mobile applications in OCaml.

full-stack full-stack-web-development fullstack-development mobile-development ocaml ocsigen tierless types web

Last synced: 30 Dec 2024

https://github.com/mirleft/ocaml-tls

TLS in pure OCaml

mirageos ocaml security tls

Last synced: 28 Dec 2024

https://github.com/ocaml-sf/learn-ocaml

A Web Application for Learning OCaml

learn-ocaml ocaml teaching

Last synced: 30 Dec 2024

https://github.com/aantron/bisect_ppx

Code coverage for OCaml and ReScript

coverage ocaml

Last synced: 30 Dec 2024

https://github.com/reasonml-community/bs-webapi-incubator

BuckleScript bindings to the DOM and other Web APIs

bindings bucklescript javascript ocaml reason

Last synced: 29 Sep 2024

https://github.com/tmattio/spin

OCaml project generator.

dune esy ocaml reason spin template

Last synced: 29 Dec 2024

https://github.com/hazelgrove/tylr

a tiny tile-based editor

holes js-of-ocaml ocaml reasonml structure-editor

Last synced: 01 Jan 2025

https://github.com/ocaml-multicore/parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

multicore ocaml

Last synced: 31 Dec 2024

https://github.com/aantron/luv

Cross-platform asynchronous I/O and system calls

asynchronous events io libuv ocaml reasonml

Last synced: 01 Jan 2025

https://github.com/rescript-lang/reanalyze

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

analysis dce deadcodeelimination ocaml rescript termination-detection-algorithm

Last synced: 29 Dec 2024

https://github.com/glennsl/bs-json

Compositional JSON encode/decode library for BuckleScript

bucklescript js json ocaml

Last synced: 29 Sep 2024

https://github.com/protoship/learn-reasonml-workshop

Learn ReasonML with 24 exercises. No prior functional programming knowledge required.

ocaml reasonml

Last synced: 31 Dec 2024

https://github.com/rescript-association/reanalyze

Experimental analyses for ReScript and OCaml: globally dead values/types, exception analysis, and termination analysis.

analysis dce deadcodeelimination ocaml rescript termination-detection-algorithm

Last synced: 13 Oct 2024

https://github.com/zshipko/ocaml-rs

OCaml extensions in Rust

ffi ocaml rust

Last synced: 02 Jan 2025