1165 Open source projects that are alternatives of or similar to Gini

A fast SAT solver

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

the champagne of beta embedded databases

A List of Free and Open Source Hardware Verification Tools and Frameworks

Real-Time Object Pose Estimation with Pose Interpreter Networks (IROS 2018)

Implementation of LambdaNetworks, a new approach to image recognition that reaches SOTA with less compute

❤️ Simple UI for pincode verification

Snidel makes it easier for all PHP developers to work with parallel processing w/o any extensions.

Research on Texas Hold'em AI

A container repository for my public web hacks!

Best Practices on Recommendation Systems

Reinforcement Learning Cheat Sheet

A collection of various awesome lists for hackers, pentesters and security researchers

3D Liver Segmentation with GAN

[ECCV2020 Oral] Learning Lane Graph Representations for Motion Forecasting

Hyperparameter Optimization for TensorFlow, Keras and PyTorch

All my experiments with AI and ML

🔎 Investigating your ruby code dependencies

Bugs are inevitable. Suffering is optional.

Visual Attribute Transfer through Deep Image Analogy in PyTorch!

Hardware for SUSI AI https://susi.ai

Provide a basic framework to build an Utility IA in Unity using the xNode editor of Siccity

HACL*, a formally verified cryptographic library written in F*

IPython Notebook for training a word-level Convolutional Neural Network model for sentiment classification task on Yelp-Challenge-2016 review dataset.

[ICML 2019] TensorFlow Code for Self-Supervised Exploration via Disagreement

Rocket powered machine learning. Create, compare, adapt, improve - artificial intelligence at the speed of thought.

A variant of the Self Attention GAN named: FAGAN (Full Attention GAN)

The Language for Smart Legal Contracts

Reduce the disk usage of your projects by removing dependencies & builds

This is the full file system fuzzing framework that I presented at the Hack in the Box 2020 Lockdown Edition conference in April.

A hackable bar/panel for X written in Go.

Roadmap to becoming an Artificial Intelligence Expert in 2021

带下划线的验证码输入框

BlazingSQL is a lightweight, GPU accelerated, SQL engine for Python. Built on RAPIDS cuDF.

Implementation of the convolutional module from the Conformer paper, for use in Transformers

🦄 The Enterprise™ programming language

The Automagic Project Planner

ECMAScript verification with SMT solvers

😎 Curated list about cryptocurrency security (reverse / exploit / fuzz..)

A Not So Very Intelligent Fuzzer: An advanced fuzzing framework designed to find vulnerabilities in C/C++ code.

Reference mobile app for BrightID

The light deep learning framework for study and for fun. Join us!

Top 200 deep learning Github repositories sorted by the number of stars.

Import Linter allows you to define and enforce rules for the internal and external imports within your Python project.

研究资源列表 A curated list of research resources

A dependency vendor for Go programs

pip install antialiased-cnns to improve stability and accuracy

A Pytorch implementation of Stylegan2 with UNet Discriminator

Char-level RNN LSTM text generator📄.

A (concise) curated list of awesome Causal Inference resources.

NLP DNN Toolkit - Building Your NLP DNN Models Like Playing Lego

List of AI Residency Programs

XLNet Extension in TensorFlow

螺旋论（theory of helix）—— “熵减机理论（可用来构建AGI、复杂性系统等）”

Reformer, the efficient Transformer, in Pytorch

Code for the paper: Benhenda, M. 2017. ChemGAN challenge for drug discovery: can AI reproduce natural chemical diversity? arXiv preprint arXiv:1708.08227.

Human Activity Recognition (HAR) with 1D Convolutional Neural Network in Python and Keras

A convolutional neural network from scratch

wooyun public information backup

Bootcamp to learn basics in Machine Learning