Anil Madhavapeddy (avsm)

avsm

Geek Repo

Company:University of Cambridge

Location:Cambridge, UK

Home Page:https://anil.recoil.org/

Twitter:@avsm

Github PK Tool:Github PK Tool


Organizations
CTSRD-TESLA
horizon-institute
mirage
ocaml
ocaml-attic
ocaml-bench
ocamllabs
ocurrent
realworldocaml

Anil Madhavapeddy's repositories

ocaml-lens

Private extraction of astrada's lens library

mirage-ci

Continuous Integration for MirageOS using DataKit's git workflow

Language:OCamlLicense:ISCStargazers:20Issues:0Issues:0

bushel

livejournal, we miss youuuu

Stargazers:6Issues:0Issues:0

ocaml-github

Github APIv3 OCaml bindings

Language:OCamlStargazers:4Issues:4Issues:0
Language:CStargazers:3Issues:0Issues:0

ocaml-cstruct

Map OCaml arrays onto C-like structs

Language:OCamlLicense:ISCStargazers:2Issues:0Issues:0

cowabloga

Zurb Foundation templates for a blog/wiki using Cohttp

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0

debug-opam-dune-hang

debugging repository

Stargazers:0Issues:0Issues:0

dune

A composable build system for OCaml

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

ezjsonm

An easy interface on top of the Jsonm library.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

focs-notebooks

Foundations of Computer Science notebooks

Stargazers:0Issues:0Issues:0

homebrew-core

🍻 Core formulae for the Homebrew package manager

Language:RubyLicense:NOASSERTIONStargazers:0Issues:0Issues:0

io-page

IO memory page library for Mirage backends

Language:OCamlStargazers:0Issues:3Issues:0

irmin-watcher

Portable implementation of the Irmin Watch API

Language:OCamlLicense:ISCStargazers:0Issues:0Issues:0
License:MITStargazers:0Issues:0Issues:0

lwt

A cooperative threads library for OCaml.

Language:OCamlLicense:NOASSERTIONStargazers:0Issues:0Issues:0

ocaml-multicore-ci

OCurrent CI for multicore OCaml trees

Stargazers:0Issues:0Issues:0

ocaml-tls

TLS-1.0 in pure (O)Caml

Language:OCamlLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

ocamlformat

Auto-formatter for OCaml code

Language:OCamlLicense:MITStargazers:0Issues:0Issues:0

ocurrent

Keeps things up-to-date (a CI/CD pipeline OCaml eDSL)

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

ocurrent-mirage-ci

Ocurrent ci for the mirage project.

License:UnlicenseStargazers:0Issues:0Issues:0

odoc

Documentation compiler for OCaml and Reason

License:ISCStargazers:0Issues:0Issues:0

opam-overlays

An opam remote with the various Dune modified repositories in this org

Language:ShellStargazers:0Issues:0Issues:0

opam-repo-ci

An OCurrent pipeline for testing submissions to opam-repository

Stargazers:0Issues:0Issues:0

PeerTube

ActivityPub-federated video streaming platform using P2P directly in your web browser

License:AGPL-3.0Stargazers:0Issues:0Issues:0

raytracers

Performance comparison of parallel ray tracing in functional programming languages

Stargazers:0Issues:0Issues:0

sesame

A site generator in OCaml 🐫 (OCurrent pipelines too)

License:MITStargazers:0Issues:0Issues:0

stdlib-shims

Shim to substitute `Pervasives` with `Stdlib` before 4.08.

License:NOASSERTIONStargazers:0Issues:0Issues:0

universe

Jane Street universe

Stargazers:0Issues:0Issues:0
Stargazers:0Issues:0Issues:0