sam.hadow

0 Followers · 0 Following

• https://hadow.fr

• Profile picture from Lillimon

  Please contact me through Matrix.org if you want to talk to me. Contact information is on my website.

• Joined on 2023-03-12

Repositories

34

Projects Packages Public Activity Starred Repositories

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-21 17:04:10 +02:00

4b8c564027 stronger abstraction

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-21 16:53:03 +02:00

3886c7a3d6 stronger abstraction

0e1c67b7aa abstract pool

Compare 2 commits »

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-21 14:59:47 +02:00

e5dcb7fe32 print changes

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-21 14:46:50 +02:00

ec7764afc3 step print fix

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-21 14:44:41 +02:00

6920dc9389 cli

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-21 12:19:37 +02:00

4d5dfbfef4 symbolic abstraction

sam.hadow pushed to main at sam.hadow/tea-3 2026-04-21 11:04:29 +02:00

d19b51844a BP fix 2

sam.hadow pushed to main at sam.hadow/tea-3 2026-04-21 09:30:35 +02:00

3f92778516 BP fix

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-20 17:44:58 +02:00

965c877c28 BP fix

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-20 16:46:57 +02:00

7aa463e80f README update

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-20 16:06:45 +02:00

4686153a66 use F31 F32

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-20 14:19:30 +02:00

501aa1043c switch to BooleanPolynomialRing

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-20 13:59:49 +02:00

587e5683e1 modelization + pretty print

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-20 12:09:09 +02:00

c0a31606de run script

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-20 09:55:02 +02:00

b39a1d3780 start modelization

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-16 16:39:16 +02:00

108d600235 README update

sam.hadow pushed to main at sam.hadow/tea3-py 2026-04-16 16:31:50 +02:00

03cbff5e83 add license and readme

f4f875ecde initial commit

sam.hadow created branch main in sam.hadow/tea3-py 2026-04-16 16:31:50 +02:00

sam.hadow created repository sam.hadow/tea3-py 2026-04-16 16:30:55 +02:00

sam.hadow pushed to main at sam.hadow/plants_scad 2026-04-15 16:33:36 +02:00

9939e138cc tray radius fix