Topic

ocaml

Repositories (1356)

tablecloth
tablecloth darklang JavaScript

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

517
alcotest
alcotest mirage OCaml

A lightweight and colourful test framework

509
gcc_termux
gcc_termux its-pointless C

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

494
minttea
minttea leostera OCaml

A fun little TUI framework for OCaml

454
ocaml-torch
ocaml-torch LaurentMazare OCaml

OCaml bindings for PyTorch

444
sketch-sh
sketch-sh Sketch-sh Reason

Sketch.sh - Online Code Editor and ReasonML community

436
NEAL
NEAL uber OCaml

🔎🐞 A language-agnostic linting platform

428
soupault
soupault PataphysicalSociety OCaml

Static website generator based on HTML element tree rewriting

426
styled-ppx
styled-ppx davesnx Reason

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

412
qcheck
qcheck c-cube OCaml

QuickCheck inspired property-based testing for OCaml.

407
lambdasoup
lambdasoup aantron OCaml

Functional HTML scraping and rewriting with CSS in OCaml

406
ocaml4noobs
ocaml4noobs Camilotk OCaml

Tutorial de OCaml para iniciantes na Linguagem.

388
reason-tools
reason-tools reasonml OCaml

Adds Reason to the browser

375
geneweb
geneweb geneweb OCaml

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

373
ocaml-git
ocaml-git mirage OCaml

Pure OCaml Git format and protocol

370
yojson
yojson ocaml-community OCaml

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

370
sihl
sihl oxidizing OCaml

A modular functional web framework

364
ocaml-caqti
ocaml-caqti paurkedal OCaml

Cooperative-threaded access to relational data

355
mirage-tcpip
mirage-tcpip mirage OCaml

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

354
reasonml-idea-plugin
reasonml-idea-plugin giraud Java

ReasonML Language Plugin for IDEA

351
URI-Online-Judge-Solutions
URI-Online-Judge-Solutions eduardo-mior Java

Repositório de soluções de exercícios do URI Online Judge.

345
learn-ocaml
learn-ocaml ocaml-sf JavaScript

A Web Application for Learning OCaml

329
zbg
zbg chshersh OCaml

✨ Zero Bullshit Git

329
eliom
eliom ocsigen OCaml

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

327
tylr
tylr hazelgrove Reason

a tiny tile-based editor

322
ocaml-h2
ocaml-h2 anmonteiro OCaml

An HTTP/2 implementation written in pure OCaml

322
graphql_ppx
graphql_ppx mhallin OCaml

GraphQL PPX rewriter for Bucklescript/ReasonML

321
v2.ocaml.org
v2.ocaml.org ocaml HTML

Implementation of the ocaml.org website.

320
ocaml-tls
ocaml-tls mirleft OCaml

TLS in pure OCaml

319
bisect_ppx
bisect_ppx aantron OCaml

Code coverage for OCaml and ReScript

317
openinfraquote
openinfraquote terrateamio OCaml

Fast, open-source tool for estimating infrastructure costs from Terraform plans and state files

314
ocaml-jupyter
ocaml-jupyter akabe Jupyter Notebook

An OCaml kernel for Jupyter (IPython) notebook

314
spin
spin tmattio OCaml

OCaml project generator.

300
parallel-programming-in-multicore-ocaml
parallel-programming-in-multicore-ocaml ocaml-multicore OCaml

Tutorial on Multicore OCaml parallel programming with domainslib

298
owi
owi OCamlPro OCaml

Seamless bug-finding for C, C++, Go, Rust, Wasm and Zig

293
bs-webapi-incubator
bs-webapi-incubator reasonml-community Reason

BuckleScript bindings to the DOM and other Web APIs

292
dometyl-keyboard
dometyl-keyboard geoffder OCaml

A parametric generator for designing split, concave, ergonomic keyboards written in ocaml.

292
luv
luv aantron OCaml

Cross-platform asynchronous I/O and system calls

290
ocaml-rs
ocaml-rs zshipko Rust

OCaml extensions in Rust

289
42_Corrections
42_Corrections Binary-Hackers JavaScript

Corrections files of 42 School

282
reanalyze
reanalyze rescript-lang OCaml

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

281
datalog
datalog c-cube Prolog

An in-memory datalog implementation for OCaml.

279
rocq-of-ocaml
rocq-of-ocaml formal-land OCaml

Formal verification for OCaml, with Rocq

276
bs-json
bs-json glennsl OCaml

Compositional JSON encode/decode library for BuckleScript

272
intro-to-reason-compilation
intro-to-reason-compilation chenglou Shell

Ready up!

270
learn-reasonml-workshop
learn-reasonml-workshop protoship Reason

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

270
ccl
ccl chshersh OCaml

📜 CCL: Categorical Configuration Language, The most elegant configuration language

268
graphql-ppx
graphql-ppx teamwalnut OCaml

GraphQL language primitives for ReScript/ReasonML written in ReasonML

262
re-web
re-web yawaramin OCaml

Experimental web framework for ReasonML & OCaml

259
jackline
jackline hannesm OCaml

minimalistic secure XMPP client in OCaml

257