209 Open source projects that are alternatives of or similar to Rn Countdown

【杀不死的倒计时】一个简单易用的倒计时View，常用于快速创建点击获取验证码按钮，支持各种自定义样式。(特点：重新进入当前页面或重启程序倒计时不会重置，仍将继续执行，且退出程序后的时间也会被自动计算在内)

Definition of the Viper intermediate verification language.

Simple Theorem Prover, an efficient SMT solver for bitvectors

SeaHorn Verification Framework

Widget for yii2, to start count down timer with a lot of options, This widget build dependence of timeDownCounter JS library

⚔ Go package for data validation and filtering. support Map, Struct, Form data. Go通用的数据验证与过滤库，使用简单，内置大部分常用验证、过滤器，支持自定义验证器、自定义消息、字段翻译。

Move.it is a project that combines the pomodoro (🍅 ) technique with some challenges (⚔️ ) for the well-being (🥰 ) of those who spend many hours (⏳ ) using the computer 🖥

🔒Unified API for password hashing algorithms

Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at binary-level.

SMACK Software Verifier and Verification Toolchain

Concuerror is a stateless model checking tool for Erlang programs.

Kani Rust Verifier

mocking library for Kotlin

Package verifier provides simple defensive programing primitives.

Cosette is an automated SQL solver.

The VerCors verification toolset for verifying parallel and concurrent software

pySMT: A library for SMT formulae manipulation and solving

This package provides convenient methods to integrate the NeverBounce API into your project.

Easy to use Timer/Stopwatch/Countdown library compatible with AMD, ES6 and Typescript

React Native wrapper for Android's SMS User Consent API, ready to use in React Native apps with minimum effort.

在cell中使用倒计时的处理方法, 全局使用一个NSTimer对象, 支持单列表.多列表.多页面.分页列表使用

Static checker for Java

VUnit is a unit testing framework for VHDL/SystemVerilog

Steam integration for TeamSpeak 3

A boilerplate for Node.js apps / GraphQL-API / Authentication from scratch - express, graphql - (graphql compose), mongodb (mongoose).

RISC-V CPU Core (RV32IM)

A Framework for Deep Neural Network Verification

Countdown component for Vue.js.

Links to tools by subject

Open Source License Key Generation and Verification Tool written in Go

Android Countdown View

Fast and efficient ed25519 signing and verification in Rust.

ClassClock is a free, easy-to-use web app for K-12 schools that provides an at-a-glance view of the school schedule

Simple countdown UILabel with morphing animation, and some useful function.

Plugin named Timetracker is a time counter that works in both increase and decrease directions.

Bug-free machine learning on stochastic computation graphs

Awesome ASIC design verification

An advanced SAT solver

File systems verification utility and library, in likeness of mtree(8)

By completing image puzzle game, TTGPuzzleVerify is a more user-friendly verification tool on iOS, which is highly customizable and easy to use. 体验更友好的拼图验证控件

Golang parameter validation, which can replace go-playground/validator, includes ncluding Cross Field, Map, Slice and Array diving, provides readable,flexible, configurable validation.

Countdown timer and stopwatch in your terminal

Static verification tool for DNS zone files

"SAT/SMT by example" free ebook

Safety Verification of Deep Neural Networks

⏳ The online version of the classic flip clock

TLA+ language support for Visual Studio Code

Adds animated counting support to UILabel.

A Modeling and Verification Platform for SoCs using ILAs

Enables your consumer driven contracts workflow

This is a simple count down timer react component.

A static verifier for Rust, based on the Viper verification infrastructure.

Information to reproduce results from SV-COMP (MOVED, please follow the link)

JKCountDownButton,子类化UIButton实现IOS倒计时按钮,常常用于注册等发送验证码的时候进行倒计时操作

KreMLin is a tool for extracting low-level F* programs to readable C code

Android library for phone number verification feature in your app. Automatically copies verification code from SMS right into the app. Made by Stfalcon

cocotb, a coroutine based cosimulation library for writing VHDL and Verilog testbenches in Python

⏱ Easy count down by TextureView

A customizable countdown component for React.

jQuery Timer: Start/Stop/Resume/Remove pretty timer inside any HTML element.