Zainab Ali (@zainab-ali)
github

zainab-ali

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    225
  • Global Rank 111,491 (Top 4 %)
  • Followers 124
  • Registered over 9 years ago
  • Most used languages
    Scala
         57.1 %
    Emacs Lisp
         21.4 %
    TLA     7.1 %
    Haskell
         7.1 %
    PureScript     7.1 %
  • Location ๐Ÿ‡ฌ๐Ÿ‡ง United Kingdom
  • Country Total Rank 5,626
  • Country Ranking
    TLA     3
    Emacs Lisp
         40
    Scala
         50
    PureScript     54
    Haskell
         361

Top repositories

1

fs2-reactive-streams

A reactive streams implementation for fs2
Scala
62
star
2

pair-tree.el

An Emacs Lisp cons cell explorer
Emacs Lisp
51
star
3

sbt-sammy

A floating threshold for compiler warnings
Scala
27
star
4

aquascape

Diagrams for fs2
Scala
24
star
5

titanic

Predicting survival on the Titanic
Scala
15
star
6

pie

A tutorial on functional Scala, cats effect and fs2
Scala
8
star
7

scala3-typed-holes

A WIP of scala-typed-holes for Scala3
Scala
6
star
8

scala-effects

A few exercises on Cats Effect 3, IO and streams
Scala
6
star
9

domainion

A domain specific language for deck building games
Haskell
5
star
10

tlaplus-fs2-observe

A formal specification of fs2's `observe` function
TLA
4
star
11

pollen-mode

Emacs major mode for editing pollen markup
Emacs Lisp
2
star
12

coe-xx

The craft of emacs cross stitch code and demos.
Emacs Lisp
2
star
13

advent-of-code-idris

Advent of Code in Idris
1
star
14

purescript-button

Purescript Halogen button example covered in last syntactic sugar session
PureScript
1
star
15

sbt-teatime

Scala
1
star