Uma Zalakain (@umazalakain)
github

umazalakain

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    169
  • Global Rank 140,557 (Top 5 %)
  • Followers 110
  • Following 5
  • Registered almost 13 years ago
  • Most used languages
    TeX
         27.3 %
    Agda     27.3 %
    Python
         18.2 %
    Haskell
         9.1 %
    Scala
         9.1 %
    Rust
         9.1 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 7,077
  • Country Ranking
    Agda     10
    TeX
         87
    Scala
         199
    Haskell
         544
    Rust
         2,081
    Python
         2,935

Top repositories

1

typing-linear-pi

Typing the linear pi calculus in Agda
TeX
28
star
2

agda-bcam

Tutorial series introducing Agda to the people at BCAM
Agda
26
star
3

errata

Error handling made precise. Because error handling belongs in the types.
Scala
25
star
4

lightweight-motion

Lightweight RPi-ready motion detection for USB and HTTP(S) cameras!
Python
23
star
5

qinfluxdb

A little ORM for issuing queries to InfluxDB
Python
20
star
6

session-types-coq

Formalising session types in Coq
TeX
17
star
7

fyp

My final year project at the University of Strathclyde
Agda
13
star
8

CoContextualPi

Agda
11
star
9

intro-pi-calc

a brief introduction to the pi calculus
TeX
2
star
10

snorkels-hs

Haskell implementation of Snorkels, a two person strategy board game
Haskell
2
star
11

aoc-rust

Learning myself some Rust with Aoc '22
Rust
1
star