Josia Pietsch jrpie
0 followers · 0 following
Repositories
2
 Projects Packages Public activity Starred repositories
jrpie pushed to main at jrpie/usearch 2025-01-26 00:14:00 +01:00
192cc0ddb2 fix typo
jrpie pushed to main at jrpie/usearch 2025-01-25 23:40:14 +01:00
cf45fdba77 fix typo
jrpie synced commits to refs/pull/97/head at jrpie/launcher from mirror 2025-01-25 08:44:20 +01:00
c7895830e7 Translated using Weblate (Portuguese (Brazil))
14766fe1d9 Translated using Weblate (Portuguese (Brazil))
b9a59c9e37 Translated using Weblate (Portuguese (Brazil))
2d03bdbbef Translated using Weblate (Chinese (Simplified Han script))
09b12834a9 Translated using Weblate (French)
Compare 6 commits »
jrpie synced commits to refs/pull/97/merge at jrpie/launcher from mirror 2025-01-25 08:44:20 +01:00
46395e308b Merge c7895830e7 into 23f8cfb70e
c7895830e7 Translated using Weblate (Portuguese (Brazil))
14766fe1d9 Translated using Weblate (Portuguese (Brazil))
b9a59c9e37 Translated using Weblate (Portuguese (Brazil))
2d03bdbbef Translated using Weblate (Chinese (Simplified Han script))
Compare 7 commits »
jrpie synced commits to master at jrpie/launcher from mirror 2025-01-25 00:34:34 +01:00
23f8cfb70e implement #102 - show version in settings and add bug report dialog
jrpie synced commits to refs/pull/97/merge at jrpie/launcher from mirror 2025-01-23 07:44:18 +01:00
0be319507c Merge e8d2be4494 into 6d385e4e87
e8d2be4494 Translated using Weblate (Portuguese (Brazil))
813ed1f9f5 Translated using Weblate (Portuguese (Brazil))
7061da22c5 Translated using Weblate (Portuguese (Brazil))
0719d28401 Translated using Weblate (Chinese (Simplified Han script))
Compare 6 commits »
jrpie synced commits to refs/pull/97/head at jrpie/launcher from mirror 2025-01-23 07:44:17 +01:00
e8d2be4494 Translated using Weblate (Portuguese (Brazil))
813ed1f9f5 Translated using Weblate (Portuguese (Brazil))
7061da22c5 Translated using Weblate (Portuguese (Brazil))
0719d28401 Translated using Weblate (Chinese (Simplified Han script))
f5567f8b71 Translated using Weblate (French)
Compare 7 commits »
jrpie synced commits to refs/pull/97/merge at jrpie/launcher from mirror 2025-01-22 23:34:17 +01:00
162d31cc4d Merge c5c81e1dc1 into 6d385e4e87
6d385e4e87 use TextClock instead of custom solution
785e024ddb basic support for private space (#98)
Compare 3 commits »
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-20 11:53:46 +02:00
f838245711 Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory
3bb3c4e75d lecture 4
Compare 2 commits »
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-19 20:18:48 +02:00
b636d722d4 Merge branch 'main' of https://git.jrpie.de/jrpie-notes/logic-3-abstract-topological-dynamics-and-descriptive-set-theory
fa19ca3b6e small change
6961c2d5f0 lecture 02 fixed proof of 'polish subspace of polish space is G_delta'
Compare 3 commits »
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-19 17:09:00 +02:00
1713fec189 small changes
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-19 16:59:57 +02:00
a7c3cd0d3b tutorial 1
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-17 16:21:09 +02:00
66b7b06200 Lecture 03
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-17 13:08:21 +02:00
00cf1a93e7 Lecture 3
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-17 11:56:37 +02:00
394cc8ddcf Lecture 3
jrpie pushed to main at jrpie-notes/logic-3-abstract-topological-d... 2023-10-14 00:04:32 +02:00
73eb4f1645 set language to english
jrpie pushed to main at jrpie-notes/algebra 2023-07-31 03:16:46 +02:00
f04343f5ad updated readme
jrpie opened issue jrpie-notes/algebra#2 2023-07-31 03:14:52 +02:00
Use autoref or yaref instead of ref
jrpie opened issue jrpie-notes/algebra#1 2023-07-31 03:14:27 +02:00
Use more display math instead of line math
jrpie pushed to main at jrpie-notes/algebra 2023-07-31 03:13:07 +02:00
96d9e72520 updated submodule path