Alasdair Armstrong (@Alasdair)
github

Alasdair

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    25
  • Global Rank 556,620 (Top 20 %)
  • Followers 29
  • Following 3
  • Registered over 14 years ago
  • Most used languages
    Haskell
         37.5 %
    Isabelle     25.0 %
    Ruby
         12.5 %
    OCaml
         12.5 %
    C
         12.5 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 22,373
  • Country Ranking
    Isabelle     15
    OCaml
         185
    Haskell
         208
    Ruby
         2,409
    C
         4,657

Top repositories

1

xhtml-combinators

Fast and easy to use Haskell xhtml combinators using Data.Text
Haskell
6
star
2

Mella

A dependently-typed interactive theorem prover with waldmeister integration
Haskell
5
star
3

asciidoctor-sail

Sail Asciidoctor plugin
Ruby
3
star
4

IsabelleAlgebra

Isabelle Files
3
star
5

HSEarley

Earley Parser for Haskell
Haskell
2
star
6

armdecode

Sail ARM decode extractor
OCaml
2
star
7

Thesis

My Thesis
Isabelle
1
star
8

sail-arm-boot

C
1
star
9

FM2014

Isabelle
1
star