FedericoPonzi/tla-plus-specs FedericoPonzi/tla-plus-specs

  • Stars
    star
    6
  • Rank 2,493,855 (Top 50 %)
  • Language TLA
  • Created 9 months ago
  • Updated 24 days ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
FedericoPonzi/tla-plus-specs
github

FedericoPonzi

Reviews

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

Repository Details

More Repositories

1

Horust

Horust is a supervisor / init system written in rust and designed to run inside containers.
Rust
178
star
2

awesome-distributed-systems

A curated list of awesome distributed systems links.
20
star
3

rust-ci

A template repo for your rust project.
Dockerfile
16
star
4

Isitdown.site

The source code for isitdown.site web application.
HTML
13
star
5

bare-metal-space-invaders

Rust
11
star
6

snitchrs

Find to which IP your machine is sending requests using eBPF.
Rust
4
star
7

ApacheOozieWorkflowVisualizer

A simple js tool to visualize Apache Oozie's workflows.
JavaScript
3
star
8

lesser

Lesser: a CLI based text reader
Rust
2
star
9

awesome-stars

My awesome list based on my stars
2
star
10

practical-vim-code

Practical Vim, Second Edition Edit Text at the Speed of Thought by Drew Neil.
JavaScript
2
star
11

TrasportiRomaBot

A telegram bot to get information on Rome's public transportation.
Python
1
star
12

MyDFS

A simple distributed file system.
HTML
1
star
13

LegoLab

Software made for LegoLab
C++
1
star
14

sapienza-wifi-login

Python
1
star
15

distributed-systems-bot

The code powering @distribsystems on Twitter
Go
1
star
16

media-server

A simple docker based media-server
Dockerfile
1
star
17

sHTMLPreprocessor

A dead simple html preprocessor.
Python
1
star
18

cryptopals

My solutions to cryptopals challanges
Rust
1
star
19

bina

Bina programming language
Rust
1
star
20

genereto

A static site generator for blogs.
Rust
1
star