Zander

0 followers · 0 following

• Joined on 2024-09-20

Repositories

16

Projects Packages Public activity Starred repositories

1

Zander created branch main in Zander/dotfiles 2025-03-16 18:03:55 +00:00

Zander pushed to main at Zander/dotfiles 2025-03-16 18:03:55 +00:00

66d911a569 first commit!

Zander created repository Zander/dotfiles 2025-03-16 17:45:51 +00:00

Zander pushed to main at Zander/sat-solver 2025-03-08 02:14:36 +00:00

229f654eb5 if a test runs a long time, run it with verbose

Zander pushed to main at Zander/sat-solver 2025-03-08 01:58:33 +00:00

dd4732c007 now we satlib! and verification! and testing!

Zander pushed to main at Zander/sat-solver 2025-03-07 15:49:30 +00:00

e2d8118468 updated README

Zander pushed to main at Zander/sat-solver 2025-03-07 15:47:41 +00:00

5fcfebd5fd updated README

Zander pushed to main at Zander/sat-solver 2025-03-07 15:46:20 +00:00

2add7a474e first commit

Zander created branch main in Zander/sat-solver 2025-03-07 15:46:20 +00:00

Zander created repository Zander/sat-solver 2025-03-07 15:44:12 +00:00

Zander pushed to main at Zander/lambda-calc-1 2025-01-20 19:40:54 +00:00

4668736ce6 .

Zander pushed to main at Zander/lambda-calc-1 2025-01-20 13:12:25 +00:00

56f7748377 now the makefile is good. zog for .cpp files

Zander pushed to main at Zander/lambda-calc-1 2025-01-20 01:07:54 +00:00

9d0bdc9db1 removed color-factory for sake of terminalcolors

Zander pushed to main at Zander/lambda-calc-1 2025-01-20 00:05:17 +00:00

d89f2d7b06 zog

Zander created branch main in Zander/lambda-calc-1 2025-01-14 02:39:03 +00:00

Zander pushed to main at Zander/lambda-calc-1 2025-01-14 02:39:03 +00:00

86934f1895 .

Zander pushed to main at Zander/lambda-calculus 2025-01-14 02:36:30 +00:00

86934f1895 .

Zander created branch main in Zander/lambda-calculus 2025-01-14 02:36:30 +00:00

Zander created repository Zander/lambda-calc-1 2025-01-14 02:34:13 +00:00

Zander created repository Zander/lambda-calculus 2025-01-04 20:17:47 +00:00