• Joined on 2023-07-10
Taneb created branch main in Taneb/regex 2024-09-13 11:39:18 +01:00
Taneb pushed to main at Taneb/regex 2024-09-13 11:39:18 +01:00
47c9a4a177 Initial commit: definition of regular expression, algebraic properties of + and ;
Taneb created repository Taneb/regex 2024-09-13 11:38:34 +01:00
Taneb pushed to main at Taneb/eratosthenes 2024-07-16 05:26:37 +01:00
eaae27f043 Make definition of Tree private
086e98e532 Remove unnecessary public
Compare 2 commits »
Taneb opened issue Taneb/eratosthenes#3 2024-07-11 14:03:26 +01:00
Unbounded version
Taneb opened issue Taneb/eratosthenes#2 2024-07-11 14:02:55 +01:00
Wheel optimization
Taneb opened issue Taneb/eratosthenes#1 2024-07-11 14:00:17 +01:00
Prove primes correct
Taneb created branch main in Taneb/eratosthenes 2024-07-11 13:38:17 +01:00
Taneb pushed to main at Taneb/eratosthenes 2024-07-11 13:38:17 +01:00
35ca270476 Implement (bounded) sieve of Eratosthenes
Taneb created repository Taneb/eratosthenes 2024-07-11 13:38:03 +01:00
Taneb pushed to main at Taneb/nas 2024-06-29 06:55:57 +01:00
35862426ae Get hledger to work
530edccdf5 Add hledger-web service
Compare 2 commits »
Taneb merged pull request Taneb/nas#1 2024-06-29 06:55:56 +01:00
Hledger
Taneb created pull request Taneb/nas#1 2024-06-29 06:55:50 +01:00
Hledger
Taneb pushed to hledger at Taneb/nas 2024-06-29 06:55:06 +01:00
35862426ae Get hledger to work
Taneb created branch hledger in Taneb/nas 2024-06-28 21:51:38 +01:00
Taneb pushed to hledger at Taneb/nas 2024-06-28 21:51:38 +01:00
530edccdf5 Add hledger-web service
Taneb pushed to main at Taneb/nas 2024-06-26 16:08:39 +01:00
22b8aedee4 Switch to unstable
Taneb pushed to main at Taneb/nas 2024-06-26 10:56:49 +01:00
075b1ff967 Add note about adding samba users to readme
9fcb0cfad1 Check a box
5e34efac9d Samba and also get rid of tabs
30f97c74b5 Add account for Nairis
2fb3f631d4 Reformat in preparation for multiple users
Compare 5 commits »
Taneb pushed to main at Taneb/thinnings 2024-06-24 00:21:33 +01:00
1edc14d2bd Add gitignore
Taneb opened issue Taneb/thinnings#7 2024-06-22 16:18:34 +01:00
Are thinnings a displayed category?