assaaassin Goto Github PK

assaaassin

assaaassin.github.io

c_parser

An Antlr parser for C with limited grammar

cpp_solutions

Solution for Muteeb's CPP tutorials

cs188

UC Berkeley 2018 Fall CS188 : Introduction to Artificial Intelligence

dotfiles

fullstackjs

E-commerce store (Mongo, Express, Angular, Node)

haskell

Advanced Programming assignments

hpc

High Performance Computing Programming Assignments

hpc_project

impact.github.io

iotcheck

This is the repository for IoTCheck, a framework that model-checks smart home apps.

jpf-core

JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.

jpf-symbc

Symbolic PathFinder

llvm3.7-with-cbe

mull

LLVM-based mutation testing for C and C++

nowraiz

Config files for my GitHub profile.

pa_assignment_2

pa_assignment_3

practical-cryptography-for-developers-book

Practical Cryptography for Developers: Hashes, MAC, Key Derivation, DHKE, Symmetric and Asymmetric Ciphers, Public Key Cryptosystems, RSA, Elliptic Curves, ECC, secp256k1, ECDH, ECIES, Digital Signatures, ECDSA, EdDSA

smartthingspublic

SmartThings open-source DeviceTypeHandlers and SmartApps code

test

twitchbot

first twitch bot test code

txst-thesistemplate-latex

2020 updates to Texas State Thesis template, per graduate college instructions

web_scraper

A scraper to collect specific data from Imdb.