Açık kaynak•Geliştirici araçları
Specula
Open-source agentic formal-methods framework that derives TLA+ specifications from system code, model-checks state spaces, validates traces, and reproduces confirmed bugs.
Skor dağılımı
startup-score-v1 ile hesaplandı
Bu skor neden böyle?
Startup Score 78, yalnızca doğrulanmış yayınlara dayanır.
- Güncellik · Son doğrulanmış yayın 17 saat önce yapıldı.
- Tutarlılık · Son 12 haftanın 9 tanesinde aktif.
- Yayın yoğunluğu · Son 30 günde 9 aktif yayın günü (üst sınır 12).
- Seri · Güncel haftalık seri: 2 (üst sınır 26).
Kapsam, yıldız, indirme ve dikkat sinyalleri bu skora girmez.
Doğrulanmış aktivite
Doğrulanmış güncelleme
https://github.com/specula-org/Specula/commit/230377ccaa066c58cdf31bd0aa9282f29187e2f5Doğrulanmış güncelleme
https://github.com/specula-org/Specula/commit/76edd83c37374b8f34ddf91da437cda538d4e307Doğrulanmış güncelleme
https://github.com/specula-org/Specula/commit/a0242cf388b51a6ea7005a49ea5e1593bd1528caDoğrulanmış güncelleme
https://github.com/specula-org/Specula/commit/13c684b8dba066bb77a0636b97c23246ca24095aDoğrulanmış güncelleme
https://github.com/specula-org/Specula/commit/f180030cf2342f0a9ae42ab20f7e863b8e68248aDoğrulanmış güncelleme
https://github.com/specula-org/Specula/commit/4bb2202bbac7e00683c87be0063ffe51eaf2fddeDoğrulanmış güncelleme
https://github.com/specula-org/Specula/commit/b2ce57215b4660d7a1f3ffe25953caf5401824f5Doğrulanmış güncelleme
https://github.com/specula-org/Specula/commit/07f74ee5fde7a07a17a92fc3b525f75e37fedfcfDoğrulanmış güncelleme
https://github.com/specula-org/Specula/commit/178681a20e141047c7f64e218df13042304fa05cDoğrulanmış güncelleme
https://github.com/specula-org/Specula/commit/c905462bb482a5befff9119826aef4e1b6b08ce3Skor geçmişi
Doğrulanmış paylaşım kartları
Yalnızca doğrulanmış veriye dayanan anları paylaşın. Sıra değişimi yalnızca önceki rank snapshot varken gösterilir.
- Specula: skor 78OG görseli olarak kullan
- Specula 100-github-stars rozetini açtı Aktif OG görseli
- Specula 10-github-stars rozetini açtıOG görseli olarak kullan
Canlı kart önizlemesi
Hazır paylaşım metni
Specula 100-github-stars rozetini açtı — StartupScores doğrulanmış profilini gör: https://startupscores.com/tr/open-source/specula?share=badge_unlock%3A100-github-stars
Canlı SVG rozet
Bu doğrulanmış rozeti istediğiniz yere gömün. Claim gerekmez.
[](https://startupscores.com/tr/open-source/specula)Üreticiler
Henüz doğrulanmış üretici yok.
Doğrulanmış kaynaklar
Geliştirici araçları Kategorisindeki İlgili Araçlar