Topic

ocaml

Repositories (1372)

tablecloth
tablecloth darklang JavaScript

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

518
alcotest
alcotest mirage OCaml

A lightweight and colourful test framework

515
gcc_termux
gcc_termux its-pointless C

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

495
minttea
minttea leostera OCaml

A fun little TUI framework for OCaml

471
ocaml-torch
ocaml-torch LaurentMazare OCaml

OCaml bindings for PyTorch

443
sketch-sh
sketch-sh Sketch-sh Reason

Sketch.sh - Online Code Editor and ReasonML community

435
soupault
soupault PataphysicalSociety OCaml

Static website generator based on HTML element tree rewriting

430
NEAL
NEAL uber OCaml

🔎🐞 A language-agnostic linting platform

429
styled-ppx
styled-ppx davesnx Reason

styled components for Reason/OCaml with type-safe CSS and static extraction

413
lambdasoup
lambdasoup aantron OCaml

Functional HTML scraping and rewriting with CSS in OCaml

409
qcheck
qcheck c-cube OCaml

QuickCheck inspired property-based testing for OCaml.

407
ocaml4noobs
ocaml4noobs Camilotk OCaml

Tutorial de OCaml para iniciantes na Linguagem.

389
geneweb
geneweb geneweb OCaml

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

386
reason-tools
reason-tools reasonml OCaml

Adds Reason to the browser

373
yojson
yojson ocaml-community OCaml

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

370
ocaml-git
ocaml-git mirage OCaml

Pure OCaml Git format and protocol

368
sihl
sihl oxidizing OCaml

A modular functional web framework

364
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.

357
ocaml-caqti
ocaml-caqti paurkedal OCaml

Cooperative-threaded access to relational data

355
reasonml-idea-plugin
reasonml-idea-plugin giraud Java

ReasonML Language Plugin for IDEA

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

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

346
learn-ocaml
learn-ocaml ocaml-sf JavaScript

A Web Application for Learning OCaml

333
zbg
zbg chshersh OCaml

✨ Zero Bullshit Git

331
eliom
eliom ocsigen OCaml

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

330
tylr
tylr hazelgrove Reason

a tiny tile-based editor

325
graphql_ppx
graphql_ppx mhallin OCaml

GraphQL PPX rewriter for Bucklescript/ReasonML

323
ocaml-h2
ocaml-h2 anmonteiro OCaml

An HTTP/2 implementation written in pure OCaml

323
ocaml-tls
ocaml-tls mirleft OCaml

TLS in pure OCaml

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

Implementation of the ocaml.org website.

319
bisect_ppx
bisect_ppx aantron OCaml

Code coverage for OCaml and ReScript

319
openinfraquote
openinfraquote terrateamio OCaml

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

319
ocaml-jupyter
ocaml-jupyter akabe Jupyter Notebook

An OCaml kernel for Jupyter (IPython) notebook

315
owi
owi OCamlPro OCaml

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

314
dometyl-keyboard
dometyl-keyboard geoffder OCaml

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

301
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

300
ocaml-rs
ocaml-rs zshipko Rust

OCaml extensions in Rust

292
bs-webapi-incubator
bs-webapi-incubator reasonml-community Reason

BuckleScript bindings to the DOM and other Web APIs

290
luv
luv aantron OCaml

Cross-platform asynchronous I/O and system calls

290
datalog
datalog c-cube Prolog

An in-memory datalog implementation for OCaml.

282
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.

282
rocq-of-ocaml
rocq-of-ocaml formal-land OCaml

Formal verification for OCaml, with Rocq

275
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

267
graphql-ppx
graphql-ppx teamwalnut OCaml

GraphQL language primitives for ReScript/ReasonML written in ReasonML

263
re-web
re-web yawaramin OCaml

Experimental web framework for ReasonML & OCaml

259
bogue
bogue sanette OCaml

GUI library for ocaml based on SDL2

258