Erkki Seppälä (@eras)
  • Stars
    star
    79
  • Global Rank 246,367 (Top 9 %)
  • Followers 12
  • Following 3
  • Registered about 13 years ago
  • Most used languages
    Rust
    36.4 %
    OCaml
    31.8 %
    Python
    13.6 %
    C++
    9.1 %
    Shell
    4.5 %
    TLA
    4.5 %

Top repositories

1

mxrxtx

Transfer files over Matrix, directly from client to client with WebRTC.
Rust
13
star
2

tlsd

Generate (message) sequence diagrams from TLA+ state traces
Python
12
star
3

memgrep

Tool for grepping the memory of processes
Rust
8
star
4

ClickMuteJack

Eliminates input device noise from a jack stream by muting it, based on evdev event timing
Rust
8
star
5

pw-connections

Maintain certain Pipewire connections at all times
Rust
5
star
6

webcamviewer

Webcam viewer for multiple jpeg camera streams
OCaml
4
star
7

influxdb-write-to-postgresql

Receive influxdb line protocol and INSERT the data to PostgreSQL
OCaml
4
star
8

matrix-send

Send messages to matrix from command line
Python
3
star
9

TeslaBot

Slack/Matrix bot for interfacing with Tesla cars
Python
2
star
10

midihidi

Convert MIDI input to linux evdev input with uinput and Jack
Rust
2
star
11

gcode-leveler

Transform g-code for the purpose of virtually leveling the 3d printing platform
OCaml
2
star
12

tgup

TinyG G-code uploader
OCaml
2
star
13

zle-delete-parameter

Deletes a parameter (not word) on the ZSH command line
Shell
2
star
14

FFmpeg3

FFmpeg 3 bindings for OCaml
OCaml
2
star
15

telkkarista-dl

Downloader for the now-defunct telkkarista.com service.
OCaml
1
star
16

TinyG-VFDController

VFD controller for TinyG
1
star
17

tla-examples

TLA+ example models
TLA
1
star
18

KodiKontrol

Control Kodi from terminal
Rust
1
star
19

Virtaus

Webcam streaming client for Jolla
C++
1
star
20

WavCue

Converts the cue chunk from wav files into csv, suitable for use with SonicVisualizer
Rust
1
star
21

roamtooth

Manage Bluetooth-devices centrally
Rust
1
star
22

OCamlGcode

Library for parsing and producing Gcode
OCaml
1
star
23

BitCracker

IR/RF signal decoding assistant
C++
1
star