Pinned Repositories
animatedcard
awesome-wasm
😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.
cil
C Intermediate Language
dawg
scalable gradient boosted trees
directfb
DFB Core
hmq
High performance mqtt broker
homebrew-oldgpg
homebrew tap with gnupg-2.2.27
merlin
Context sensitive completion for OCaml in Vim and Emacs
oasis
Cabal like system for OCaml
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
gerdstolpmann's Repositories
gerdstolpmann/oasis
Cabal like system for OCaml
gerdstolpmann/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
gerdstolpmann/animatedcard
gerdstolpmann/awesome-wasm
😎 Curated list of awesome things regarding WebAssembly (wasm) ecosystem.
gerdstolpmann/cil
C Intermediate Language
gerdstolpmann/dawg
scalable gradient boosted trees
gerdstolpmann/directfb
DFB Core
gerdstolpmann/hmq
High performance mqtt broker
gerdstolpmann/homebrew-oldgpg
homebrew tap with gnupg-2.2.27
gerdstolpmann/merlin
Context sensitive completion for OCaml in Vim and Emacs
gerdstolpmann/ocaml
Read-only mirror of INRIA SVN
gerdstolpmann/ocaml-mosquitto
gerdstolpmann/ocaml.org
Implementation of the ocaml.org website.
gerdstolpmann/ocamlfind
The OCaml findlib library manager
gerdstolpmann/opam-cross-ios
An OCaml cross-toolchain for iOS and several useful libraries
gerdstolpmann/ppx_deriving_yojson
A Yojson codec generator for OCaml >= 4.02.
gerdstolpmann/SDL
Automated mirror of https://hg.libsdl.org/SDL/
gerdstolpmann/simpleupload
The simple-upload web component for RemixLabs
gerdstolpmann/spec
WebAssembly specification, reference interpreter, and test suite.
gerdstolpmann/wasi-libc
WASI libc implementation for WebAssembly
gerdstolpmann/web-worker
Consistent Web Workers in browser and Node.