Pinned

1. smartbugs/smartbugs Public

   SmartBugs: A Framework to Analyze Solidity Smart Contracts

   Solidity 225 68

2. smartbugs/smartbugs-wild Public

   This repository contains 47,398 smart contracts extracted from the Ethereum network

   Python 57 19

3. TeLLer Public

   TeLLer is a collection of tools that explore the use of linear logic applied to narrative generation and story telling.

   Haskell 16

4. rationals-python Public

   Python class implementing the algorithm that I and Roland Backhouse created in 2008 to enumerate the positive rational numbers in two different ways.

   Python 1 1

5. eisenstein Public

   Literate Haskell module with functions to enumerate the elements of the Eisenstein array. Also, we provide a program that searches for occurrences of the Eisenstein array on OEIS. (Joint work with …

   Haskell 3 2

6. ueq-binary-op Public

   A literate Haskell program that proves the inexistence of a unique existential binary operator

   Haskell 1