pirapira/surreal pirapira/surreal

  • Stars
    star
    2
  • Language Verilog
  • Created almost 13 years ago
  • Updated almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pirapira/surreal
github

pirapira

Reviews

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

Repository Details

surreal numbers in Coq

More Repositories

1

awesome-ethereum-virtual-machine

Ethereum Virtual Machine Awesome List
839
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
298
star
4

eth-isabelle

A Lem formalization of EVM and some Isabelle/HOL proofs
Isabelle
236
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

rlp-ocaml

RLP serialization for OCaml
OCaml
4
star
15

practice

JavaScript
3
star
16

kissdb-rust

kissdb ported to rust
Rust
3
star
17

sql2lisp

Verilog
3
star
18

verbose-code-reading

Verboselly Logged Code Reading
2
star
19

token_why3

A Why3 modelling of a token contract
Coq
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

ethereum-formal-list

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

undecidable

undecidability club's web page
1
star
25

async_lazy_rpc

Haskell
1
star
26

taocp_in_coq

taocp_in_coq
1
star
27

htodo

a todo manager
Haskell
1
star
28

CLTT

Verilog
1
star
29

lifepicker

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

waitfree

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

haskell-twitter

1
star
32

thesis

1
star
33

game

combinatorial game
Verilog
1
star
34

ConcurrentSet

Haskell
1
star
35

pirapira.github.io

HTML
1
star
36

salary-nego

Salary negotiation app on the Nexus zkVM
Rust
1
star