ProgramingIsTheFuture

ocaml-grpc

gRPC library for OCaml

melange

A mixture of tooling combined to produce JavaScript from OCaml & Reason

reason

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

ocaml-effects-tutorial

Tutorial for Learning OCaml's Effects and Handlers

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

aura

A multilingual package manager for Arch Linux and the AUR.

ocaml-rs

OCaml extensions in Rust

bubbletea

A powerful little TUI framework 🏗

ocamlformat

Auto-formatter for OCaml code

ocamlverse.github.io

Documentation of everything relevant in the OCaml world

opam

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

flux

General purpose programming language for cool people.

deno_lint

Blazing fast linter for JavaScript and TypeScript written in Rust

eio

Effects-based direct-style IO for multicore OCaml

dream

Tidy, feature-complete Web framework

awesome-ocaml

A curated collection of awesome OCaml tools, frameworks, libraries and articles.

go-zero

A cloud-native Go microservices framework with cli tool for productivity.

clojure

The Clojure programming language

fresh

The next-gen web framework.

wanted_modules

Is there a missing deno module that is preventing you from building something? Let us know here.

mirage

MirageOS is a library operating system that constructs unikernels

ziglings

Learn the Zig programming language by fixing tiny broken programs.

zig

General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.

merlin

Context sensitive completion for OCaml in Vim and Emacs

dune

A composable build system for OCaml.

lwt

OCaml promises and concurrent I/O

ocaml

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

racket-langserver

aqua

A minimal and fast 🏃 web framework for Deno

bulletproof-react

🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.