Tim Spence (@TimWSpence)
github

TimWSpence

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    169
  • Global Rank 140,557 (Top 5 %)
  • Followers 48
  • Following 3
  • Registered almost 12 years ago
  • Most used languages
    Haskell
         30.8 %
    Scala
         23.1 %
    Rust
         15.4 %
    Emacs Lisp
         7.7 %
    Lua
         7.7 %
    C
         7.7 %
    Agda     7.7 %

Top repositories

1

cats-stm

A STM implementation for Cats Effect
Scala
142
star
2

stitch

Richard Eisenberg's Stitch STLC
Haskell
6
star
3

byoes

Build your own effect system
4
star
4

bookmarks

A cli to manage bookmarks
Haskell
2
star
5

cheetahs

They're cats, but faster
Scala
2
star
6

scala-lsp

Spacemacs layer for scala with metals
Emacs Lisp
2
star
7

nvim

Lua
1
star
8

lisp

A small Lisp implementation
C
1
star
9

programming-wasm-with-rust

Source for exercises/examples from the book Programming WebAssembly with Rust.
Rust
1
star
10

haskell-playground

Haskell snippets and experiments
Haskell
1
star
11

plfa

My code for PLFA
Agda
1
star
12

doorkickers

1
star
13

laura

A typed lambda calculus
Haskell
1
star
14

functional-programming-in-scala

Scala
1
star
15

rust-playground

Rust snippets and experiments
Rust
1
star