100% Free Free Rank Your Site Faster — Get a Quality Backlink Today
Get Started
Leander Jehl
GitHub

Leander Jehl

@leandernikolaus

View GitHub Profile
Followers 26
Following 2
Public Repositories 16
Expertise

Skills & Technologies

Jupyter Notebook HTML TLA Go
GitHub Work

Projects & Repositories

Recent public projects and repositories from this profile.

dat655-info

Jupyter Notebook

Content and information about the DAT655 course

⭐ 5 Forks: 0
Jupyter Notebook View Project

html-example

HTML

No project description available.

⭐ 0 Forks: 0
HTML View Project

hotstuff-ivy

TLA

Proving the HotStuff BFT protocol using the ivy language and tool

⭐ 3 Forks: 1
TLA View Project

formalGRANDPA

No project description available.

⭐ 0 Forks: 1
Repository View Project

splitbft-proofs

Ivy Proofs for splitBFT

⭐ 3 Forks: 0
Repository View Project

gobrachain

Go

No project description available.

⭐ 0 Forks: 0
Go View Project
← Back to Talent Open GitHub Profile ↗