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
lambdasoup
lambdasoup aantron OCaml

Functional HTML scraping and rewriting with CSS in OCaml

406
qcheck
qcheck c-cube OCaml

QuickCheck inspired property-based testing for OCaml.

397
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

365
sihl
sihl oxidizing OCaml

A modular functional web framework

362
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
ocaml-caqti
ocaml-caqti paurkedal OCaml

Cooperative-threaded access to relational data

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
zbg
zbg chshersh OCaml

✨ Zero Bullshit Git

329
learn-ocaml
learn-ocaml ocaml-sf JavaScript

A Web Application for Learning OCaml

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
coq-of-ocaml
coq-of-ocaml formal-land OCaml

Formal verification for OCaml

273
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
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
ccl
ccl chshersh OCaml

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

258
jackline
jackline hannesm OCaml

minimalistic secure XMPP client in OCaml

255