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
OCaml types to Yaml types and back again
Procedural tree generator written with JavaScript and Three.js
A rich terminal UI for GitHub that doesn't break your flow.
Your self-hosted, globally interconnected microblogging community
Dockerized iCloud Client - make a local copy of your iCloud documents and photos, and keep it automatically up-to-date.
GitHub action that posts suggestions to substitute the correct PR number
Darklang main repo, including language, backend, and infra
An HTTP/2 implementation written in pure OCaml
Convert your ascii diagram scribbles into happy little SVG
Calendar server (CalDAV, RFC 4791) implementation in OCaml
Implementation of the Mask R-CNN model using OCaml's numerical library Owl.
A curated list of awesome actions to use on GitHub
Statically typed DSL for writing css in reason.
Streamlining the release of dune packages to opam
Simple tool to aggregates contribution statistics for GitHub organisations
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Error-recovering streaming HTML5 and XML parsers
establish trust in community repositories, cryptographically signed by library authors