|
|
Python |
53 |
FVyper: A collection of useful Vyper contracts developed with formal methods |
Mar 28, 2023 |
|
|
Vyper |
26 |
Collection of Vyper contracts |
Mar 19, 2023 |
|
|
None |
2 |
Formal Methods for Blockchain & Smart Contracts |
Nov 29, 2023 |
|
|
Vyper |
12 |
reference vyper contracts |
Aug 01, 2022 |
|
|
None |
2 |
Smart contracts for Curve.fi in Vyper |
May 02, 2023 |
|
|
None |
4 |
Smart contracts for Curve.fi in Vyper |
Jan 21, 2022 |
|
|
OCaml |
32 |
Imandra Contracts - Formal verification of smart contracts |
Apr 26, 2023 |
|
|
Shell |
3 |
Informal collection of scripts I find useful for debugging vyper things |
Jul 12, 2022 |
|
|
JavaScript |
37 |
A simple GUI for compiling and interacting with Vyper contracts. |
Jul 12, 2022 |
|
|
Python |
803 |
Vyper contracts used in Curve.fi exchange pools. |
Aug 09, 2022 |
|
|
Python |
3 |
Vyper contracts used in Curve.fi exchange pools. |
Apr 04, 2022 |
|
|
TeX |
23 |
Formal Methods, Maths and papers |
Feb 22, 2023 |
|
|
PowerShell |
2 |
Collection of useful methods for Unity development |
May 20, 2021 |
|
|
C# |
2 |
A collection of useful C# extensions methods |
May 30, 2022 |
|
|
C# |
6 |
A small collection of useful helper methods |
Jan 29, 2019 |
|
|
C# |
2 |
A collection of exceptionally useful extension methods. |
Sep 06, 2022 |
|
|
Ruby |
2 |
A collection of methods I find useful |
Apr 23, 2015 |
|
|
Python |
249 |
Vyper contracts to be used by Curve DAO |
Aug 09, 2022 |
|
|
None |
2 |
Vyper contracts to be used by Curve DAO |
Apr 20, 2022 |
|
|
Python |
2 |
Vyper contracts to be used by Curve DAO |
Jan 14, 2022 |
|
|
None |
4 |
Vyper contracts to be used by Curve DAO |
Jul 15, 2022 |
|
|
JavaScript |
12 |
Translations of standard contracts from Solidity to Vyper. |
May 01, 2022 |
|
|
None |
2 |
Vyper contracts to be used by Curve DAO |
Apr 06, 2023 |
|
|
None |
4 |
Vyper contracts used in the Sun Governance DAO. |
Jul 14, 2023 |
|
|
None |
2 |
Repository for review of formal methods |
Sep 04, 2022 |
|
|
C# |
5 |
A collection of useful library methods for .NET. |
Apr 21, 2020 |
|
|
Objective-C |
3 |
A collection of useful methods to extend UIColor. |
May 16, 2014 |
|
|
Solidity |
93 |
A Foundry template to compile and test Vyper contracts. |
Aug 22, 2022 |
|
|
Python |
40 |
A static verifer for Ethereum Smart Contracts written in Vyper |
Aug 09, 2022 |
|
|
Dart |
7 |
Superpowers for Dart. Collection of useful static extension methods. |
Apr 14, 2022 |
|
|
C# |
28 |
Useful extension methods for .NET sequence and collection types. |
Mar 27, 2023 |
|
|
None |
3 |
Superpowers for Dart. Collection of useful static extension methods. |
Oct 25, 2023 |
|
|
Python |
2 |
A collection of useful and often repeated python methods |
Apr 23, 2023 |
|
|
Ruby |
11 |
A web page with resources for teaching with formal methods and tools. |
Apr 08, 2023 |
|
|
Python |
12 |
Collection of optimization test functions and some useful methods for working with them |
May 07, 2023 |
|
|
Ruby |
8 |
Useful methods for working with Booleans |
Jul 21, 2022 |
|
|
Solidity |
50 |
A set of smart contracts tools for governance written in vyper |
Apr 28, 2023 |
|
|
Python |
3 |
Measuring the growth of open source formal methods |
Jan 06, 2022 |
|
|
Haskell |
45 |
Horus, a formal verification tool for StarkNet smart contracts. |
Apr 06, 2023 |
|
|
C# |
19 |
.NET support library with useful utility methods |
Apr 16, 2023 |
|
|
C# |
4 |
A huge collection of useful extension methods for the .NET ecosystem. |
Jul 10, 2022 |
|
|
C# |
2 |
A huge collection of useful extension methods for the .NET ecosystem. |
Apr 05, 2023 |
|
|
Dart |
3 |
A collection of useful static extension methods on standard Dart types. |
Jan 08, 2020 |
|
|
Python |
2 |
Using formal methods for verifying Q-learning-based systems |
Aug 07, 2022 |
|
|
C# |
205 |
A formal verifier and analysis tool for Solidity Smart Contracts |
Jul 27, 2022 |
|
|
None |
2 |
Smart Contracts collection |
Nov 17, 2022 |
|
|
Scala |
5 |
A collection of basic, useful methods to complement the Scala stardard library |
Mar 15, 2022 |
|
|
C# |
177 |
A collection of somewhat useful utilities and extension methods for async programming |
Jan 22, 2023 |
|
|
Ruby |
39 |
ronin-web is a collection of useful web helper methods and commands. |
Apr 10, 2023 |
|
|
Go |
2 |
A collection of auxiliary types, methods, functions and other small useful things. |
Mar 28, 2023 |