eras/tla-examples eras/tla-examples

  • Stars
    star
    1
  • Language TLA
  • License
    MIT License
  • Created about 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
eras/tla-examples
github

eras

Reviews

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

Repository Details

TLA+ example models

More 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

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