Splinter Suidman (@splintersuidman)
github

splintersuidman

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    81
  • Global Rank 235,489 (Top 9 %)
  • Followers 23
  • Following 10
  • Registered over 8 years ago
  • Most used languages
    Rust
         53.8 %
    Agda     15.4 %
    Haskell
         7.7 %
    CoffeeScript
         7.7 %
    Nix
         7.7 %
    Objective-C++     7.7 %
  • Location πŸ‡³πŸ‡± Netherlands
  • Country Total Rank 3,912
  • Country Ranking
    Objective-C++     2
    Agda     14
    Nix
         29
    CoffeeScript
         47
    Haskell
         197
    Rust
         229

Top repositories

1

blur

A chunkwm plugin that blurs your wallpaper when you have open windows.
Objective-C++
44
star
2

nerdbar.widget

Übersicht bar with support for chunkwm.
CoffeeScript
10
star
3

chunkwm-rs

A Rust 'bridge' for creating chunkwm plugins.
Rust
6
star
4

configuration

My home and system configuration
Nix
6
star
5

zermelo-rs

A Rust crate that retrieves a schedule from Zermelo.
Rust
3
star
6

chunkwm-rs-template

A template for using chunkwm-rs.
Rust
3
star
7

game-of-life

A Game of Life emulation with support for Life 1.06, Life 1.05, RLE, and plaintext files.
Rust
2
star
8

combinatory-logic

Explorations in combinatory logic with Agda
Agda
2
star
9

perceptron

A perceptron implementation in Rust.
Rust
1
star
10

BFAL

Brainfuck Abstraction Language.
Haskell
1
star
11

cli-for-zermelo

A command line application written in Rust that retrieves a schedule from Zermelo.
Rust
1
star
12

tini

tini β€” There Is No Infix β€” is a tiny functional programming language.
Rust
1
star
13

aoc2021

My solutions for Advent of Code 2021
Agda
1
star