Topic

ocaml

Repositories (1383)

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
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
ethernet
ethernet mirage OCaml

Ethernet (IEEE 802.3) layer implementation for MirageOS in OCaml

10
http-cookie
http-cookie bikallem OCaml

A comprehensive, validating, and standards compliant (RFC 6265 ) HTTP cookie library for OCaml.

10
digital-red
digital-red examachine OCaml

Digital-Red is a collection of succinct, elegant OCaml implementations of the algorithms in the famous MIT red book of algorithms.

10
CMSC330
CMSC330 PranavRudra

My course notes for CMSC 330 (Organization of Programming Languages)

10
mini_ml
mini_ml ikanago Rust

Interpreter of OCaml subset

10
est-ocaml
est-ocaml susisu OCaml

A simple command line tool for statistical calculation

10
picasso
picasso ghilesZ OCaml

OCaml Library for the drawing of abstract elements (Polyhedra, Octagon, Boxes)

10
rescript-atdgen-generator
rescript-atdgen-generator TheSpyder JavaScript

Pre-compiled versions of atdgen binaries to be consumed from ReScript projects

10
openqasm-parser
openqasm-parser inQWIRE OCaml

OCaml library for manipulating OpenQASM Abstract Syntax Tree

10
bs-holochain
bs-holochain struktured OCaml

Holochain bindings for Bucklescript.

10
lua-parser
lua-parser krtx OCaml

Lua parser implemented in OCaml

10
mhash
mhash imandra-ai OCaml

hashing library that is generic on the hashing function, and a ppx deriving plugin for type-directer hashers

10
algorithm-w
algorithm-w bynect OCaml

Type inference implementation in OCaml using Algorithm W

10
Synduce
Synduce synduce OCaml

An automatic recursive function transformer.

10
ocaml-serializers
ocaml-serializers graphx-design OCaml

Basic benchmarks for OCaml serializers

10
catapult
catapult imandra-ai OCaml

Tracing library for OCaml with catapult/TEF export.

10
booba
booba xhtmlboi OCaml

After paying tribute to Hugo and Zola, the great family of static blog generators pays tribute to another great poet of the 21st Century. Often compar...

10
opine
opine ArulselvanMadhavan OCaml

Opine is an OCaml library that unparses the python AST produced by pyre-ast library back to python source code.

10
ocaml-taglib
ocaml-taglib savonet OCaml

OCaml bindings to taglib.

10
ocaml-glpk
ocaml-glpk smimram C

OCaml bindings for glpk

10
provider
provider mbarbin OCaml

Dynamic Dispatch with Traits (OCaml)

10
orange
orange hwang-fu OCaml

A search engine built from scratch for learning fundamentals

10
ppx_deriving_decoders
ppx_deriving_decoders benbellick OCaml

Auto generate decoders for OCaml

10
ocaml-lilv
ocaml-lilv savonet OCaml

OCaml bindings to the lilv library for using LV2 plugins.

10
ocaml-tf
ocaml-tf andreypopp OCaml

OCaml bindings to terraform/opentofu

10
ocaml-srt
ocaml-srt savonet OCaml

OCaml bindings for the Secure, Reliable, Transport protocol library

10
passe
passe syaiful6 C

Passe is an OCaml library for hashing and verifying passwords using Bcrypt and Argon2

10
ocaml-noise-socket
ocaml-noise-socket LoFiRes OCaml

Noise Socket library in OCaml

9
counter-as-a-service
counter-as-a-service davesnx Reason

An example of a "real world" app written entirely with Reason

9
ocaml-dimensions
ocaml-dimensions cyril-allignol OCaml

Type-level dimensional analysis for OCaml

9
Jerboa
Jerboa StrykerKKD OCaml

A minimalistic web framework for you

9
advent
advent hellopatrick OCaml

advent of code in ocaml.

9
bs-dom
bs-dom 0zat OCaml

A DOM Library for BuckleScript

9
usane
usane hannesm OCaml

Unsigned integers for OCaml

9
opam-lock
opam-lock rgrinberg OCaml

Dump/restore opam dependencies using a lock file

9
piplet
piplet xvw OCaml

Small page generator (Work in progress)

9
reason-aoc-starter
reason-aoc-starter ManasJayanth JavaScript

Reason Starter kit for Advent of Code

9
ParameterisedModule.jl
ParameterisedModule.jl thautwarm Julia

Full featured parameterised ML-modules in Julia

9
msvs-tools
msvs-tools metastack Shell

Microsoft Visual Studio Helper Scripts (OCaml)

9
ocaml-salsa20-core
ocaml-salsa20-core abeaumont OCaml

Salsa20 core functions, in OCaml

9
angstrom-examples
angstrom-examples anuragsoni OCaml

Sample parsers using Angstrom

9
babilim
babilim Octachron OCaml

Localization plugin for OCaml

9
polly
polly lindig OCaml

OCaml bindings for Linux epoll(2)

9