Topic

ocaml

Repositories (1372)

okasaki-book-ocaml
okasaki-book-ocaml linoscope OCaml

Samples and solutions from Chris Okasaki's "Purely Functional Data Structures", written in OCaml.

11
jsoo-p5
jsoo-p5 patricoferris OCaml

Js_of_ocaml bindings for the p5.js library

11
slack-backup
slack-backup Khady OCaml

OCaml cli tool to backup discussions (channels and conversations) from slack

11
trax
trax mjambon OCaml

Catch OCaml exceptions and reraise them later without losing the original stack trace.

11
Suricate
Suricate Tim-ats-d OCaml

Suricate is a Python logging like library written in OCaml.

11
simple-compiler
simple-compiler Isaac-DeFrain OCaml

A simple compiler for a simple language. Compiles to RISC instructions with dead code optimization.

11
morsmall
morsmall colis-anr OCaml

A concise AST for POSIX shell

11
snippetor
snippetor smimram OCaml

Extract snippets from code specified by comments.

11
nanoev
nanoev c-cube OCaml

[UNSUPPORTED] nano IO event loop

11
learning-effect
learning-effect smimram OCaml

Modeling guitar amplifiers using machine learning.

11
Goose
Goose QGoose OCaml

An OCaml library for quantum computing

11
FuSe
FuSe boystrange OCaml

A simple library implementation of binary sessions

11
camel-ts
camel-ts trvswgnr TypeScript

OCaml's Result and Option modules in TypeScript, for funzies.

11
terml
terml wllfaria OCaml

Terminal manipulation library in pure Ocaml. Make text-based terminal applications with ease

11
ocaml-glpk
ocaml-glpk smimram C

OCaml bindings for glpk

11
orange
orange hwang-fu OCaml

A search engine built from scratch for learning fundamentals

11
practical-logic
practical-logic crisperdue OCaml

Code resources from John Harrison's "Handbook of Practical Logic and Automated Reasoning"

11
ocaml-tf
ocaml-tf andreypopp OCaml

OCaml bindings to terraform/opentofu

11
blink
blink robertfeliciano OCaml

and you'll miss it

11
masc
masc jeong-sik OCaml

MASC - Multi-Agent Streaming Coordination in OCaml

11
elf
elf canonicalise OCaml

ELF64 parser and in-process image loader intended to make embedding native freestanding modules in OCaml less tedious

11
oali
oali darrenldl OCaml

OCaml Arch Linux Installer

10
awesome-ppx-deriving
awesome-ppx-deriving davesnx

A collection of ppx-deriving plugins

10
ocaml-xi-rope
ocaml-xi-rope cfcs OCaml

xi-editor data structures in OCaml

10
bs-three
bs-three w3reality OCaml

BuckleScript binding for three.js

10
hieroglyphs
hieroglyphs marcoonroad OCaml

Quantum-resistant, purely Hash-based, Stateful, One-Time Digital Signatures for OCaml. :shield: :camel: :lock: :key: [Work In Progress]

10
jsoo_broadcastchannel
jsoo_broadcastchannel xvw OCaml

Binding in Js_of_ocaml for the BroadcastChannel API

10
nate
nate ucsd-progsys OCaml

Learning to Blame Type Errors from Novice Mistakes

10
automatic-differentiation
automatic-differentiation jaybosamiya OCaml

:chart_with_upwards_trend: Find first derivatives of functions automagically

10
jsonrpc2
jsonrpc2 c-cube OCaml

[unfinished] Jsonrpc2 for OCaml, parametrized by the underlying IO.

10
bag
bag backtracking OCaml

Bag library for OCaml

10
prettiest
prettiest astahfrom OCaml

A Pretty but not Greedy Printer in OCaml

10
ocaml-chacha
ocaml-chacha abeaumont OCaml

ChaCha20, ChaCha12 and ChaCha8 encryption functions, in OCaml

10
ocaml-salsa20
ocaml-salsa20 abeaumont OCaml

Salsa20 encryption function, in pure OCaml

10
bs-snabbdom
bs-snabbdom jordwest OCaml

Bucklescript + Snabbdom

10
rego
rego rizo OCaml

Reasonable Go.

10
re-tree
re-tree smorimoto Reason

A minimal Unix tree command implementation written in pure Native Reason

10
ocaml-vw
ocaml-vw travisbrady OCaml

OCaml bindings to vowpal wabbit

10
ocaml-SeqBox
ocaml-SeqBox darrenldl OCaml

Implementation of SeqBox in OCaml

10
torcontrol
torcontrol sternenseemann OCaml

OCaml client library for the Tor control port [abandoned]

10
experiments
experiments raptazure Haskell

Just toys

10
fit
fit lindig OCaml

Minimal OCaml library to parse Garmin FIT files

10
gitmaildir
gitmaildir odnh OCaml

A git overlay for maildir, providing a strongly consistent index and allowing easy implementation of extra functionality.

10
ocaml-eliom
ocaml-eliom ocsigen OCaml

A modified OCaml compiler for eliom programs

10
domain-name
domain-name hannesm OCaml

RFC 1035 Internet domain names

10
Farfadet
Farfadet oklm-wsh OCaml

A printf-like for Faraday library

10
Lambda
Lambda wenyuzhao OCaml

Lambda calculus interpreter in OCaml

10
logs-syslog
logs-syslog hannesm OCaml

Emit Logs via syslog

10
kitty-lang
kitty-lang darnuria OCaml

An other toy compiler in Ocaml, made with Menhir and Ocamlex for 3I018 compilation course at university

10
multistage-programming-taha
multistage-programming-taha alhassy Haskell

A Haskell implementation of the code within Walid Taha's ``A Gentle Introduction to Multi-stage Programming''

10