I hereby claim:
- I am avsm on github.
- I am avsm (https://keybase.io/avsm) on keybase.
- I have a public key whose fingerprint is 1544 531A 488B C857 42B1 BF59 2B83 0729 016D 8D09
To claim this, I am signing this object:
Anil Madhavapeddy avsm
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| I am attesting that this GitHub handle avsm is linked to the Tezos account tz2BEXRGvwxHWMYktXmtdui3rsHZRMuzuJH6 for tzprofiles | |
| sig:spsig1VYSvZrEBXvzhud29SjjWtgS43yLDdVhG2knHpkzrgnmF3JBGWKJNmhD7ChcntA89WSeLW5BxYvxojgBnK3CFj9KPshqKb |
avsm
/ gist:ccc8df73da9c914d0820ab97cec19775
Created
August 24, 2022 19:21
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| I am attesting that this GitHub handle avsm is linked to the Tezos account tz2BEXRGvwxHWMYktXmtdui3rsHZRMuzuJH6 for tzprofiles | |
| sig:spsig1VYSvZrEBXvzhud29SjjWtgS43yLDdVhG2knHpkzrgnmF3JBGWKJNmhD7ChcntA89WSeLW5BxYvxojgBnK3CFj9KPshqKb |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| I am attesting that this GitHub handle avsm is linked to the Tezos account tz2BEXRGvwxHWMYktXmtdui3rsHZRMuzuJH6 for tzprofiles | |
| sig:spsig1VYSvZrEBXvzhud29SjjWtgS43yLDdVhG2knHpkzrgnmF3JBGWKJNmhD7ChcntA89WSeLW5BxYvxojgBnK3CFj9KPshqKb |
avsm
/ bigarray-mapfile-grep.txt
Created
February 25, 2019 15:55
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| batteries.2.9.0/src/batBigarray.mliv: val map_file: | |
| batteries.2.9.0/src/batBigarray.mliv: [Genarray.map_file fd kind layout shared dims] | |
| batteries.2.9.0/src/batBigarray.mliv: [Genarray.map_file] is much more efficient than reading | |
| batteries.2.9.0/src/batBigarray.mliv: [-1]. [Genarray.map_file] then determines the major dimension | |
| batteries.2.9.0/src/batBigarray.mliv: val map_file: Unix.file_descr -> ?pos:int64 -> ('a, 'b) kind -> 'c layout -> | |
| batteries.2.9.0/src/batBigarray.mliv: See {!Bigarray.Genarray.map_file} for more details. *) | |
| batteries.2.9.0/src/batBigarray.mliv: val map_file: Unix.file_descr -> ?pos:int64 -> ('a, 'b) kind -> 'c layout -> | |
| batteries.2.9.0/src/batBigarray.mliv: See {!Bigarray.Genarray.map_file} for more details. *) | |
| batteries.2.9.0/src/batBigarray.mliv: val map_file: Unix.file_descr -> ?pos:int64 -> ('a, 'b) kind -> 'c layout -> | |
| batteries.2.9.0/src/batBigarray.mliv: See {!Bigarray.Genarray.map_file} for more details. *) |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # Edit this for your own project dependencies | |
| OPAM_DEPENDS="ocamlfind ounit re" | |
| case "$OCAML_VERSION,$OPAM_VERSION" in | |
| 3.12.1,1.0.0) ppa=avsm/ocaml312+opam10 ;; | |
| 3.12.1,1.1.0) ppa=avsm/ocaml312+opam11 ;; | |
| 4.00.1,1.0.0) ppa=avsm/ocaml40+opam10 ;; | |
| 4.00.1,1.1.0) ppa=avsm/ocaml40+opam11 ;; | |
| 4.01.0,1.0.0) ppa=avsm/ocaml41+opam10 ;; | |
| 4.01.0,1.1.0) ppa=avsm/ocaml41+opam11 ;; |
avsm
/ keybase.md
Created
March 21, 2014 08:45
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| alcotest.0.7.2 | |
| arp.0.2.0 | |
| asn1-combinators.0.1.3 | |
| astring.0.8.3 | |
| biniou.1.0.13 | |
| bisect_ppx.1.2.0 | |
| bos.0.1.6 | |
| camomile.0.8.5 | |
| cmdliner.1.0.0 | |
| cohttp.0.22.0 |
avsm
/ run_core_toplevel.ml
Created
July 8, 2013 14:17
Script to run a toplevel script and output pretty html
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| (* Syntax hightlight code and eval ocaml toplevel phrases. | |
| * Based on http://github.com/ocaml/ocaml.org | |
| * Modified by Anil Madhavapeddy for Real World OCaml and to use Core *) | |
| open Printf | |
| open Scanf | |
| (* Run these phrases silently before any code *) | |
| let initial_phrases = [ | |
| "#use \"topfind\""; | |
| "#camlp4o"; |
avsm
/ gist:1d6c3bf85a3eed13f79f330da7da6f28
Last active
January 6, 2017 19:15
— forked from kit-ty-kate/gist:17b5de3e88ee0bdbd603
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| #!/bin/sh | |
| sudo add-apt-repository 'deb http://llvm.org/apt/precise/ llvm-toolchain-precise-3.9 main' | |
| curl -L http://llvm.org/apt/llvm-snapshot.gpg.key | sudo apt-key add - | |
| sudo apt-get update | |
| sudo apt-get -y install llvm-3.9-dev |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| # This month in Mirage OPAM releases (Wed Nov 02 2016) | |
| ### scrypt-kdf 0.2.0 | |
| * *Released on:* Mon Oct 31 2016 | |
| * *Synopsis*: The scrypt Password-Based Key Derivation Function in pure OCaml | |
| * *More Info*: [OPAM Page](https://opam.ocaml.org/packages/scrypt-kdf/scrypt-kdf.0.2.0/) or [Source Code](https://github.com/abeaumont/ocaml-scrypt-kdf/archive/0.2.0.tar.gz) | |
| * *Changes*: [changes-scrypt-kdf.txt](#file-changes-scrypt-kdf-txt) | |
| ### topkg-care 0.8.0 |
NewerOlder