7 Repositories (Issues by Name)

Project Repository VCS #Forks Size #Commits Changed Updated Created
Attend CAQE is a solver for quantified Boolean formulas - Leander Tentrup - ltentrup https://github.com/ltentrup/caqe GitHub GitHub 5 896K 168 2023-05-13 21:16:48 2023-09-15 14:38:50 2022-07-24 09:35:26
Attend Circuit IR Compilers and Tools - LLVM - llvm https://github.com/llvm/circt GitHub GitHub 233 51.9M 10850 2023-09-14 06:36:39 2023-09-15 14:51:01 2022-07-24 14:56:50
Attend Inspired by free-programming-books, here's free-science-books - Free Ebook Foundation - EbookFoundation https://github.com/EbookFoundation/free-science-books GitHub GitHub 245 504K 244 2023-05-12 15:07:00 2023-09-15 14:38:50 2022-07-24 15:42:47
Attend pyosys tests - Yosys Headquarters - YosysHQ https://github.com/YosysHQ/pyosys-tests GitHub GitHub 2 372K 6 2022-07-24 08:38:05 2023-09-15 14:21:00 2022-07-24 08:38:05
Attend Tools and Examples for IcoBoard - Claire Wolf - cliffordwolf https://github.com/cliffordwolf/icotools GitHub GitHub 25 552K 149 2022-07-24 11:53:32 2023-09-15 14:03:10 2022-07-24 11:53:32
Attend WireGuard for the Linux kernel. https://git.zx2c4.com/wireguard-linux/ Git Git 0 3.0G 1177732 2022-12-14 07:36:13 2023-09-16 15:36:02 2020-06-09 00:39:34
Attend Yosys Web Page - Yosys Headquarters - YosysHQ https://github.com/YosysHQ/yosys-web GitHub GitHub 6 5.9M 217 2022-12-06 05:56:39 2023-09-15 14:21:00 2022-07-24 09:48:23

Contact information

Mail to Andreas Kupries