izgzhen/iris-c-coq izgzhen/iris-c-coq

  • This repository has been archived on 15/Mar/2020
  • Stars
    star
    7
  • Rank 2,294,772 (Top 46 %)
  • Language Coq
  • Created over 7 years ago
  • Updated about 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
izgzhen/iris-c-coq
github

izgzhen

Reviews

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

Repository Details

Control-flow based language verification framework

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

ui-checker

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

markii

Android/Java Static Analysis Library
Java
5
star
6

droid-scripts

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

z3-encoding

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

static-hs

Static analysis algorithms with Haskell
Haskell
4
star
9

iris-coq

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

bitscope-public

BitScope Pubilc Resources
4
star
11

hadrian-soh17-notes

Notes on my Summer of Haskell 2017 project
3
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