pirapira/salary-nego pirapira/salary-nego

  • Stars
    star
    1
  • Language
    Rust
  • License
    MIT License
  • Created 7 months ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pirapira/salary-nego
github

pirapira

Reviews

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

Repository Details

Salary negotiation app on the Nexus zkVM

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

surreal

surreal numbers in Coq
Verilog
2
star
21

proofmarket

2
star
22

kietter

kietter
Ruby
2
star
23

js-graph-it-with-containers

a fork of http://js-graph-it.sourceforge.net/
JavaScript
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

taocp_in_coq

taocp_in_coq
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

haskell-twitter

1
star
33

thesis

1
star
34

game

combinatorial game
Verilog
1
star
35

ConcurrentSet

Haskell
1
star
36

pirapira.github.io

HTML
1
star