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
A virtual machine for executing programs written in Hack.
Watches files and records, or triggers actions, when they change.
Procedural Noise Shader Routines compatible with WebGL
Source code for SonoBus, a real-time network audio streaming collaboration tool.
Utility to ease bundling libraries into executables for OSX
PLEASE NOTE: Mesos is now hosted in Apache git! Get it using git clone https://git-wip-us.apache.org/repos/asf/mesos.git
Ready-made packages of software for running on the Rumprun unikernel
Simple boot-over-serial bootloader for the Raspberry Pi
A system for maintaining replicated state machines
Mirror of http://llvm.org/git/clang.git with TESLA features added.
Language, library and tools for DWARF-described interfaces
Decommenting routines in various languages for WebGLSL
Mirror of http://llvm.org/git/llvm.git. TESLA does not currently require any changes to LLVM, but we reserve the right to do so in the future!