235 Open source projects that are alternatives of or similar to ILAng

Temporal Logic Planning toolbox

RVT is a collection of tools/libraries to support both static and dynamic verification of Rust programs.

System on Chip toolkit for Amaranth HDL

Verified, concurrent, crash-safe transaction system

一个数字变化效果的计数器视图控件

Provides email verification on the go.

Minifies css variable names

Android view for providing blocks (Edit Texts) to achieve verification process.

An advanced automatic speedrun load time remover for community verifiers.

Open Source HTTP Reverse Proxy Cache and Time Series Dashboard Accelerator

Main repository of the Vigor NF verification project.

An NPM package to generate captcha images that can be used in Discord bots or various other projects

VHDL-2008 Support Library

Julia Operators LIbrary

QNICE-FPGA is a 16-bit computer system for recreational programming built as a fully-fledged System-on-a-Chip in portable VHDL.

TULINGX(图灵)VPN下载页 翻墙 代理 科学上网 外网 加速器 梯子 路由

Fully customizable UI Component for verification codes written in swift with RxSwift support!

[Deprecated] Typescript-version of the IN3 client.

Kani Rust Verifier

A formally verified high-level synthesis tool based on CompCert and written in Coq.

The Eldarica model checker

验证码 && 密码 校验View（类似于支付宝、网商银行等密码校验框）

Fingerprint is a simple tool that can be used to verify the contents of a directory.

This is an open-source toolkit for Heterogeneous Graph Neural Network(OpenHGNN) based on DGL.

Cross-platform, generic language, Pact provider verification tool

Compilation and Verification of Data-Centric Languages

Development of the CafeOBJ interpreter

A simple utility for executing multiple sequential or multi-threaded applications in a single multi-node batch job

Verify code input. You can create a verify code input.

OpenLane is an automated RTL to GDSII flow based on several components including OpenROAD, Yosys, Magic, Netgen, Fault and custom methodology scripts for design exploration and optimization.

Home of the Move programming language

heterogenous Map over a GADT

Simple integration between FastAPI and cloud authentication services (AWS Cognito, Auth0, Firebase Authentication).

An Extended Version of the T0x multithreaded cores, with a custom general purpose parametrized SIMD/MIMD vector coprocessor and support for 3-5 way superscalar execution. The core is pin-to-pin compatible with the RISCY cores from PULP

"Very simple but works well" Computer Vision based ID verification solution provided by LibraX.

Self hosted identity verification layer with GraphQL.

The PHP SDK for interacting with the Yoti Platform

Berkeley's Spatial Array Generator

Fully verified model checker for realtime systems

contrib/amcheck from Postgres v11 backported to earlier Postgres versions

NestJs Abstraction Helper

Steam integration for TeamSpeak 3

SyReNN: Symbolic Representations for Neural Networks

A reading list for deep graph learning acceleration.

Virtual IFileSystem interfaces, and implementations.

The Java SDK for interacting with the Yoti Platform

Code-based Incremental Generator

EVEREST: e-Versatile Research Stick for peoples

WAL enables programmable waveform analysis.

Higher level abstraction for franz-go.

VATA Tree Automata Library

PCIe (1.0a to 2.0) Virtual host model for verilog

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

简单的滑动验证码JS插件 图片验证码

Development platform for the Espressif ESP32 WiFi/Microcontroller SoC

Neural Network Verification Software Tool

Simple and integrated way to customize navigation bar experience on iOS app.

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

A Framework for Deep Neural Network Verification

Ruby interface to IEEE 1364-2005 Verilog VPI