pirapira/rlp-ocaml pirapira/rlp-ocaml

  • Stars
    star
    4
  • Rank 3,216,596 (Top 65 %)
  • Language
    OCaml
  • License
    Apache License 2.0
  • Created over 6 years ago
  • Updated about 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pirapira/rlp-ocaml
github

pirapira

Reviews

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

Repository Details

RLP serialization for OCaml

More Repositories

1

awesome-ethereum-virtual-machine

Ethereum Virtual Machine Awesome List
826
star
2

bamboo

Bamboo see https://github.com/cornellblockchain/bamboo
OCaml
324
star
3

ethereum-formal-verification-overview

The start page about my efforts around smart contract verification
296
star
4

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs
Isabelle
233
star
5

coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.
OCaml
214
star
6

evmverif

An EVM code verification framework in Coq
Coq
44
star
7

dry-analyzer

Dr. Y's Ethereum Contract Analyzer
Coq
42
star
8

vmtrace_visualizer

A program that annotates a vm trace with dataflow information
Ruby
35
star
9

ethereum-word-list

Words are Hard: Defining Common Terms in the Ethereum / Crypto Space
22
star
10

gohantabeyo

Gohantabeyo is a web site where people can make a wish whom they want to eat out with. If the other makes a similar wish, their wishes are told to both.
Ruby
15
star
11

cbc_casper

Isabelle formalization of binary consensus
Isabelle
8
star
12

record

6
star
13

neta

neta notes
HTML
5
star
14

practice

JavaScript
3
star
15

kissdb-rust

kissdb ported to rust
Rust
3
star
16

sql2lisp

Verilog
3
star
17

verbose-code-reading

Verboselly Logged Code Reading
2
star
18

token_why3

A Why3 modelling of a token contract
Coq
2
star
19

surreal

surreal numbers in Coq
Verilog
2
star
20

proofmarket

2
star
21

kietter

kietter
Ruby
2
star
22

js-graph-it-with-containers

a fork of http://js-graph-it.sourceforge.net/
JavaScript
2
star
23

pieces_old

pieces: a fork from instiki.
Ruby
2
star
24

ethereum-formal-list

A list of formal method applications on smart contracts
1
star
25

undecidable

undecidability club's web page
1
star
26

async_lazy_rpc

Haskell
1
star
27

haskell-twitter

1
star
28

htodo

a todo manager
Haskell
1
star
29

CLTT

Verilog
1
star
30

lifepicker

A randomized activity picker for your 5 minites
Python
1
star
31

waitfree

A combinator library for asynchronous waitfree computation among forkIO threads.
Haskell
1
star
32

taocp_in_coq

taocp_in_coq
1
star
33

ConcurrentSet

Haskell
1
star
34

thesis

1
star
35

game

combinatorial game
Verilog
1
star
36

pirapira.github.io

HTML
1
star