Joonatan Saarhelo (@joonazan)
github

joonazan

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    50
  • Global Rank 341,187 (Top 12 %)
  • Followers 8
  • Following 1
  • Registered over 9 years ago
  • Most used languages
    Rust
         25.0 %
    Go
         18.8 %
    C
         12.5 %
    Elm
         12.5 %
    Emacs Lisp
         6.3 %
    Idris     6.3 %
    JavaScript
         6.3 %
    HTML
         6.3 %
    Haskell
         6.3 %

Top repositories

1

regex-equivalence

A web page for checking if two regular expressions match the same language.
Haskell
16
star
2

elm-type-inference

Type inference for Elm, written in Elm.
Elm
6
star
3

alternator

Rust
5
star
4

nina-fast-bluetooth

Bluetooth on the ESP32 coprocessor of your Arduino MKR Wifi 1010!
C
5
star
5

vec2

A 2d vector and matrix math library for Go.
Go
3
star
6

justified-type-inference

An implementation of Algorithm W in Idris with a complete proof
Idris
3
star
7

maximizer

The maximization step from Round Elimination
Rust
2
star
8

coproduct

generic coproduct types for Rust with minimal overhead
Rust
2
star
9

nixos-config

Emacs Lisp
1
star
10

crafting-path

Path of Exile crafting optimizer
Rust
1
star
11

sokoban

a code for an exercise where the students program sokoban's logic
Go
1
star
12

imagemagick-debian-webp

debian package that supports WebP and OpenCL.
C
1
star
13

go-opas

Suomenkielinen opas Go-kieleen aloittelijoille. Epälineaarinen, muistuttaa teknologiapuuta. Pyrkii kattamaan kaikki kielen ominaisuudet.
Go
1
star
14

krangle-viewer

View the krangled Path of Exile skill tree
HTML
1
star
15

elm-tetris

An elegant implementation of Tetris in Elm
Elm
1
star
16

salvador

Saves you from implementing DALI commands for doing common lighting tasks.
JavaScript
1
star