dra27
Principal software engineer @tarides; @ocaml and @ocaml-opam core developer; general Windows {apolo,evange}list
@taridesCambridge, UK
Pinned Repositories
dose
forked from https://scm.gforge.inria.fr/anonscm/git/dose/dose.git
naked
ocaml-changes
OCaml Changes Log Action
ocaml5-ci-demo
opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
opam-compose
opam-compose experiment
opam-experiments
Various experiments for porting OPAM to Native Windows
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
relocatable
Relocatable OCaml Project
stdlib-sync
Experiment at alternate mechanism for syncing labelled/unlabelled module docs
dra27's Repositories
dra27/relocatable
Relocatable OCaml Project
dra27/opam
OPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
dra27/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
dra27/AOC2023
Advent of Code 2023
dra27/memtrace
Streaming client for OCaml's Memprof
dra27/mingw-w64-shims
Cygwin binary shim generator for opam-repository
dra27/cmdliner
Declarative definition of command line interfaces for OCaml
dra27/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
dra27/dune
A composable build system for OCaml
dra27/gecko-dev
Read-only Git mirror of the Mercurial gecko repositories at https://hg.mozilla.org. How to contribute: http://bit.ly/contribute-code
dra27/gha-playground
GitHub Actions Playground
dra27/js_of_ocaml
Compiler from OCaml to Javascript.
dra27/lwt
OCaml promises and concurrent I/O
dra27/mirage-torrent
WIP
dra27/num
The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
dra27/ocaml
The core OCaml system: compilers, runtime system, base libraries
dra27/ocaml-ctypes
Library for binding to C libraries using pure OCaml
dra27/ocaml.org
The official OCaml website.
dra27/ocaml_intrinsics_kernel
Intrinsics
dra27/ocamlbuild
OCamlbuild
dra27/ocamlfind
The OCaml findlib library manager
dra27/opam2web
A tool to generate a website from an opam repository
dra27/phc-winner-argon2
The password hash Argon2, winner of PHC
dra27/platform-blog
Repository for the Platform blog
dra27/polars-ocaml
dra27/ppxlib
Base library and tools for ppx rewriters
dra27/setup-ocaml
GitHub Action for the OCaml programming language
dra27/SpiderCaml
OCaml bindings to the SpiderCaml Javascript engine
dra27/winget-pkgs
The Microsoft community Windows Package Manager manifest repository
dra27/Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.