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
Zero-boilerplate FFI bindings for polyglot projects with type safety.
sebholl / skywriting
Forked from mrry/skywritingLanguage and execution engine for cloud programming
sos22 / ciel
Forked from mrry/cielA distributed execution engine for cloud computing
smowton / skywriting
Forked from mrry/skywritingLanguage and execution engine for cloud programming
ms705 / skywriting
Forked from mrry/skywritingLanguage and execution engine for cloud programming
BERG Little Printer Publication on Google AppEngine
Bugfix fork of http://bitbucket.org/kang/python-keyring-lib/
jepst / ciel
Forked from mrry/cielA distributed execution engine for cloud computing
A simple example storage manager for XCP which uses flat files
avsm / ciel
Forked from mrry/cielA distributed execution engine for cloud computing
avsm / py-shelf
Forked from tominsam/shelf-pythonShelf 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…
avsm / skywriting
Forked from mrry/skywritingLanguage and execution engine for cloud programming