doctormeee

Marabou

Software-Security-Analysis

Software Security Analysis Course

SVF-Kane

Static Value-Flow Analysis Framework for Source Code

RetrievalTutorials

droidbot

A lightweight test input generator for Android. Similar to Monkey, but with more intelligence and cool features!

SVF-Teaching

Learning and Teaching Software Analysis and Verification via SVF

SVF

Static Value-Flow Analysis Framework for Source Code

SVF-Python

Using SVF in Python Projects

simplify

Android virtual machine and deobfuscator

deobfuscator

The real deal

StringHound

chatgpt-android

📲 ChatGPT Android demonstrates a Chatbot application using OpenAI's chat API on Android with Stream Chat SDK for Compose.

gpt4free

The official gpt4free repository | various collection of powerful language models

thesis

ResNet-PyTorch

Basic implementation of ResNet 50, 101, 152 in PyTorch

topological_navigation

UNSW-VIP-ATHOME-CVME

This is a student project on integrating the computer vision function and moral decision into the robot.

pddl-ethical

Python parsing and translation scripts from PDDL with ethical rules as defined in my PhD thesis to PDDL with action costs.

pp4fpgas-cn

中文版 Parallel Programming for FPGAs

pp4fpgas

Parallel Programming for FPGAs -- An open-source high-level synthesis book

ENet-Real-Time-Semantic-Segmentation

ENet - A Neural Net Architecture for real time Semantic Segmentation

Vitis-AI-Tutorials

playing-with-p5

voice-control-game

tutorials

PyTorch tutorials.

agents

TF-Agents: A reliable, scalable and easy to use TensorFlow library for Contextual Bandits and Reinforcement Learning.

CartPole-Reinforcement-Learning

Reinforcement learning Q-learning approach to OpenAI Gym's CartPole environment