Lompat ke konten utama
buildradar
Sign in
Topik · verification

verification

Repositori open source terpantau bertanda verification, diurutkan berdasarkan bintang.

Repositori
39
Total bintang
91.597
Rata-rata bintang
2.349
Porsi
0,00%

Topik terkait

Topik yang sering muncul berdampingan dengan verification di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda verification.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

  • trufflehog↗@trufflesecurity

    Menemukan, memverifikasi, dan menganalisis kredensial yang bocor

    ★ 27.628+82Perubahan bintang dalam 7 hari terakhir
  • immudb↗@codenotary

    immudb - basis data immutable berbasis zero trust, model SQL/Key-Value/Dokumen, tahan manipulasi, riwayat perubahan data

    ★ 9.024+4Perubahan bintang dalam 7 hari terakhir
  • mockk↗@mockk

    Pustaka mocking untuk Kotlin.

    ★ 5.758-1Perubahan bintang dalam 7 hari terakhir
  • dafny↗@dafny-lang

    Dafny adalah bahasa pemrograman yang sadar verifikasi

    ★ 3.519+11Perubahan bintang dalam 7 hari terakhir
  • kani↗@model-checking

    Kani Rust Verifier

    ★ 3.354+20Perubahan bintang dalam 7 hari terakhir
  • FStar↗@FStarLang

    Bahasa pemrograman yang berorientasi pada pembuktian

    ★ 3.099-1Perubahan bintang dalam 7 hari terakhir
  • tlaplus↗@tlaplus

    TLC adalah pemeriksa model untuk spesifikasi yang ditulis dalam TLA+. TLA+Toolbox adalah IDE untuk TLA+.

    ★ 3.019+11Perubahan bintang dalam 7 hari terakhir
  • cocotb↗@cocotb

    cocotb: Verifikasi chip (RTL) berbasis Python.

    ★ 2.486+7Perubahan bintang dalam 7 hari terakhir
  • masvs↗@OWASP

    OWASP MASVS (Mobile Application Security Verification Standard) adalah standar industri untuk keamanan aplikasi seluler.

    ★ 2.440+4Perubahan bintang dalam 7 hari terakhir
  • go-captcha↗@wenlng

    🖖 GoCaptcha: Pustaka captcha perilaku interaktif berkinerja tinggi untuk Go. Mendukung mode klik, geser, seret-lepas, dan rotasi untuk mengamankan aplikasi Anda dengan mudah.

    ★ 2.412+8Perubahan bintang dalam 7 hari terakhir
  • hacl-star↗@hacl-star

    HACL*, pustaka kriptografi yang diverifikasi secara formal yang ditulis dalam F*

    ★ 1.836+0Perubahan bintang dalam 7 hari terakhir
  • creusot↗@creusot-rs

    Creusot membantu Anda membuktikan bahwa kode Rust Anda benar.

    ★ 1.834+4Perubahan bintang dalam 7 hari terakhir
  • prusti-dev↗@viperproject

    Verifikator statis untuk Rust, berbasis infrastruktur verifikasi Viper.

    ★ 1.807+3Perubahan bintang dalam 7 hari terakhir
  • quint↗@quint-co

    Bahasa spesifikasi yang dapat dieksekusi dengan perkakas yang menyenangkan berdasarkan logika temporal tindakan (TLA)

    ★ 1.645+15Perubahan bintang dalam 7 hari terakhir
  • email-verifier↗@AfterShip

    Pustaka Go untuk verifikasi email tanpa mengirimkan email apa pun.

    ★ 1.609+9Perubahan bintang dalam 7 hari terakhir
  • VeriGPU↗@hughperkins

    GPU OpenSource, dalam Verilog, yang secara longgar didasarkan pada ISA RISC-V

    ★ 1.365+1Perubahan bintang dalam 7 hari terakhir
  • liquidhaskell↗@ucsd-progsys

    Tipe Liquid untuk Haskell

    ★ 1.334+2Perubahan bintang dalam 7 hari terakhir
  • validate↗@gookit

    Paket Go untuk validasi dan penyaringan data. Mendukung Map, Struct, Form data.

    ★ 1.164+0Perubahan bintang dalam 7 hari terakhir
  • alive2↗@AliveToolkit

    Verifikasi otomatis dari optimasi LLVM

    ★ 1.161+5Perubahan bintang dalam 7 hari terakhir
  • AppVerifier↗@soupslurpr

    Verifikasi aplikasi dengan mudah.

    ★ 1.156+5Perubahan bintang dalam 7 hari terakhir
  • checker-framework↗@typetools

    Pemeriksaan tipe pluggable untuk Java

    ★ 1.149+3Perubahan bintang dalam 7 hari terakhir
  • sourcify↗@argotorg

    Layanan verifikasi kode sumber untuk smart contract Ethereum

    ★ 950+4Perubahan bintang dalam 7 hari terakhir
  • cryptominisat↗@msoos

    Solver SAT tingkat lanjut

    ★ 940+1Perubahan bintang dalam 7 hari terakhir
  • Flutter_Pinput↗@Tkko

    Paket Flutter untuk membuat kolom input kode PIN dengan kemungkinan kustomisasi piksel penuh, animasi yang indah, serta dukungan autofill iOS dan Android.

    ★ 856+0Perubahan bintang dalam 7 hari terakhir
  • vunit↗@VUnit

    VUnit adalah kerangka kerja pengujian unit untuk VHDL/SystemVerilog

    ★ 845+1Perubahan bintang dalam 7 hari terakhir
  • magmide↗@magmide

    Bahasa pembuktian bertipe-dependen yang dirancang agar insinyur perangkat lunak dapat membuat kode bare metal yang terbukti benar.

    ★ 835+0Perubahan bintang dalam 7 hari terakhir
  • f-license↗@furkansenharputlu

    Alat Pembuatan dan Verifikasi Kunci Lisensi Open Source yang ditulis dalam Go

    ★ 824+1Perubahan bintang dalam 7 hari terakhir
  • pact_broker↗@pact-foundation

    Mengaktifkan alur kerja consumer driven contracts Anda

    ★ 745+1Perubahan bintang dalam 7 hari terakhir
  • core-v-verif↗@openhwgroup

    Proyek verifikasi fungsional untuk keluarga core RISC-V CORE-V.

    ★ 714+3Perubahan bintang dalam 7 hari terakhir
  • ed25519-dalek↗@dalek-cryptography

    DIARSIPKAN/DIPINDAHKAN: silakan kunjungi lokasi baru

    ★ 704+0Perubahan bintang dalam 7 hari terakhir
← Kembali ke topik