Search Results for "verification code"
Sort By:
Showing 15 open source projects for "verification code"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
Try Google Cloud Risk-Free With $300 in CreditUse your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
-
1
JeeSite
A basic enterprise information development platform
JeeSite is a high-efficiency, high-performance, and strong security open source Java EE rapid development platform based on a number of excellent open source projects, highly integrated and packaged. JeeSite is the best basic platform solution for you to quickly complete your project. JeeSite is the best study case for you to learn the Java platform. JeeSite is also the best assistant for private work. JeeSite is a Java-based development platform built on the Spring Framework, with Spring... -
2
SimFPGA
VHDL Verification and Simulation Tool
...Additionally, it allows visualization of waveforms through GTKWave. SimFPGA elaborates the project files using GHDL and builds the VHDL project before simulating it. This ensures code verification without the need for additional compilation tools. If an error is detected in any of the project files during elaboration or simulation, a message is displayed in the console indicating the type and location of the error, allowing the user to quickly resolve it. -
3
Advanced Trigonometry Calculator
Precision Trigonometry: Advanced Calculator for Complex Math
Advanced Trigonometry Calculator is equipped with a user-friendly interface that allows for easy input of problems and instant computation. Professionals such as engineers who need to perform advanced trigonometric calculations in their work will find this tool extremely useful. ATC Online Alpha: https://advantrigoncalc.sourceforge.io/atc/ More info by clicking below: https://advantrigoncalc.sourceforge.io/ Advanced Trigonometry Calculator was only and always only developed by... -
4
GoogleTranslate
GoogleTranslate
...In the new version, no matter which translation engine you use, it will first call the detection language interface of domestic Google Translate. In this case, the traffic of your proxy node is abnormal, which causes the request to be intercepted by Google, and you need to enter the verification code (you can also use + + to open the debugging optiontool commandto Icheck whether the request result is correct), so if this problem occurs, please replace your Proxy node or directly use domestic Google engine without proxy. Enter in the terminal sudo spctl –master-disableand press Enter to confirm. The password is the system power-on password. -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
dvkit
Eclipse-based IDE for design verification tasks
DVKit provides an Eclipse-based integrated development environment (IDE) for common design-verification tasks, such as developing SystemVerilog, C++, TCL, Python, and shell code -
6
PyUltimateRobot
Controls any Robot in Python
Developed on Python to leverage state-of-the-art extensibility and easily integrated plugins Able to use low cost robots with the accuracy and dexterity of much more expensive robots, achieved in part by: a) Ability to drive movement by inexpensive DC gear head motors, including the inherent ability to specify movement by applied force rather than strict space/time control that steppers impose. b) Arms and linkages don't have to have super tight tolerances, because accuracy is... -
7
G4LTL-ST
Generating PLC programs from formal specifications
G4LTL-ST is a standalone tool and a Java library for automatically generating industrial control software (supporting IEC-61131-3 Structure Text) from LTL or extended logic specifications. See Tutorial.txt inside the package for step-by-step instructions. For technical demails, see CAV'14 paper "G4LTL-ST: Automatic Generation of PLC Programs". The old version (G4LTL; under BSD license) is available under file\arxiv. -
8
FSMDesigner is a C++ based implementation for a Finite State Machine (FSM) design tool with integrated Hardware Description Language (HDL) generation. FSMDesigner4 uses the Simple-Moore FSM model guaranteeing efficient fast complex control circuits.
-
9
Fingerprint Recognition System
Fingerprint Recognition System 5.3 - Matlab source code
The proposed filter-based algorithm uses a bank of Gabor filters to capture both local and global details in a fingerprint as a compact fixed length FingerCode. The fingerprint matching is based on the Euclidean distance between the two corresponding FingerCodes and hence is extremely fast. We are able to achieve a verification accuracy which is only marginally inferior to the best results of minutiae-based algorithms published in the open literature. Our system performs better than a... -
Auth0 B2B Essentials: SSO, MFA, and RBAC Built InAuth0's B2B Essentials plan gives you everything you need to ship secure multi-tenant apps. Unlimited orgs, enterprise SSO, RBAC, audit log streaming, and higher auth and API limits included. Add on M2M tokens, enterprise MFA, or additional SSO connections as you scale.
-
10
GenoCAD is a CAD software for synthetic biology. This application provides a web-based tool to design plasmids, artificial gene networks, and other synthetic genetic systems composed of standard genetic parts. It includes a parts management system, a rule-based design tool, and a simulation engine. This project has morphed into a SaaS model. The open source code is no longer maintained.
-
11
This is a collection of tools and a code library to assist engineers who are developing SystemVerilog based verification environments. Components include utility libraries, scoreboard and shutdown manager implementation, register tool, etc.
-
12
A collection of GPS and Paragliding related competition code. TP - VB GPS based Task Verification Program. TrackMe - Symbian C++ Nokia GPS cellphone code sends regular location data via SMS. PRS - JAVA J2ME Midlets to be used for the Pilot Recovery S
-
13
CheckFence is a SAT-based formal verification tool that analyzes C code implementing concurrent data types on multiprocessors (concurrent queues, sets etc.) with respect to a selected memory model.
-
14
ANVIL - (A)(N)other (V)erilog (I)nteraction (L)evel. C++ and VPI/C code to easily instrument RTL/Verilog (dut) and C++ testbench (tb) for more powerful and efficient verification (i.e., C++/tb drives simulator).
-
15
UVE
Unified Verification Environment
The aim of the UVE project is to create software that automatically generates a verification testbench (TB) written in SystemVerilog (SV) and integrating the UVM methodology. UVE makes the rapid development of a verification environment a simple process. The generated TB is directly able to perform random actions on the DUV (design under verification). For this UVE provides a graphical user interface, a code generator, compilation scripts and a library of verification IPs (VIP). ...
- Previous
- You're on page 1
- Next
