• Stars
    star
    12
  • Rank 1,597,372 (Top 32 %)
  • Language
    Python
  • License
    MIT License
  • Created over 2 years ago
  • Updated almost 2 years ago

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Generate (message) sequence diagrams from TLA+ state traces

More Repositories

1

mxrxtx

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

memgrep

Tool for grepping the memory of processes
Rust
8
star
3

ClickMuteJack

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

pw-connections

Maintain certain Pipewire connections at all times
Rust
5
star
5

webcamviewer

Webcam viewer for multiple jpeg camera streams
OCaml
4
star
6

influxdb-write-to-postgresql

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

matrix-send

Send messages to matrix from command line
Python
3
star
8

TeslaBot

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

midihidi

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

gcode-leveler

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

tgup

TinyG G-code uploader
OCaml
2
star
12

zle-delete-parameter

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

FFmpeg3

FFmpeg 3 bindings for OCaml
OCaml
2
star
14

telkkarista-dl

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

TinyG-VFDController

VFD controller for TinyG
1
star
16

tla-examples

TLA+ example models
TLA
1
star
17

KodiKontrol

Control Kodi from terminal
Rust
1
star
18

Virtaus

Webcam streaming client for Jolla
C++
1
star
19

WavCue

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

roamtooth

Manage Bluetooth-devices centrally
Rust
1
star
21

OCamlGcode

Library for parsing and producing Gcode
OCaml
1
star
22

BitCracker

IR/RF signal decoding assistant
C++
1
star