Corey O'Connor (@coreyoconnor)
github

coreyoconnor

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    88
  • Global Rank 227,796 (Top 8 %)
  • Followers 40
  • Following 20
  • Registered about 16 years ago
  • Most used languages
    Scala
         30.0 %
    Haskell
         30.0 %
    Nix
         20.0 %
    Coq     10.0 %
    Emacs Lisp
         10.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 50,456
  • Country Ranking
    Nix
         103
    Coq     165
    Haskell
         1,124
    Emacs Lisp
         1,309
    Scala
         1,379

Top repositories

1

nix_configs

The NixOS configuration for my desktop.
Nix
37
star
2

tensorderp

Scala
3
star
3

RCs

repo of all the RCs and configs I use
Emacs Lisp
3
star
4

type-level-tf

Type level numerics for Haskell using type families. Based on type-level.
Haskell
3
star
5

scalatromino

Scala
3
star
6

bind-marshal

Haskell data marshaling layer. Uses type level equations to optimize buffering.
Haskell
2
star
7

retronix

RetroArch + NixOS + Opinions
Nix
2
star
8

learn-coq

various exercises I've worked through (or failed to work through) while learning the proof assistant Coq.
Coq
2
star
9

corebot-bliki

a git based wiki using yesod
Haskell
1
star
10

scala-gtk-example

Scala
1
star