Rankings
Badges
/
Zinoex
Rankings
Badges
Overview
Ranks
Repositories
Languages
Frederik Baymler Mathiesen
@Zinoex
Refresh
Open GitHub
🇳🇱 Netherlands
TU Delft
Profile age: over 13 years
Updated 24 days ago
31 followers • 73 following
Contacts
frederik@baymler.com
https://www.baymler.com/
Repositories
bound_propagation
10
5
updated 4 months ago • age almost 4 years
Python
100.0%
IntervalMDP.jl
8
3
13
updated 20 days ago • age about 2 years
Julia
100.0%
hyperverlet
6
0
updated over 3 years ago • age over 4 years
Python
98.8%
Shell
1.2%
bayne
2
0
updated over 2 years ago • age about 4 years
Python
100.0%
certified-neural-approximations
2
1
updated about 1 month ago • age 7 months
Python
99.1%
Makefile
0.7%
Dockerfile
0.2%
JordanForm.jl
1
0
1
updated about 2 years ago • age over 2 years
Julia
100.0%
IntervalMDPAbstractions.jl
1
0
updated about 1 month ago • age over 1 year
Julia
100.0%
Contributions
2025
CUDA.jl
1 PR
+103
-1
Julia
1,337
254
114
LazySets.jl
1 PR
+53
-12
Julia
252
37
155
2024
CUDA.jl
1 PR
+1
-1
Julia
1,337
254
114
SciMLDocs
1 PR
+1
-1
84
52
19
StochasticBarrier.jl
~9 PRs
+53
-169
Julia
0
0
2023
LazySets.jl
2 PRs
+146
-47
Julia
252
37
155
MultivariateBases.jl
1 PR
+20
-0
Julia
11
5
9
NeuralNetControlBarrier
1 PR
+53
-36
Julia
9
3
StochasticBarrier.jl
~29 PRs
+716
-97
Julia
0
0
2022
ControlSystems.jl
1 PR
+5
-4
Julia
561
89
97
Show more
