izgzhen/hadrian-soh17-notes izgzhen/hadrian-soh17-notes

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
  • Created over 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
izgzhen/hadrian-soh17-notes
github

izgzhen

Reviews

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

Repository Details

Notes on my Summer of Haskell 2017 project

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

bbq-sg

Static Generator for your GitHub Pages Blog
Haskell
3
star
13

language-webidl-hs

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

copying_gc

Rust
3
star
15

Modeling-USTC-China-iGEM-2014

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

language-webidl

CoffeeScript
2
star
17

ml-notebooks

Jupyter Notebook
2
star
18

benchmark-sort

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

gsoc-file-support

Meta-tracker for my GSoC 2016 project
2
star
20

solver-aided-lang-smt2-benchmark

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

liquid

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

aliyun-haskell-sdk

Aliyun SDK in Haskell
Haskell
1
star
23

sl-tut-iris

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

paxos-example

Example of Paxos protocol in Python
Python
1
star
25

JKernel

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

ui-reverse

Android UI Reverse Tool
Python
1
star
27

libnfd

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

stackoverflow-tutorial-source

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