Updated 2024-04-06 22:16:34 +02:00

Fork of https://yingtongli.me/opentally/

Updated 2024-03-29 22:49:02 +01:00

stv voting system written in rust.

Updated 2024-03-29 22:48:42 +01:00

Collection of DSLs which can solve discrete mathematics problems.

Updated 2024-03-29 21:54:04 +01:00