polytypic

f-omega-mu

Fωμ type checker and compiler

blog

rea-ml

Effectful OCaml with Objects and Variants

io

IO should be just a library

loko-ml

Lower-Kinded Optics for OCaml

idle-domains

Co-operative allocation of domains for OCaml

par-ml

Experimental parallel and concurrent OCaml

FsiRefGen

FsiRefGen is a simple tool to generate HTML docs from given .fsi files

NetOptics

Optics for the impoverished

klipse-github-docs-generator

Generates HTML pages with Klipse snippets from GitHub markdown

sml-optics

Proof of concept optics library for Standard ML

StdlibPlus

Extensions to OCaml's Stdlib

algebraic.cpp

Algebraic programming in C++

ctypes-test

kcas-talk

https://polytypic.github.io/kcas-talk/

scala-toys

Emacs

My personal Emacs configuration files

emscripten.cpp

C++ convenience wrappers for Emscripten's APIs

evy

Evy

f-omega-mu-polar

Fωμ± or polarized higher-order equirecursive polymorphic lambda calculus

fabrik.cpp

FABRIK implementation in C++

gl.cpp

WebGL 2 (OpenGL ES 3) convenience wrappers for Emscripten (C++)

luv

Cross-platform asynchronous I/O and system calls

math3d.cpp

Math primitives for 3D graphics

mdx

Execute code blocks inside your documentation

ocaml-gh

My personal scripts for working on my OCaml projects on GitHub

ocaml-iocp

OCaml bindings to Windows' IOCP API

opam-repository

Main public package repository for opam, the source package manager of OCaml.

signal-issue

SIGSEGV or SIGBUS with OCaml 5.1.1+ when using signals

thread-local-storage

thread-local storage for OCaml