Laurel Carter (@laurmcarter)
github

laurmcarter

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    53
  • Global Rank 327,510 (Top 12 %)
  • Followers 19
  • Following 9
  • Registered over 12 years ago
  • Most used languages
    Haskell
         53.8 %
    Agda     15.4 %
    Scheme
         15.4 %
    Idris     7.7 %
    JavaScript
         7.7 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 64,650
  • Country Ranking
    Agda     53
    Idris     83
    Scheme
         143
    Haskell
         441

Top repositories

1

type-combinators

Type level lists, pairs, sums, their operations, and their properties.
Haskell
24
star
2

scheme-monads

Framework for defining and using monads in Chez Scheme
Scheme
11
star
3

string-typelits

A Haskell library providing type level 'String's, with decidable equality
Haskell
4
star
4

xmonad-config

Configuration file and extra modules for nifty XMonad usage.
Haskell
3
star
5

type-combinators-quote

Quasiquoters for the 'type-combinators' library.
Haskell
2
star
6

docs

Haskell
1
star
7

cmtt-deriv

Contextual Modal Type Theory in Haskell
Haskell
1
star
8

scheme-html

scheme shorthand for HTML and PHP
Scheme
1
star
9

linear-logic-game-semantics

Agda
1
star
10

Timespace

Exploration of tradeoff between time and space under isomorphisms.
Idris
1
star
11

elm-johnny-five

JavaScript
1
star
12

topoi

An Agda library for implementing and working with category (and eventually, topos) theory.
Agda
1
star
13

harihara

A web interface to your music library.
Haskell
1
star