Pinned Repositories
Concorde-Fixed-Point-Library
The concorde traveling salesman solver (http://www.math.uwaterloo.ca/tsp/concorde.html) is the state of the art solver for the traveling salesman problem.This repository expands the fixed point arithmetic to handle larger numbers, which is needed for solving 5 dimensional instances or higher.
ERC721
SMT-Solver
Solves the satisfiability of first order formulas over reals and booleans. http://en.wikipedia.org/wiki/Satisfiability_Modulo_Theories
solidity-zero-finder-rust
jeffreyscholz's Repositories
jeffreyscholz/solidity-zero-finder-rust
jeffreyscholz/eth-address-collision
jeffreyscholz/anchor-by-example
Anchor By Example
jeffreyscholz/erc1363-token-types
Different token smart conctracts following the ERC1363 implementation
jeffreyscholz/ERC20-Extended
ERC20 Token with god-mode, sanctions, token sale, and partial refunds
jeffreyscholz/ERC20-implementations
jeffreyscholz/erc20_god_mode
ERC20 God Mode Project for Metana
jeffreyscholz/ERC20Custom
jeffreyscholz/erc721-1
jeffreyscholz/erc721-2
jeffreyscholz/gas-puzzles
jeffreyscholz/halmos-solady
Formally verifying consistency between Solmate and Solady using Halmos
jeffreyscholz/hardhat-openzeppelin
Hardhat default template that I use with openzeppelin
jeffreyscholz/NFTFarming
Staking NFT's to receive staking rewards in ERC20 Tokens
jeffreyscholz/NFTs-Staking-Sec
jeffreyscholz/openzeppelin-contracts
OpenZeppelin Contracts is a library for secure smart contract development.
jeffreyscholz/rareskills
Challenges from the rareskills bootcamp
jeffreyscholz/rareskills-1
jeffreyscholz/rareskills-2
jeffreyscholz/rareskills-3
jeffreyscholz/rareskills-projects
jeffreyscholz/Rareskills-Solidity-Bootcamp
This repository contains my Rareskills Solidity Bootcamp work.
jeffreyscholz/rareskills-week2
jeffreyscholz/refund
Metana project 4
jeffreyscholz/refund-contract
jeffreyscholz/solidity-bootcamp
Solidity Bootcamp exercise contracts
jeffreyscholz/solidity-projects
Projects that I will be doing while learning solidity
jeffreyscholz/someERC20contracts
jeffreyscholz/tokenSale
Metana project #3
jeffreyscholz/week-9-advanced-topics
Miscellaneous Advanced Topics.