John D. Ramsdell

@ramsdell

Open GitHub

🇺🇸 Bedford. Massachusetts

The MITRE Corporation

Profile age: over 13 years

Updated 8 days ago

23 followers • 0 following

Repositories

ocaml-datalog

updated almost 4 years ago • age over 12 years

OCaml93.1%

Shell6.9%

agum

updated over 4 years ago • age over 12 years

Haskell100.0%

datalog

updated 6 months ago • age almost 6 years

C87.1%

Lua11.4%

M41.0%

Makefile0.3%

Roff0.2%

chase

updated over 2 years ago • age almost 6 years

OCaml64.0%

Scilab22.6%

HTML10.2%

C1.8%

Makefile1.3%

gtksudoku

updated over 10 years ago • age over 13 years

C80.3%

Lua7.9%

HTML7.7%

C++4.1%

Contributions

2023
opam-repository
1 PR +24-0
555
1,207
cryptol-specs
1 PR +236-0
TeX
43
10
6
2021
cryptol-specs
1 PR +402-1
TeX
43
10
6
2020
opam-repository
2 PRs +51-0
555
1,207
2019
opam-repository
1 PR +26-0
555
1,207