jarvx Goto Github PK

an-askreddit-list-of-compsci-books

books and resources loved by r/learnprogramming community, compiled by me, a lurker who kept track

api-mining

Probabilistic API Mining

awesome-symbolic-execution

A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

beniget

Extract semantic information about static Python code

byterun

A Python implementation of a Python bytecode runner

castor

Deep learning for information retrieval with PyTorch

cerberus

Program repair platform that provides interface to multiple state-of-the-art program repair tools

crawling-for-nomore404

cs_offer

计算机学科基础知识和主流编程语言相关内容的总结

db-scripts

SQL and Bash scripts to import the offical Stack Overflow data dump and the SOTorrent data set, to retrieve Stack Overflow references from the BigQuery GitHub data set, and to retrieve data from the SOTorrent dataset for analysis.

gitignore

A collection of useful .gitignore templates

hacker-scripts

Based on a true story

joern-lib

Python library for code analysis with CPG and Joern

keras

Deep Learning library for Python. Runs on TensorFlow, Theano, or CNTK.

lexicalparser

malware-ioc

Indicators of Compromises (IOC) of our various investigations

mlpack

mlpack: a scalable C++ machine learning library --

project

Use this template when creating a new project.

pysym

Python Symbolic Execution

python-afl

American Fuzzy Lop fork server and instrumentation for pure-Python code

python-simple-vm

A simple virtual machine w/constant folding implemented in Python

pytorch-cpp

Pytorch C++ Library

simisimon

snifferdog

Restoring Execution Environments of Jupyter Notebooks

soft404

Soft 404 (dead page) detector in Python

soot

Soot - A Java optimization framework

static-analysis

⚙️ A curated list of static analysis (SAST) tools for all programming languages, config files, build tools, and more.

tensorflow-transx

An implementation of TransE and its extended models for Knowledge Representation Learning on TensorFlow

text-classification-pytorch

LSTM text classification in pytorch

type4py

Type4Py: Deep Similarity Learning-Based Type Inference for Python