izgzhen/stackoverflow-tutorial-source izgzhen/stackoverflow-tutorial-source

  • This repository has been archived on 25/Feb/2019
  • Stars
    star
    1
  • Language
    C
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
izgzhen/stackoverflow-tutorial-source
github

izgzhen

Reviews

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

Repository Details

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

More Repositories

1

RuScript

Experimental Language based on Rust and Haskell
Haskell
52
star
2

java2smali

Command-line tool for compiling .java to .smali
Kotlin
48
star
3

nightly

Feather-light scheduler, monitor and storage for your research tasks
Python
11
star
4

iris-c-coq

Control-flow based language verification framework
Coq
7
star
5

ui-checker

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

markii

Android/Java Static Analysis Library
Java
5
star
7

droid-scripts

Executable scripts for helping with Android related work
Shell
5
star
8

z3-encoding

High-level assertion encoding to Z3 solver
Haskell
5
star
9

static-hs

Static analysis algorithms with Haskell
Haskell
4
star
10

iris-coq

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

bitscope-public

BitScope Pubilc Resources
4
star
12

hadrian-soh17-notes

Notes on my Summer of Haskell 2017 project
3
star
13

bbq-sg

Static Generator for your GitHub Pages Blog
Haskell
3
star
14

language-webidl-hs

Parser and Pretty-printer for WebIDL in Haskell
Haskell
3
star
15

copying_gc

Rust
3
star
16

Modeling-USTC-China-iGEM-2014

The Mathematical Models' Source of USTC iGEM 2014
Mathematica
2
star
17

language-webidl

CoffeeScript
2
star
18

ml-notebooks

Jupyter Notebook
2
star
19

benchmark-sort

Surprising facts about benchmarking standard sorting libraries
Jupyter Notebook
2
star
20

gsoc-file-support

Meta-tracker for my GSoC 2016 project
2
star
21

solver-aided-lang-smt2-benchmark

A benchmark about SMT2 emitted by running programs in high-level solver-aided language
Jupyter Notebook
1
star
22

liquid

DSL for Semantic-based Pattern Matching of Android/Java Binaries
Scala
1
star
23

aliyun-haskell-sdk

Aliyun SDK in Haskell
Haskell
1
star
24

sl-tut-iris

Interactive Separation Logic Tutorial with Coq and Iris
Coq
1
star
25

paxos-example

Example of Paxos protocol in Python
Python
1
star
26

JKernel

Implementation of JamesM's UNIX-Clone toy kernel
C
1
star
27

ui-reverse

Android UI Reverse Tool
Python
1
star
28

libnfd

High-level bindings to nativefiledialog (not-maintained)
Rust
1
star