| Name | Version | Summary | date |
| interface-versioning |
1.0.0.1 |
Interface Versioning |
2024-11-23 07:41:51 |
| scoringrules |
0.7.1 |
Scoring rules for probabilistic forecast evaluation. |
2024-10-24 06:52:34 |
| constrainedrandom |
1.2.2 |
A library for creating and solving constrained randomization problems |
2024-10-14 11:31:54 |
| wal-lang |
0.8.2 |
Wal - Wavefile Analysis Language |
2024-10-09 11:00:08 |
| publishing-tools |
0.0.8 |
Tools that can be used for publishing/releasing packages and container images. |
2024-10-07 11:10:41 |
| cryptol |
3.2.1 |
Cryptol client for the Cryptol RPC server |
2024-09-18 18:36:26 |
| 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 |
| 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 |