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
avsm / mirage-protocols
Forked from mirage/mirage-protocolsNetwork protocol module type definitions for MirageOS
chrismamo1 / ppx_netblob
Forked from johnwhitington/ppx_blobOCaml ppx to include binary data from a url as a string
avsm / shell
Forked from ciaran16/shellLets you create interactive shells in OCaml.
ryanra / RustOS
Forked from haileys/rustbootA language-based OS to run Rust on bare metal
dornerworks / xen-arm-builder
Forked from talex5/xen-arm-builderBuild an SDcard image for Xen/ARM, for a Cubieboard
Support for rump kernels on raw hardware
avsm / ocaml.org-media
Forked from ocaml/ocaml.org-mediaMedia files that we don't want to include in main ocaml.org repo.
petertodd / timelock
Forked from genjix/timelockTimelock encryption incentivised by Bitcoin
talex5 / openlibm
Forked from JuliaMath/openlibmHigh quality system independent, open source libm.
talex5 / mirage-platform
Forked from mirage/mirage-platformCore platform libraries for Mirage (UNIX and Xen). This provides the `OS` library which handles timers, device setup and the main loop, as well as the runtime for the Xen microkernel.
iw / mirage-lanyon
Forked from poole/lanyonMirage static site based on the Lanyon theme.
samoht / ocaml-sha
Forked from djs55/ocaml-shaOcaml SHA 1 and 2 family implementation using a really fast C implementation
hwanju / xen
Forked from mirage/xenUnofficial mirror of xenbits.xen.org/xen.git
talex5 / mirage-www
Forked from mirage/mirage-wwwWebsite infrastructure for openmirage.org
raphael-proust / ocaml9p
Forked from oscarh/ocaml9p9p implementation in OCaml
samoht / vagrant-opam
Forked from avsm/vagrant-opamVagrant + OPAM/OCaml
AltGr / docker-opam
Forked from avsm/docker-opamDocker container for an OCaml + OPAM setup
djs55 / ocaml-crc
Forked from xapi-project/ocaml-crcLibrary for finding the CRC of parts of various kinds of data in-place
ocaml-attic / ocaml-uri
Forked from mirage/ocaml-uriRFC3986 URI parsing library for OCaml
ocaml-attic / ocaml-cstruct
Forked from mirage/ocaml-cstructMap OCaml arrays onto C-like structs via a syntax extension, and generate functions to convert to-and-from native OCaml values.
mor1 / cowabloga
Forked from mirage/cowablogaZurb Foundation templates for a blog/wiki using Cohttp
ChrisDodd / ocaml
Forked from ocaml/ocamlFork of Ocaml/ocaml with mips64 support in mips and 4.01+mips branches
djs55 / xen-testvm
Forked from mirage/xen-testvmTest VM to run on the Xen Hypervisor, based on Mirage
retired-camels / ocaml
Forked from colinbenner/ocaml-llvmGitHub mirror of the OCaml Subversion repository.
dsheets / ocaml-cstruct
Forked from ocaml-attic/ocaml-cstructMap OCaml arrays onto C-like structs via a syntax extension, and generate functions to convert to-and-from native OCaml values.
Android cross-compiler: package descriptions for OPAM
linux-sunxi / linux-sunxi
Forked from torvalds/linuxLinux source for Allwinner/Boxchip F20 (sun3i), A10 (sun4i), A12/A13/A10S (sun5i) and A20 (sun7i) SoCs
amery / linux-sunxi
Forked from linux-sunxi/linux-sunxiplease use https://github.com/linux-sunxi/linux-sunxi instead.