Hugging Face
Search models, datasets, users...
Ctrl K
Models
Datasets
Spaces
Buckets
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Spaces:
Kai9987kai
/
CROSSWIRE
Like
0
Running
App
Files
Files
Community
main
CROSSWIRE
/
crosswire
355 kB
Ctrl+K
Ctrl+K
1 contributor
History:
2 commits
Kai9987kai
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
61a7188
verified
4 days ago
web
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
4 days ago
__init__.py
89 Bytes
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
__main__.py
51 Bytes
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
adaptive.py
13.3 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
4 days ago
audit.py
7.74 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
backends.py
2.1 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
baselines.py
5.96 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
certificates.py
33.5 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
4 days ago
cli.py
5.86 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
4 days ago
conditions.py
2.57 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
core.py
54 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
4 days ago
experiment_checks.py
12.1 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
experiments.py
10.3 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
fixtures.py
24.7 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
identity.py
1.18 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
interfaces.py
7.34 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
receipts.py
4.47 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
reliability.py
8.35 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
server.py
12.4 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
4 days ago
shield.py
25.6 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
4 days ago
study.py
40.6 kB
Release crosswire-formal-synthesis-2026-11-03 from GitHub 91e7ac87c4e4
4 days ago
target_worker.py
3.06 kB
Publish checked budgeted experiments from GitHub 3354331226d1
5 days ago
