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
Defines a common protocol for language servers.
All CPU and MCU documentation in one place
Modern and minimalistic CSS framework for terminal enthusiasts
GeoZarr defines geospatial conventions for storing multidimensional georeferenced grids using the Zarr format
Website infrastructure and content for mirage.io
SIMT Abstractions for Runtime Extensible Kernels (GPGPU programing with OCaml)
These are the XSLT 2.0 (or later) stylesheets for DocBook
An OCaml interface to the Enlightenment Foundation Libraries (EFL) and Elementary
These are the MirageOS slide decks, written as a self-hosting unikernel
Sphinx extension to document OCaml libraries
A vibe-coded client-side SPA to dump EXIF tags from images