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
eBPF-based Networking, Security, and Observability
Your self-hosted, globally interconnected microblogging community
A virtual machine for executing programs written in Hack.
Read-only git conversion of OpenBSD's official cvs ports repository. Pull requests not accepted - send diffs to the ports@ mailing list.
FreeBSD adapted for CHERI-RISC-V and Arm Morello.
The core OCaml system: compilers, runtime system, base libraries
Adds static typing to JavaScript to improve developer productivity and code quality.
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.
The Moby Project - a collaborative project for the container ecosystem to assemble container-based systems
A static analyzer for Java, C, C++, and Objective-C
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
Archive for all Rocq and Coq-related opam packages organized in various repositories
Main public package repository for opam, the source package manager of OCaml.
PhD course on Functional Programming and Climate Impact Research
The FreeBSD src tree publish-only repository. Experimenting with 'simple' pull requests....
A React-based UI toolkit for the web
The Package Manager for the Swift Programming Language
Irmin is a distributed database that follows the same design principles as Git
OSS-Fuzz - continuous fuzzing for open source software.
A rich terminal UI for GitHub that doesn't break your flow.
🚀 Fast and simple Node.js version manager, built in Rust
Watches files and records, or triggers actions, when they change.
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…