-
Notifications
You must be signed in to change notification settings - Fork 0
Insights: Mondego/dafny-synthesis
Dependency graph
8 Total
- pip · requirements.txt · Detected automatically on Jun 09, 2024 · MITfaiss-cpu 1.8.0
- pip · requirements.txt · Detected automatically on Jun 09, 2024 · BSD-2-Clausegoogle 3.0.0
-
pip
·
requirements.txt
·
Detected automatically on Jun 09, 2024
·
Apache-2.0
- pip · requirements.txt · Detected automatically on Jun 09, 2024google-generativeai 0.5.2
- pip · requirements.txt · Detected automatically on Jun 09, 2024 · BSD-2-Clause AND BSD-3-Clausejinja2 3.1.3
- pip · requirements.txt · Detected automatically on Jun 09, 2024 · MITlangchain 0.0.354
- pip · requirements.txt · Detected automatically on Jun 09, 2024 · Apache-2.0 AND MITopenai 0.27.10
- pip · requirements.txt · Detected automatically on Jun 09, 2024 · MITtiktoken 0.4.0