Henrik Böving

@hargoniX

Lean FRO Munich, Germany

169

Followers

118

Following

128

Public Repos

Private Repos

Language Breakdown

Lines of code distribution across 56 owned repositories

4.0M Total LOC

Rust

2,510,301 lines

62.4%

N/A

Lean

746,028 lines

18.5%

N/A

Typst

300,022 lines

7.5%

N/A

161,769 lines

4.0%

N/A

Vim Script

78,411 lines

1.9%

N/A

Other

228,871 lines

5.7%

N/A

I-Shaped Developer

I-shaped

Specialist — deep expertise in Rust

Rust

Lean

Typst

Vim Script

Collaboration Network

Global Impact visualization

LIVE

0 active collaborators

Repos

299

PRs

Growth

+18%

Top Collaborators

No collaborator data yet.

Coding Streak

Contribution activity over the past year

3 days

1,175

Contributions

673

Commits

359

Pull Requests

Jun Jul Aug Sep Oct Nov Dec Jan Feb Mar Apr May Jun

Based on GitHub activity

Less

Followers 169

Shreekanth Guttedar

@shreekanthashokg-lang

Steve Goguen

@sgoguen

Nitish R.G.

@NITISH-R-G

Eduardo Aguilar Pelaez, MEng, PhD, MBA

@edu-ap

Rish

@rishistyping

View All

Following

118 total

Lukas Gerlach

@monsterkrampe

Ragnar Groot Koerkamp

@RagnarGrootKoerkamp

Cameron Zwarich

@zwarich

Shilpi Goel

@shigoel

Luisa Cicolini

@luisacicolini

View All Network

Synced via GitHub

Top Repositories

keepassxc-proxy-client

A client for keepassxc-proxy so passwords can easily be requested via CLI

sockets for Lean 4

A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf

15 1

Lean

Leanwuzla

Connecting bv_decide to SMTLIB.

14 7

Lean

cpdt-lean

Lean implementations of things found in Certified Programming with Dependent Types

A small assembler I wrote for use with the microprocessor from the Book "Grundlagen der Technische Informatik"

8 3

Rust

The Q superposition prover

An implementation of mini-redis in Lean 4

4 1

Lean

Open Source Impact

Contributions to external projects

805 merged PRs

nunchaku-inria/nunchaku

leanprover/lean4

8222

SMT-COMP/smt-comp.github.io

leanprover-community/quote4

108

leanprover-community/mathlib4

leanprover-community/mathlib4_docs

leanprover/lean4export

leanprover-community/plausible

Contributed to 13 repositories