Pinned Repositories
partial.lenses
Partial lenses is a comprehensive, high-performance optics library for JavaScript
Infers
A type-level logic programming language embedded in F#
kcas
Software Transactional Memory for OCaml
picos
Interoperable effects based concurrency
blog
Links to some of my publications
f-omega-mu
Fωμ type checker and compiler
fastener
Functional Zipper for manipulating JSON
loko-ml
Lower-Kinded Optics for OCaml
rea-ml
Effectful OCaml with Objects and Variants
Recalled
polytypic's Repositories
polytypic/f-omega-mu
Fωμ type checker and compiler
polytypic/blog
Links to some of my publications
polytypic/rea-ml
Effectful OCaml with Objects and Variants
polytypic/loko-ml
Lower-Kinded Optics for OCaml
polytypic/io
IO should be just a library
polytypic/idle-domains
Co-operative allocation of domains for OCaml
polytypic/par-ml
Experimental parallel and concurrent OCaml
polytypic/FsiRefGen
FsiRefGen is a simple tool to generate HTML docs from given .fsi files
polytypic/StdlibPlus
Extensions to OCaml's Stdlib
polytypic/algebraic.cpp
Algebraic programming in C++
polytypic/ctypes-test
polytypic/dream-leak
polytypic/fabrik.cpp
FABRIK implementation in C++
polytypic/kcas-talk
https://polytypic.github.io/kcas-talk/
polytypic/scala-toys
polytypic/Emacs
My personal Emacs configuration files
polytypic/emscripten.cpp
C++ convenience wrappers for Emscripten's APIs
polytypic/f-omega-mu-polar
Fωμ± or polarized higher-order equirecursive polymorphic lambda calculus
polytypic/flambda-backend
The Flambda backend project for OCaml
polytypic/gl.cpp
WebGL 2 (OpenGL ES 3) convenience wrappers for Emscripten (C++)
polytypic/luv
Cross-platform asynchronous I/O and system calls
polytypic/math3d.cpp
Math primitives for 3D graphics
polytypic/mdx
Execute code blocks inside your documentation
polytypic/ocaml-gh
My personal scripts for working on my OCaml projects on GitHub
polytypic/ocaml-iocp
OCaml bindings to Windows' IOCP API
polytypic/opam-repository
Main public package repository for opam, the source package manager of OCaml.
polytypic/picos-issue
Investigating issues related to Picos
polytypic/sigchld
polytypic/signal-issue
SIGSEGV or SIGBUS with OCaml 5.1.1+ when using signals
polytypic/thread-local-storage
thread-local storage for OCaml