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
OSS-Fuzz - continuous fuzzing for open source software.
letsencrypt/acme client implemented as a shell-script – just add water
A PostgreSQL Docker container that automatically upgrades your database
OCamlrun WebAssembly - OCaml Bytecode Interpreter in WASM
A repository for configuration profiles for OSX's Seatbelt Application Sandbox
An OCaml cross-toolchain for Windows and several useful libraries
An OCaml cross-toolchain for Android and several useful libraries
run docker containers for different architectures
Archived - the Xen and ARM support in MirageOS has been superseeded by our PVH support - Build an SDcard image for Xen/ARM, for a Cubieboard
OCaml 4.02 cross compiler for the rumprun unikernel stack
Scripts used to build Fedora Allwinner A10 images
Android cross-compiler: package descriptions for OPAM
Packer and Vagrant images for building Mirage
Simple backup scripts to manage ZFS snapshots for filesystem backups.
Packer template to build Vagrant based Ubuntu + Xen development environment
A small script to create short-lived OPAM compiler switches from experimental OCaml branches
Example build system for making mixed C/Ocaml binaries where the main program is in C
Ocaml cross-compiler for Windows: packages description for OPAM
Dev versions of the tools used to build the upcoming platform
Install external libraries for the Mirage Xen backend, notably MiniOS and OpenLibm
AltGr / docker-opam
Forked from avsm/docker-opamDocker container for an OCaml + OPAM setup
Scripts and documentation for the opam.ocaml.org website
Development OPAM repository for work-in-progress packages
CUDF solver stub that behaves like a CUDF solver, but delegates solving to a remote solving farm