Anil Madhavapeddy avsm
-
University of Cambridge
- Cambridge, UK
- https://anil.recoil.org/
- https://orcid.org/0000-0001-8954-2428
- @avsm@amok.recoil.org
- https://threads.net/avsm
- @anil.recoil.org
Highlights
-
mirage-crypto Public
Forked from mirage/mirage-cryptoCryptographic primitives for MirageOS
OCaml ISC License UpdatedJun 4, 2023 -
osrelease Public
Detect operating system, distribution, version and architecture in OCaml
-
capnp-rpc Public
Forked from mirage/capnp-rpcCap'n Proto RPC implementation
OCaml Other UpdatedMay 24, 2023 -
ocluster Public
Forked from ocurrent/oclusterDistribute CI builds to worker nodes over Cap'n Proto
OCaml UpdatedMay 23, 2023 -
v3.ocaml.org-server Public
Forked from ocaml/ocaml.orgServer-side of the next version of the ocaml.org website. See https://github.com/ocaml/v3.ocaml.org for the frontend.
HTML Other UpdatedApr 21, 2023 -
ocaml.org Public
Forked from ocaml/v2.ocaml.orgWebsite for the OCaml community.
CSS UpdatedApr 19, 2023 -
-
bechamel Public
Forked from mirage/bechamelAgnostic benchmark in OCaml (proof-of-concept)
OCaml MIT License UpdatedMar 30, 2023 -
ocaml-iocp Public
Forked from ocaml-multicore/ocaml-iocpOCaml bindings to Windows' IOCP API
OCaml UpdatedMar 28, 2023 -
docker-base Public
Forked from rocq-community/docker-baseParent image for Docker images of the Coq proof assistant [maintainers=@erikmd,@himito]
Dockerfile BSD 3-Clause "New" or "Revised" License UpdatedMar 20, 2023 -
-
ppxlib Public
Forked from ocaml-ppx/ppxlibBase library and tools for ppx rewriters
OCaml MIT License UpdatedDec 20, 2022 -
ocaml-lsp Public
Forked from ocaml/ocaml-lspOCaml Language Server Protocol implementation
OCaml Other UpdatedDec 9, 2022 -
async_graphics Public
Forked from lpw25/async_graphicsAsync wrapper for OCaml Graphics library
OCaml Other UpdatedAug 30, 2022 -
ocaml-print-intf Public
Pretty print an OCaml cmi/cmt/cmti file in human-readable OCaml signature form
-
runtime_events_tools Public
Forked from tarides/runtime_events_toolsOCaml ISC License UpdatedJun 21, 2022 -
omake Public
Forked from ocaml-omake/omakeThe new home of OMake - docs, downloads, mailing list etc. see:
OCaml GNU General Public License v2.0 UpdatedJun 4, 2022 -
ocaml-uri Public
Forked from mirage/ocaml-uriRFC3986 URI parsing library for OCaml
-
ocaml-pandoc Public
Forked from smimram/ocaml-pandocAn OCaml library for creating pandoc filters.
OCaml GNU Lesser General Public License v2.1 UpdatedFeb 9, 2022 -
-
-
ocaml-multicore Public
Forked from ocaml-multicore/ocaml-multicoreMulticore OCaml
OCaml Other UpdatedJan 7, 2022 -
spamoracle Public
Forked from xavierleroy/spamoracleE-mail filter and classifier based on Bayesian learning
OCaml UpdatedJan 4, 2022 -
docker-ssh-agent-forward Public
Forward SSH agent socket into a container
-
opam Public
Forked from ocaml/opamOPAM is a source-based package manager for OCaml. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
-
-
opam2web Public
Forked from ocaml-opam/opam2webA tool to generate a website from an OPAM repository
CSS UpdatedSep 15, 2021 -
ocurrent-deployer Public
Forked from ocurrent/ocurrent-deployerA pipeline that deploys unikernels and other services
OCaml UpdatedJul 29, 2021 -
ocaml-base-images Public
Forked from ocurrent/docker-base-imagesGenerate various Docker ocaml images
OCaml UpdatedJul 27, 2021 -
ocaml-magic-mime Public
Forked from mirage/ocaml-magic-mimeConvert file extensions to MIME types
OCaml ISC License UpdatedJul 13, 2021