595 Open source projects that are alternatives of or similar to gini

A fast SAT solver

the champagne of beta embedded databases

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

This repository contains the tools we used in our research on the Google Titan M chip

Access to all MiniZinc functionality directly from Python

Customisable OTP view and Passcode view

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

Sound and Cost-effective Fuzzing of Stripped Binaries by Incremental and Stochastic Rewriting

RTSPhuzz - An RTSP Fuzzer written using the Boofuzz framework

✨ Don't forget to say thank you!

A simple and complete implementation of super-resolution paper.

Dependency injection container for typescript / javascript

A Python3 module to assist in fuzzing web applications

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

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

docker executables - run applications without installing them or their dependencies

Docker container for creating valid local ssl certificates

Bring syntax highlighting to your conan file in VSCode 💡

expansion of afl-unicorn using c++

Project wide handling of tested and used libraries. Also including some utility gradle tasks.

Fact Extraction and VERification baseline published in NAACL2018

X41 Smartcard Fuzzer

🚀Java并发编程实战

THIS IS A MIRROR, CHECK https://codeberg.org/Horse64/core.horse64.org

A tool for verifying links in text-based files

Read-only mirror of the Klever Git repository

Logic network simulator that runs in your browser

run AFL with dynamorio

Hunch provides functions like: All, First, Retry, Waterfall etc., that makes asynchronous flow control more intuitive.

A reactive configuration manager designed to support Infrastructure as a Code provisioning, and bi-directional configuration management providing a single source of truth across multi-cloud environments.

This is an IntelliJ IDEA plugin for searching dependencies/plugins from JCentral/GradlePlugins inside Gradle projects.

My Material for the HITB presentation

Packaged HTML dependencies for Shiny, R Markdown, flexdashboard, htmlwidgets, and leaflet

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

Yet Another Concurrency Library

generative programming & verification

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

FirmWire is a full-system baseband firmware emulation platform for fuzzing, debugging, and root-cause analysis of smartphone baseband firmwares

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

A grid for modelling, analyse, map and visualise multidimensional and multivariate data

A simple SAT solver that implements the DPLL algorithm with unit resolution

Java并发编程与高并发解决方案：http://coding.imooc.com/class/195.html Java开发企业级权限管理系统：http://coding.imooc.com/class/149.html

a tiny function that "parallelizes" work in NodeJS

pip install funboost，python全功能分布式函数调度框架,。支持python所有类型的并发模式和全球一切知名消息队列中间件，python函数加速器，框架包罗万象，一统编程思维，兼容50% python编程业务场景，适用范围广。只需要一行代码即可分布式执行python一切函数。旧名字是function_scheduling_distributed_framework

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

🎯 A collection of fuzzing targets written in Rust.

Extract endpoints marked as disallow in robots files to generate wordlists.

Teaching-focused digital circuit simulator. Allows anyone to graphically connect objects within a awesome web-browser application without knowing coding or hacking.

Experimental minisat SAT solver reimplementation in Rust

Simple realization of papers in oppo Research Institute super score competition.

Crowdsourced fuzzing cluster. 🚀

BSOD: Binary-only Scalable fuzzing Of device Drivers

Mutation Based Fuzzer for IEC61850 Server IED'S

Continuous Integration, Verification, Enhancement, and Testing

Sets the screen resolution on Windows virtual machines (VMs)

No description or website provided.

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

Firebase Spring Boot Rest API Authentication

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

A support library for Ronin. Like activesupport, but for hacking!