channgo2203/fevm channgo2203/fevm

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language Coq
  • Created over 8 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
channgo2203/fevm
github

channgo2203

Reviews

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

Repository Details

Formalization of EVM in Coq

More Repositories

1

TinyROS

The essential kernel of Real-time Operating System
3
star
2

while-static-analyzer

An implementation of a simple static analyzer for While-like language
OCaml
2
star
3

PSCV

Monitor and aspect file generator which are used to automatically instrument SystemC code. The instrumented code can be used with Statistical Model Checking Tool Plasma Lab
C++
2
star
4

SigCV

PDS Simulation Relation Checking with SIGALI: implementation of the theory works in IFM 2012 article as the libraries in SIGALI toolset
Standard ML
1
star
5

Vision

Sidewalk Detection Algorithm based on Line Detection
Java
1
star
6

gpucaml

A tiny functional programming language for fun and play
OCaml
1
star
7

Enigma-Ocaml

1
star
8

PhotoEncryptor

Photo Encryptor for iOS including iPhone and iPad
1
star
9

arduino-uno-freertos

FreeRTOS for Arduino Uno with CMake
C
1
star
10

cav_artifact

My CAV 2016 Artifact Evaluation
TeX
1
star
11

Lz77-OCaml

The implementation of compression algorithm Lz77 in functional language OCaml
OCaml
1
star
12

puzzleset

The set of programming questions relating to data structures and algorithms
OCaml
1
star
13

sigcert

Formal Verification of Synchronous Data-flow Compilers Signal based on Translation Validation Approach.
OCaml
1
star
14

ELPI_Caml

Elements of Programming Interviews in OCaml
OCaml
1
star
15

CRFFL

CRFFL (Constant-Resource First-Order Functional Language) is a tool that automatically and statically checks that a program is constant resource-usage with respect to the sizes of its inputs. It also automatically transforms a non-constant-resource program into constant-resource one.
1
star
16

PdgC

Program Dependence Graph of C Programs
OCaml
1
star
17

clkcert

Clock validation for synchronous data-flow languages as type checking. This tool is implemented for Signal language.
1
star
18

ocaml-data-structures

Implementation of popular purely functional data structures in OCaml
HTML
1
star