185 Open source projects that are alternatives of or similar to libvata

Visual Automata is a Python 3 library built as a wrapper for the Automata library to add more visualization features.

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

A customisable verification code view to capture OTPs

PHP based user registration system. Built using CodeIgniter and Bootstrap. Has token based verification, password reset functionality, login page, register page and more.

🕸️ Graphs, finite fields and discrete dynamical systems in Kotlin

Adds a customizable, translatable, configurable OTP verification step to Laravel Auth. You can add your own SMS provider too.

MQT QCEC - A tool for Quantum Circuit Equivalence Checking

Aho-Corasick string search algorithm PHP extension implementation.

Using Nim to interface with SystemVerilog test benches via DPI-C

Academic Python Library to manage DFA, NFA and AFW automata.

A tool for verifying links in text-based files

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

iOS Framework for reading and validation of identification documents

Scala 3 workshop presenting the top new features of the language.

Functional verification project for the CORE-V family of RISC-V cores.

A type-safe and space-efficient sum type for C# (comparable to discriminated unions in C or C++)

Anti-DDoS-Lite (Anti-Crawler app) is a small PHP app to protect your site against DDoS attack.

Suite of tools for retrieving USGS NWIS observations and evaluating National Water Model (NWM) data.

💻Speech and Natural Language Processing (SLP & NLP) Lab Assignments for ECE NTUA

A fast SAT solver

Conway's game of life

Cheatsheet for TypeScript.

Verification framework and tool for higher-order Scala programs

Software for verifying weather forecasts

Automatic verification of LLVM optimizations

Continuous Integration, Verification, Enhancement, and Testing

Scilla - A Smart Contract Intermediate Level Language

Active Directory strategy for passport.js

Docker container for creating valid local ssl certificates

Verify the Apple id token on the server side.

Proc-macro typestate DSL for Rust

Generative music using conway's game of life

Fact Extraction and VERification baseline published in NAACL2018

A scalable and accurate probabilistic network configuration analyzer verifying network properties in the face of random failures.

Reactive + Automaton + VTree in Swift, inspired by Elm.

Firebase Spring Boot Rest API Authentication

The Whiley Compiler (WyC)

A dual clock asynchronous FIFO written in verilog, tested with Icarus Verilog

Python implementation for Understanding Computation book.

Frame is a markdown language for creating state machines (automata) in 8 programming languages as well as generating UML documentation.

An Active Automata Learning Library Written in Python

🔑 Helper class to verify one's identity via personal channels(SMS, Phone, E-Mail and more!)

Unterlagen zur Vorlesung "Formale Systeme", Fakultät Informatik, TU Dresden

This repo contains the artifact for our SOSP'19 paper on Serval

Specify and synthesize systems using symbolic algorithms

simplest union pay（银联支付）

Rust re-implementation of OpenFST - library for constructing, combining, optimizing, and searching weighted finite-state transducers (FSTs). A Python binding is also available.

Hagelslag is an object-based severe storm hazard forecasting system.

The Flint Programming Language for Smart Contracts

The best possible way to verify and validate an email address.

Alive: Automatic LLVM's Instcombine Verifier

Read-only mirror of the Klever Git repository

Samples for the Google SafetyNet Attestation API

Customisable OTP view and Passcode view

No description or website provided.

Cross-platform, generic language, Pact provider verification tool

Compilation and Verification of Data-Centric Languages

Build trust into your image by creating a blockchain certificate for it

generative programming & verification

Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.