Robert Kirk (@RobertKirk)
github

RobertKirk

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    10
  • Global Rank 968,326 (Top 34 %)
  • Followers 42
  • Following 9
  • Registered almost 10 years ago
  • Most used languages
    Python
         20.0 %
    Idris     20.0 %
    CSS
         20.0 %
    Shell
         20.0 %
    Vim Script
         20.0 %
  • Location ๐Ÿ‡ฌ๐Ÿ‡ง United Kingdom
  • Country Total Rank 30,827
  • Country Ranking
    Idris     42
    Vim Script
         403
    CSS
         2,833
    Shell
         5,257

Top repositories

1

roam-tools

A small but growing collection of tools for Roam Research
Python
4
star
2

roam-solarized-theme

A strict solarized Roam Research theme
CSS
2
star
3

dotfiles

A collection of personal scripts, aliases and the like from my personal software engineering practice
Vim Script
2
star
4

tmux-ram

Plug and play RAM percentage and icon indicator for Tmux
Shell
1
star
5

Graph-Comonads-from-Pebble-Games

Master Thesis code: Implementing Game Comonads in Finite Model Theory using Dependent Types in Idris
Idris
1
star