FlashSheridan

Looking for remote work as a compiler tester and/or static analyzer.

@matter-labs matter-labsPrinceton

Pinned Repositories

alive2
Flash’s fork of automatic verification of LLVM optimizations
Language:C++0 0 00
blueprint-box
All you need to get started making your own Truffle Box!
Language:JavaScript0 1 00
compiler-llvm
My fork of the old zkEVM fork of the LLVM framework
0 0 00
cpplinks
A categorized list of C++ resources.
0 1 00
daml
The DAML smart contract language
Language:Scala0 1 00
EncycloClip
EncycloClip™ for iPhone®, iPad®, and iPod Touch® is a faceless iPhone/iPad app by Flash Sheridan which searches the online version of the Encyclopædia Britannica® for the contents of your clipboard.
Language:Objective-C1 2 10
Randall-Holmes.github.io
repository for my home page
Language:HTML0 1 00
XcodeWarnings
xcconfig to enable lots of Xcode warnings
1 1 00
docs
The open-source repo for docs.github.com
Language:JavaScript16.4k 2.5k 3.7k60k
swift
The Swift Programming Language
Language:C++67.7k 2.5k 15.8k10.4k

FlashSheridan/yellowpaper
The "Yellow Paper": Ethereum's formal specification
Language:TeX