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
Zstandard - Fast real-time compression algorithm
BCC - Tools for BPF-based Linux IO analysis, networking, monitoring, and more
The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
A small self-contained alternative to readline and libedit
A toolkit for embedding hypervisor capabilities in your application
library and tools for accessing and modifying virtual machine disk images. PLEASE DO NOT USE GITHUB FOR ISSUES OR PULL REQUESTS. See the website for how to file a bug or contact us.
High quality system independent, portable, open source libm implementation
This is official OpenSMTPD Portable repository. Forks, pull requests and other contributions are welcome!
Macaroons are flexible authorization credentials that support decentralized delegation, attenuation, and verification.
The firmware for QCA AR7010/AR9271 802.11n USB NICs
Duo two-factor authentication for Unix systems
a JSON parser and printer library in C. easy to integrate with any model.
Little micro-benchmark for Linux to test the cost of context switching and system calls
Really mini operating system (extracted from xen-unstable, and much stuff removed)
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
An efficient, immutable, persistent mapping object