Bob Atkey (@bobatkey)
github

bobatkey

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    533
  • Global Rank 54,583 (Top 2 %)
  • Followers 198
  • Following 5
  • Registered almost 14 years ago
  • Most used languages
    OCaml
         46.9 %
    Haskell
         31.3 %
    Agda     12.5 %
    TeX
         6.3 %
    Coq     3.1 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 2,677
  • Country Ranking
    Coq     5
    Agda     8
    OCaml
         17
    Haskell
         40
    TeX
         183

Top repositories

1

sott

Simplified Observational Type Theory
OCaml
79
star
2

modulog

A Datalog implementation with an OCaml inspired module system
OCaml
43
star
3

CS316-19

The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
Haskell
41
star
4

ocamlmvc

An MVC library for writing interactive webpages in OCaml
OCaml
35
star
5

CS316-18

The 2018-19 edition of Strathclyde's CS316 "Functional Programming" course
Haskell
31
star
6

agda-metric-reals

Agda
28
star
7

foveran

A Dependently Typed Programming Language
Haskell
27
star
8

unboxed

Unboxed arrays for OCaml
OCaml
26
star
9

CS316-2020

The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
Haskell
25
star
10

CS316-2022

Materials for the 2022-2023 edition of CS316 "Functional Programming"
Haskell
23
star
11

system-f-parametricity-model

A Model of Relationally Parametric System F in Coq
Coq
22
star
12

CS316-17

The 2017-18 edition of Strathclyde's CS316 "Functional Programming" course
Haskell
21
star
13

interactive-natural-deduction

An editor for interactively building natural deduction proofs
OCaml
20
star
14

sorting-types

Typed DSLs for sorting
Agda
19
star
15

playtime

An OCaml EDSL for describing and solving strategic games
OCaml
17
star
16

authenticated-data-structures

An implementation of generic authenticated data structures in OCaml
OCaml
16
star
17

algebraically-indexed-types

Repository for documents and experiments to do with algebraically-indexed types
TeX
13
star
18

Forvie

Some Programming Language Description and Processing Tools in Haskell
Haskell
6
star
19

array-mapped-trie

An Array Mapped Trie implementation in OCaml
OCaml
5
star
20

semantic-cut-elimination

Cut-elimination by Semantic Means
Agda
5
star
21

qtt-models

Formalisations of interesting models of QTT
TeX
4
star
22

ppx-monoid

OCaml
3
star
23

acfg-parser

Parser for Active Context Free Grammars
Haskell
3
star
24

pretty-monospace

An OCaml pretty-printing library for monospaced text
OCaml
3
star
25

parser-combinators-intro

Slides for an introductory talk on Parser Combinators
Haskell
2
star
26

ppx-markdown

OCaml PPX extension for including markdown in OCaml source files
OCaml
2
star
27

CS316-2021

The 2021/22 edition of Strathclyde's Functional Programming course in Haskell
Haskell
2
star
28

polly

A simple language for services
OCaml
2
star
29

clocked-types

2
star
30

camlcheck

An OCaml QuickCheck clone
OCaml
1
star
31

access_log

OCaml
1
star
32

ulmus

Ulmus
OCaml
1
star
33

approx-diff

Approximation as Differentiation
Agda
1
star
34

Inductors

Notes and implementations of inductors
1
star