Discover @FWuermse Open Source projects

Florian Würmseer (@FWuermse)

FWuermse

Stars
22
Global Rank 600,594 (Top 21 %)
Followers 13
Following 28
Registered over 7 years ago
Most used languages

Lean 20.0 %

Kotlin
20.0 %

TypeScript
10.0 %

Java
10.0 %

Haskell
10.0 %

CSS
10.0 %

Groovy
10.0 %

Python
10.0 %
Location 🇩🇪 Germany
Country Total Rank 24,315
Country Ranking

Lean 9

Groovy
334

Haskell
591

Kotlin
1,609

CSS
1,936

TypeScript
8,334

Java
9,710

lean-postgres

lean4-sql-utils

This repository holds utilities that are ought to be shared across different implementations of SQL dialects.

FWuermse.github.io

timeline-kml-splitter

ttt

langcab-android-1.0

langcab-api-1.0

An application to train Vocabulary

linear-algebra-hm

data-structures

vscode-todo

VSCode extension to manage todos