izgzhen/CodeQL-Labs

Stars
0
Language

izgzhen/CodeQL-Labs

izgzhen

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

RuScript

Experimental Language based on Rust and Haskell

java2smali

Command-line tool for compiling .java to .smali

nightly

Feather-light scheduler, monitor and storage for your research tasks

iris-c-coq

Control-flow based language verification framework

ui-checker

End-to-end static analysis for extract GUI information and check them against Datalog-flavour spec

markii

Android/Java Static Analysis Library

droid-scripts

Executable scripts for helping with Android related work

z3-encoding

High-level assertion encoding to Z3 solver

static-hs

Static analysis algorithms with Haskell

iris-coq

a non-maintained mirror repo of https://gitlab.mpi-sws.org/FP/iris-coq/

bitscope-public

BitScope Pubilc Resources

hadrian-soh17-notes

Notes on my Summer of Haskell 2017 project

bbq-sg

Static Generator for your GitHub Pages Blog

language-webidl-hs

Parser and Pretty-printer for WebIDL in Haskell

copying_gc

Modeling-USTC-China-iGEM-2014

The Mathematical Models' Source of USTC iGEM 2014

language-webidl

ml-notebooks

Jupyter Notebook

benchmark-sort

Surprising facts about benchmarking standard sorting libraries

Jupyter Notebook

gsoc-file-support

Meta-tracker for my GSoC 2016 project

solver-aided-lang-smt2-benchmark

A benchmark about SMT2 emitted by running programs in high-level solver-aided language

Jupyter Notebook

liquid

DSL for Semantic-based Pattern Matching of Android/Java Binaries

aliyun-haskell-sdk

Aliyun SDK in Haskell

sl-tut-iris

Interactive Separation Logic Tutorial with Coq and Iris

paxos-example

Example of Paxos protocol in Python

JKernel

Implementation of JamesM's UNIX-Clone toy kernel

ui-reverse

Android UI Reverse Tool

libnfd

High-level bindings to nativefiledialog (not-maintained)

stackoverflow-tutorial-source

The source code, text and other stuff related to my tutorial on stack overflow