Connor Lane Smith (@cls)
github

cls

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    116
  • Global Rank 186,641 (Top 7 %)
  • Followers 44
  • Following 11
  • Registered almost 14 years ago
  • Most used languages
    C
         50.0 %
    Python
         16.7 %
    Agda     16.7 %
    Haskell
         16.7 %
  • Location 🇬🇧 United Kingdom
  • Country Total Rank 8,328
  • Country Ranking
    Agda     26
    C
         364
    Haskell
         653

Top repositories

1

libutf

Plan 9 compatible UTF-8 C library
C
88
star
2

utfset

Sets of runes with a UTF-8 tree structure
C
12
star
3

strong-krivine

Strongly normalising Krivine machine for λσ⇑-calculus
Agda
6
star
4

stlc

Optimised type inference for simply-typed λ-calculus
C
3
star
5

scrying-sheets

Static site generator for Magic decklists using Scryfall
Python
2
star
6

floret

Incremental parsing by weighted regular expressions
Haskell
1
star