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
Intelligent automation and multi-agent orchestration for Claude Code
A free & open modern, fast email client with user-friendly encryption and privacy features
Easily use and train state of the art late-interaction retrieval methods (ColBERT) in any RAG pipeline. Designed for modularity and ease-of-use, backed by research.
A Python + iCloud wrapper to access iPhone and Calendar data.
A parser for Google Scholar, written in Python
NixOps is a tool for deploying to NixOS machines in a network or cloud.
Dockerized iCloud Client - make a local copy of your iCloud documents and photos, and keep it automatically up-to-date.
apenwarr / bup
Forked from bup/bupPlease switch to using the github.com/bup/bup repo instead!
A small script that makes it easy to fling a folder of images onto the Samsung Frame TV
TESSERA is a foundation model that can process time-series satellite imagery for applications such as land classification and canopy height prediction. Developed at the University of Cambridge, it …
Frankencert - Adversarial Testing of Certificate Validation in SSL/TLS Implementations
Tools to convert Wikipedia dumps into Git repositories.
petertodd / timelock
Forked from genjix/timelockTimelock encryption incentivised by Bitcoin
a distributed FUSE filesystem with offline operations support
Shelf is an app for MacOS that looks at the current foreground application, and tries to figure out if what you’re looking at corresponds to a person in your Address Book. Then it’ll tell you thing…
Cambridge Arboreal Modelling Panoptic 3D: Pipeline and Dataset
Language and execution engine for cloud programming
Take LaTeX projects and convert them to a version that is arXiv-ready
Sublime Text plugin which provides OCaml autocompletion with ocp-index
Integrate mutt with iCloud-synced Address Book