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
Your self-hosted, globally interconnected microblogging community
A curated list of awesome actions to use on GitHub
💀 The former home of Homebrew/homebrew (deprecated)
Zstandard - Fast real-time compression algorithm
eBPF-based Networking, Security, and Observability
Intelligent automation and multi-agent orchestration for Claude Code
🚀 Fast and simple Node.js version manager, built in Rust
Adds static typing to JavaScript to improve developer productivity and code quality.
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
A React-based UI toolkit for the web
A virtual machine for executing programs written in Hack.
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 static analyzer for Java, C, C++, and Objective-C
Watches files and records, or triggers actions, when they change.
Defines a common protocol for language servers.
A Virtual DOM and diffing algorithm
OSS-Fuzz - continuous fuzzing for open source software.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The Package Manager for the Swift Programming Language
A rich terminal UI for GitHub that doesn't break your flow.
A build-it-yourself, 6-wheel rover based on the rovers on Mars!
A fault tolerant, protocol-agnostic RPC system
A free & open modern, fast email client with user-friendly encryption and privacy features
The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
A toolkit for building secure, portable and lean operating systems for containers
⚡ Native, high-performance, cross-platform desktop apps - built with Reason!
A window management application (replacement for Divvy/SizeUp/ShiftIt)