martin

0 Followers · 0 Following

• Joined on 2025-01-14

Repositories

5

Projects Packages Public Activity Starred Repositories

martin pushed to master at martin/configs 2025-04-02 09:11:13 +02:00

f62b4a1050 certbot

martin pushed to master at martin/configs 2025-04-02 08:48:49 +02:00

315b7901e0 minor

martin pushed to master at martin/configs 2025-04-02 08:47:28 +02:00

7e62df6ad9 change solver domain

martin pushed to master at martin/configs 2025-02-12 07:37:11 +01:00

d32b2b5bd1 Referees Collect | switch port

martin pushed to master at martin/configs 2025-01-20 16:40:58 +01:00

89d15ddd13 ssl

martin pushed to master at martin/configs 2025-01-20 16:39:31 +01:00

6caeced0f0 port update

martin pushed to master at martin/configs 2025-01-20 16:32:30 +01:00

4b1d19b858 new dns

martin pushed to master at martin/configs 2025-01-20 16:27:19 +01:00

99daf507d6 fix

martin pushed to master at martin/configs 2025-01-20 16:20:39 +01:00

86ee0f48d4 solver interface

martin pushed to main at martin/research 2025-01-14 14:30:45 +01:00

f24241f851 Cleaning

martin created branch main in martin/research 2025-01-14 10:15:19 +01:00

martin pushed to main at martin/research 2025-01-14 10:15:19 +01:00

7ae9cc2a36 some CHL

859e17cf5a UPDATES

e50d566327 UEFA MATCH API

33ba6b819d Update

c583dd4d7e add counterexamples

Compare 10 commits »

martin created repository martin/research 2025-01-14 10:14:37 +01:00

martin created branch master in martin/configs 2025-01-14 10:12:44 +01:00

martin pushed to master at martin/configs 2025-01-14 10:12:44 +01:00

56fba3b5d9 ORIGIN

martin created repository martin/configs 2025-01-14 10:12:01 +01:00