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