|
|
Vyper |
2 |
Vyper |
Apr 21, 2023 |
|
|
Jupyter Notebook |
2 |
Vyper Tutorial |
Feb 12, 2023 |
|
|
Vyper |
15 |
Cryptozombies for Vyper: Learn Vyper by building games! |
Mar 25, 2023 |
|
|
Emacs Lisp |
7 |
An Emacs mode for Vyper https://github.com/ethereum/vyper |
Sep 16, 2022 |
|
|
Python |
12 |
Vyper Misc Code |
May 10, 2022 |
|
|
Vyper |
12 |
reference vyper contracts |
Aug 01, 2022 |
|
|
Python |
166 |
experimental vyper interpreter |
Apr 20, 2023 |
|
|
Python |
17 |
Vyper version manager |
Feb 12, 2023 |
|
|
None |
3 |
Remix Vyper Plugin |
Dec 09, 2021 |
|
|
TypeScript |
16 |
Remix Vyper Plugin |
Mar 09, 2023 |
|
|
Python |
38 |
ERC721 in Vyper |
Feb 12, 2023 |
|
|
JavaScript |
17 |
Remix Vyper Plugin |
Mar 30, 2023 |
|
|
Python |
2 |
Formatter for Vyper |
Jul 01, 2023 |
|
|
Python |
20 |
Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper) |
Aug 01, 2022 |
|
|
Python |
2 |
Easy to use Vyper debugger | vdb (https://github.com/ethereum/vyper) |
Feb 12, 2023 |
|
|
Vyper |
9 |
Multisig using Vyper, WIP |
Jan 10, 2023 |
|
|
Python |
28 |
Learn Vyper by examples |
Aug 17, 2022 |
|
|
Rust |
11 |
The zkEVM Vyper compiler. |
Mar 26, 2023 |
|
|
Vyper |
26 |
Collection of Vyper contracts |
Mar 19, 2023 |
|
|
JavaScript |
11 |
the tiny vyper helper command |
Jun 29, 2022 |
|
|
JavaScript |
14 |
Simple example box for Vyper |
Apr 03, 2022 |
|
|
Python |
5 |
Quick asyncio vyper compiler server |
Oct 19, 2022 |
|
|
Python |
10 |
Plasma Cash, written in Vyper |
Feb 12, 2023 |
|
|
Python |
4 |
builds of the vyper compiler |
May 22, 2023 |
|
|
C |
4 |
Modified framework-arduinoststm32 for vyper |
Jun 05, 2023 |
|
|
Python |
4 |
NFT Markertplace written in Vyper |
Mar 20, 2023 |
|
|
HTML |
76 |
Network Semantics |
Feb 27, 2023 |
|
|
JavaScript |
19 |
JavaScript semantics |
Jun 17, 2019 |
|
|
Haskell |
2 |
Semantics Exploration |
Feb 12, 2024 |
|
|
PowerShell |
7 |
Vyper touchscreen software extended with more functionality and pages than the stock Vyper touchscreen software. |
Jun 05, 2022 |
|
|
Rust |
4 |
Vyper-Compiler Version Manager in Rust |
Jul 27, 2022 |
|
|
JavaScript |
2 |
Vyp4r - ANTLR4 Parser for Vyper Language |
Feb 01, 2021 |
|
|
Python |
17 |
Vyper Based Capture The Flag Challenges |
Aug 09, 2022 |
|
|
TypeScript |
21 |
Vyper support for VS Code (alpha) |
May 23, 2022 |
|
|
C++ |
83 |
Firmware of Anycubic 3D printer Vyper |
Nov 30, 2022 |
|
|
None |
2 |
Smart contracts for Curve.fi in Vyper |
May 02, 2023 |
|
|
Python |
23 |
Simple "commit-reveal" multisig in vyper |
Feb 12, 2023 |
|
|
Python |
16 |
A Solidity and Vyper reference guide |
Apr 01, 2023 |
|
|
None |
4 |
Smart contracts for Curve.fi in Vyper |
Jan 21, 2022 |
|
|
Solidity |
4 |
Testing Vyper with Foundry in a GitHub Workflow. Results: https://github.com/HilliamT/foundry-vyper-workflow/actions |
Mar 12, 2023 |
|
|
Java |
4 |
Drools Semantics Module |
Sep 16, 2017 |
|
|
Coq |
9 |
linear logic semantics |
Jun 30, 2022 |
|
|
Scala |
12 |
Daf Semantics repository |
Jun 24, 2022 |
|
|
Coq |
16 |
Semantics for Cryptol |
Mar 30, 2022 |
|
|
Python |
8 |
Learning mutational semantics |
Jul 14, 2022 |
|
|
Shell |
9 |
Verifying x86 semantics |
Aug 25, 2021 |
|
|
OCaml |
17 |
Cerberus C semantics |
Apr 15, 2023 |
|
|
Java |
2 |
eiffel-remrem-semantics |
Dec 07, 2021 |
|
|
OCaml |
77 |
Semantics for ES5 |
Apr 22, 2023 |
|
|
Python |
3 |
PL Semantics Tool |
Sep 16, 2016 |