No project description provided

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for rvdevops from gravatar.com rvdevops

Unverified details

These details have not been verified by PyPI
Meta
Classifiers

Project description

pyk

API documentation

Installation

pip install kframework

For Developers

Prerequsites: python >= 3.10, poetry >= 1.3.2.

Use make to run common tasks (see the Makefile for a complete list of available targets).

  • make build: Build wheel
  • make check: Check code style
  • make format: Format code
  • make test-unit: Run unit tests
  • make test-integration: Run integration tests

For interactive use, spawn a shell with poetry shell (after poetry install), then run an interpreter.

Project details

Verified details

These details have been verified by PyPI
Maintainers
Avatar for rvdevops from gravatar.com rvdevops

Unverified details

These details have not been verified by PyPI
Meta
Classifiers

Release history Release notifications | RSS feed

7.1.170

7.1.169

7.1.167

7.1.166

7.1.165

7.1.164

7.1.163

7.1.162

7.1.160

7.1.159

7.1.158

7.1.157

7.1.156

7.1.155

7.1.154

7.1.153

7.1.151

7.1.150

7.1.149

7.1.148

7.1.147

7.1.146

7.1.145

7.1.144

7.1.143

7.1.142

7.1.141

7.1.140

7.1.139

7.1.138

7.1.137

7.1.136

7.1.135

7.1.134

7.1.133

7.1.132

7.1.131

7.1.129

7.1.127

7.1.126

7.1.125

7.1.124

7.1.123

7.1.122

7.1.121

7.1.120

7.1.119

7.1.118

7.1.117

7.1.116

7.1.114

7.1.112

7.1.111

7.1.110

7.1.109

7.1.108

7.1.107

7.1.106

7.1.105

7.1.104

7.1.103

7.1.102

7.1.101

7.1.100

7.1.99

7.1.98

7.1.97

7.1.96

7.1.95

7.1.94

7.1.93

7.1.92

7.1.90

7.1.89

7.1.88

7.1.87

7.1.86

7.1.85

7.1.84

7.1.83

7.1.82

7.1.81

7.1.80

7.1.79

7.1.78

7.1.77

7.1.76

7.1.74

7.1.72

7.1.70

7.1.69

7.1.68

7.1.67

7.1.66

7.1.65

7.1.64

7.1.63

7.1.62

7.1.61

7.1.60

7.1.59

7.1.58

7.1.57

7.1.56

7.1.55

7.1.54

7.1.53

7.1.52

7.1.51

7.1.50

7.1.49

7.1.48

7.1.46

7.1.45

7.1.44

7.1.43

7.1.42

7.1.41

This version

7.1.40

7.1.39

7.1.38

7.1.37

7.1.36

7.1.35

7.1.33

7.1.32

7.1.31

7.1.30

7.1.29

7.1.28

7.1.27

7.1.26

7.1.25

7.1.24

7.1.23

7.1.22

7.1.21

7.1.20

7.1.19

7.1.18

7.1.17

7.0.41

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distribution

kframework-7.1.40.tar.gz (211.3 kB view hashes)

Uploaded Source

Built Distribution

kframework-7.1.40-py3-none-any.whl (253.1 kB view hashes)

Uploaded Python 3

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page