Samuel Balco (@goodlyrottenapple)
github

goodlyrottenapple

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    9
  • Global Rank 1,029,395 (Top 36 %)
  • Followers 18
  • Following 9
  • Registered over 9 years ago
  • Most used languages
    Haskell
         66.7 %
    Isabelle     16.7 %
    Scala
         16.7 %
  • Location πŸ‡¬πŸ‡§ United Kingdom
  • Country Total Rank 32,257
  • Country Ranking
    Isabelle     17
    Haskell
         238
    Scala
         1,042

Top repositories

1

quickjs-hs

Haskell bindings for the QuickJS library
Haskell
5
star
2

calculus-toolbox-2

New version of the calculus toolbox
Haskell
3
star
3

isabelle-syllogisms

Isabelle/HOL formalisation of simple syllogistic logics
Isabelle
2
star
4

Holiday-inator-3000

Haskell
1
star
5

POStagger

A Part-Of-Speech tagger using the Viterbi algorithm
Haskell
1
star
6

muddy-children

The Muddy Children Puzzle formalised in Isabelle 2016
Scala
1
star