| Name | Version | Summary | date |
| forastero |
1.0 |
cocotb verification framework with the batteries included |
2024-09-11 10:59:14 |
| ekyc |
0.1.15 |
A library for electronic Know Your Customer (eKYC) verification |
2024-09-05 06:34:50 |
| LinkChecker |
10.5.0 |
check links in web documents or full websites |
2024-09-03 18:42:46 |
| icpv |
0.0.0a0 |
Integrated Circuit Physical Verification |
2024-08-23 20:38:46 |
| veribool |
0.0.0 |
Verify various properties of boolean expressions using a concise DSL. |
2024-07-22 07:32:14 |
| numdantic |
0.1.1 |
Library for numpy typing support and numpy array validation with pydantic |
2024-07-05 20:53:26 |
| roter |
2024.6.25 |
Rotate and combine tables (Danish: Roter og kombiner borde). |
2024-06-24 19:22:08 |
| reinfier |
0.5.3 |
Reinfier - A verification framework for deep reinforcement learning |
2024-05-22 22:17:36 |
| green |
4.0.2 |
Green is a clean, colorful, fast python test runner. |
2024-04-18 23:54:19 |
| hllama |
0.0.7 |
hllama provides some useful utility functions for LLM. |
2024-04-16 05:00:20 |
| mavsec |
0.0.1b2 |
A tool for the creation of JasperGold SVP principle tcl files. |
2024-03-27 22:48:13 |