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
Stars
- All languages
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Coq
- Dockerfile
- Dylan
- Emacs Lisp
- Erlang
- F#
- F*
- Fortran
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- Lua
- M4
- Makefile
- Nix
- OCaml
- Objective-C
- Objective-J
- PHP
- Perl
- Prolog
- Python
- Raku
- ReScript
- Reason
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Standard ML
- Swift
- TLA
- TeX
- TypeScript
- Verilog
- Vim Script
The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
eBPF-based Networking, Security, and Observability
Nomad is an easy-to-use, flexible, and performant workload orchestrator that can deploy a mix of microservice, batch, containerized, and non-containerized applications. Nomad is easy to operate and…
A rich terminal UI for GitHub that doesn't break your flow.
A toolkit for building secure, portable and lean operating systems for containers
A toolkit for orchestrating distributed systems at any scale. It includes primitives for node discovery, raft-based consensus, task scheduling and more.
Notary is a project that allows anyone to have trust over arbitrary collections of data
A toolkit for creating and managing declarative, self-healing infrastructure.
Command line tool to create and query container image manifest list/indexes
Go helper packages to extend the Docker Engine
Nut: the development environment, containerized.
[POC] Use docker containers to use any development tool for your project
Automated and distributed benchmarking using httperf
Package macaroons is a pure Go implementation of macaroons: flexible authorization credentials that support decentralized delegation, attenuation, and verification.