Data

Tools

Indexes

Applications

Experiments

Open Sustainable Technology

https://github.com/manuelaguadomtz/pyeer

PyEER is a python package for biometric systems performance evaluation. Includes ROC, DET, FNMR, FMR and CMC curves plotting, scores distribution plotting, EER and operating points estimation. It can be also used to evaluate binary classification systems.
biometrics cmc det eer equal-error-rate fmr fnmr identification roc verification
Added: over 1 year ago - Last Synced: about 1 year ago - Created: August 27, 2018

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Python
  • Commits: 230
  • Committers: 5
  • Issues: 7
  • Pull Requests: 3
https://github.com/diem/move

Home of the Move programming language
blockchain smart-contracts verification
Added: over 1 year ago - Last Synced: about 1 year ago - Created: October 15, 2021

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Rust
  • Commits: 11188
  • Committers: 320
  • Issues: 8
  • Pull Requests: 150
  • Owner: diem
  • Stars: 335
  • Forks: 131
  • Packages: 2
  • Downloads: 16,209
https://github.com/dfinity/response-verification

Client side response verification for the Internet Computer
certification computer internet internet-computer response verification
Added: over 1 year ago - Last Synced: about 1 year ago - Created: September 28, 2022

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Rust
  • Commits: 379
  • Committers: 14
  • Issues: 5
  • Pull Requests: 344
  • Owner: dfinity
  • Stars: 14
  • Forks: 8
  • Packages: 9
  • Downloads: 1,373,058
https://github.com/ricardogesteves/authv5-toolkit

Advanced custom authentication for Next.js applications with Auth.js V5. Authentication with providers and credentials.
authentication authorization bcrypt next-auth nextjs oauth2 postgresql prisma react react-hook-form react-icons resend server-actions shadcn-ui sonner tailwindcss typescript verification zod
Added: over 1 year ago - Last Synced: about 1 year ago - Created: January 04, 2024

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: TypeScript
  • Commits: 62
  • Committers: 4
  • Issues: 0
  • Pull Requests: 71
https://github.com/hacl-star/hacl-star

HACL*, a formally verified cryptographic library written in F*
cryptography everest formal-methods formal-verification hacl high-performance inria security verification verified-primitives
Added: over 1 year ago - Last Synced: about 1 year ago - Created: June 23, 2016

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: F*
  • Commits: 15620
  • Committers: 89
  • Issues: 38
  • Pull Requests: 203
  • Owner: hacl-star
  • Stars: 1594
  • Forks: 160
  • Packages: 0
https://github.com/furkansenharputlu/f-license

Open Source License Key Generation and Verification Tool written in Go
cli cli-app cli-application cli-tool customer-management go golang hmac hmac-authentication jwt jwt-authentication jwt-token license-generator license-management license-server license-tracker rsa rsa-algorithm rsa-key-encryption verification
Added: over 1 year ago - Last Synced: about 1 year ago - Created: November 27, 2019

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Go
  • Commits: 63
  • Committers: 2
  • Issues: 21
  • Pull Requests: 3
https://github.com/gasparka/pyha

Describe, simulate and debug hardware in Python
dsp fixed-point python simulation verification vhdl
Added: over 1 year ago - Last Synced: about 1 year ago - Created: October 15, 2016

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Jupyter Notebook
  • Commits: 1396
  • Committers: 4
  • Issues: 0
  • Pull Requests: 200
  • Owner: gasparka
  • Stars: 9
  • Forks: 1
  • Packages: 1
  • Downloads: 47
https://github.com/soupslurpr/appverifier

Verify apps easily.
android jetpack-compose kotlin kotlin-android material material-3 material-design material-design-3 material-ui material-you security security-tools verification
Added: over 1 year ago - Last Synced: about 1 year ago - Created: December 27, 2023

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Kotlin
  • Commits: 121
  • Committers: 9
  • Issues: 72
  • Pull Requests: 30
  • Owner: soupslurpr
  • Stars: 79
  • Forks: 12
  • Packages: 0
https://github.com/celerity/simsycl

Synchronous, single-threaded, library-only SYCL implementation for debugging and verification.
debugging sycl verification
Added: over 1 year ago - Last Synced: about 1 year ago - Created: August 07, 2023

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: C++
  • Commits: 130
  • Committers: 4
  • Issues: 2
  • Pull Requests: 5
  • Owner: celerity
  • Stars: 22
  • Forks: 2
  • Packages: 0
https://github.com/leventerkok/sbvplugin

Formally prove properties of Haskell programs using SBV/SMT.
haskell sbv smt verification
Added: over 1 year ago - Last Synced: about 1 year ago - Created: November 09, 2015

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Haskell
  • Commits: 448
  • Committers: 6
  • Issues: 25
  • Pull Requests: 3
  • Owner: LeventErkok
  • Stars: 44
  • Forks: 7
  • Packages: 1
  • Downloads: 6,173
https://github.com/querycert/qcert

Compilation and Verification of Data-Centric Languages
compiler coq-proof-assistant functional-programming query-engine query-language sql verification verified-compiler
Added: over 1 year ago - Last Synced: about 1 year ago - Created: June 11, 2016

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Coq
  • Commits: 2051
  • Committers: 16
  • Issues: 44
  • Pull Requests: 60
  • Owner: querycert
  • Stars: 55
  • Forks: 9
  • Packages: 6
  • Downloads: 58
https://github.com/vunit/vunit

VUnit is a unit testing framework for VHDL/SystemVerilog
asic fpga systemverilog-hdl testbench unit-testing universal-verification-methodology verification verilog-hdl vhdl
Added: over 1 year ago - Last Synced: about 1 year ago - Created: November 18, 2014

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: VHDL
  • Commits: 1899
  • Committers: 97
  • Issues: 107
  • Pull Requests: 101
  • Owner: VUnit
  • Stars: 692
  • Forks: 250
  • Packages: 1
  • Downloads: 12,216
https://github.com/mockk/mockk

mocking library for Kotlin
argument-matchers chain-calls hacktoberfest kotlin matcher mock mocking-framework tdd testing verification
Added: over 1 year ago - Last Synced: about 1 year ago - Created: October 17, 2017

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: Kotlin
  • Commits: 2083
  • Committers: 152
  • Issues: 168
  • Pull Requests: 52
  • Owner: mockk
  • Stars: 5311
  • Forks: 331
  • Packages: 16
https://github.com/cardano-foundation/cf-discord-wallet-verification-bot

This bot aims to provide a wallet and user association based on the user's discord account.
bot cip30 discord typescript verification wallet
Added: over 1 year ago - Last Synced: about 1 year ago - Created: September 22, 2023

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: TypeScript
  • Commits: 8
  • Committers: 2
  • Issues: 0
  • Pull Requests: 1
https://github.com/skorotkiewicz/ed25519-keys

npm package provide ed25519 key generation, signing and verification
ed25519 generate generation key signing verification
Added: about 1 year ago - Last Synced: about 1 year ago - Created: April 10, 2022

  • Relevant topics? true
  • External users? true
  • Open source license? true
  • Active? true
  • Fork? false
  • Main Language: JavaScript
  • Commits: 5
  • Committers: 1
  • Issues: 1
  • Pull Requests: 0
  • Owner: skorotkiewicz
  • Stars: 1
  • Forks: 0
  • Packages: 1
  • Downloads: 24