Topic

ocaml

Repositories (1356)

terml
terml wllfaria OCaml

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

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
batsat-ocaml
batsat-ocaml c-cube OCaml

OCaml bindings for batsat (https://github.com/c-cube/batsat)

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
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
bene-gesselint
bene-gesselint NathanReb OCaml

A secret project to produce a Kwisatz Haderach, perfect OCaml code that would bridge time and space, through selective breeding and linting. But mostl...

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
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
bs-holochain
bs-holochain struktured OCaml

Holochain bindings for Bucklescript.

10
lua-parser
lua-parser krtx OCaml

Lua parser implemented in OCaml

10
slack-backup
slack-backup Khady OCaml

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

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