Runtime assertion checking based on Gospel specifications
-
Updated
Jul 4, 2022 - OCaml
#
verfication
Here are 16 public repositories matching this topic...
IEEE 754 standard floating point unit fpu single precision verilog vhdl riscv
fpga
vhdl
systemverilog
floating-point
fma
systemc
ghdl
division
multiplier
nan
verilator
fpu
sqrt
verfication
riscv-fpu
single-precision
-
Updated
Jul 2, 2022 - VHDL
An email parser to get 6 digit verification code.
-
Updated
Sep 1, 2022 - JavaScript
Simple jwt authentication with rails
-
Updated
Oct 13, 2021 - Ruby
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Temporal Logic (TL)
-
Updated
May 22, 2020 - C++
SSMLVerifier will verify that a given input is valid SSML
-
Updated
Mar 7, 2020 - C#
This is a simple code by [ Swift UI ] for How to make verification code screen with write one value only in field & move to next field smoothly
-
Updated
May 3, 2022 - Swift
An experimental toolkit of metamath based on mmj2
-
Updated
Feb 21, 2022 - Clojure
An open source, turn-based strategy game with a high fantasy theme. It features both singleplayer and online/hotseat multiplayer combat.
ios
games
mobile
tools
online
install
hack
code
apps
appstore
football
pes
tweak
revoke
fifa
no
verfication
noredirect
nohuman
downloadlink
-
Updated
May 16, 2019 - C++
Quest Simulation & Verification Tool for SDL/QSDL (PhD Thesis) - Init (Main Makefile + Shell Init Script)
-
Updated
May 18, 2020 - Makefile
Multi-rotor model identification and verification
-
Updated
Feb 17, 2018 - Jupyter Notebook
Sample User authentication, verification, reset the password using SendGrid, jsonWebToken
-
Updated
Dec 5, 2021 - JavaScript
Improve this page
Add a description, image, and links to the verfication topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the verfication topic, visit your repo's landing page and select "manage topics."