wren romano (@wrengr)
github

wrengr

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    103
  • Global Rank 203,560 (Top 8 %)
  • Followers 57
  • Following 6
  • Registered almost 12 years ago
  • Most used languages
    Haskell
         70.0 %
    Coq     20.0 %
    TeX
         10.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 43,851
  • Country Ranking
    Coq     81
    Haskell
         231
    TeX
         6,519

Top repositories

1

unification-fd

Generic functions for single-sorted first-order structural unification
Haskell
41
star
2

bytestring-trie

An efficient finite map from (byte)strings to values.
Haskell
19
star
3

stm-chans

Additional types of channels for STM.
Haskell
10
star
4

exact-combinatorics

Efficient exact computation of combinatoric functions.
Haskell
9
star
5

logfloat

Log-domain floating point numbers
Haskell
8
star
6

bytestring-lexing

Efficiently parse and produce common lexemes: namely integral and fractional numbers.
Haskell
6
star
7

coq-wrengr-util

Tactics, utility lemmas, and relation combinators for Coq
Coq
4
star
8

coq-tutorial

Coq
3
star
9

unix-bytestring

Unix/Posix-specific functions for ByteStrings.
Haskell
2
star
10

dotfiles

🏑 a bunch of *nix configuration
TeX
1
star