Anil Madhavapeddy avsm
never gonna git u up, never gona git u down, never gonna turn around and reset u
Professor of Planetary Computing, University of Cambridge
-
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
18
stars
written in HTML
Clear filter
Defines a common protocol for language servers.
All CPU and MCU documentation in one place
Modern and minimalistic CSS framework for terminal enthusiasts
Website infrastructure and content for mirage.io
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