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
blueprint-box
All you need to get started making your own Truffle Box!
compiler-llvm
My fork of the old zkEVM fork of the LLVM framework
cpplinks
A categorized list of C++ resources.
daml
The DAML smart contract language
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.
Randall-Holmes.github.io
repository for my home page
XcodeWarnings
xcconfig to enable lots of Xcode warnings
docs
The open-source repo for docs.github.com
swift
The Swift Programming Language
FlashSheridan's Repositories
FlashSheridan/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.
FlashSheridan/XcodeWarnings
xcconfig to enable lots of Xcode warnings
FlashSheridan/alive2
Flash’s fork of automatic verification of LLVM optimizations
FlashSheridan/blueprint-box
All you need to get started making your own Truffle Box!
FlashSheridan/compiler-llvm
My fork of the old zkEVM fork of the LLVM framework
FlashSheridan/cpplinks
A categorized list of C++ resources.
FlashSheridan/daml
The DAML smart contract language
FlashSheridan/daml-on-sawtooth
daml-on-sawtooth is an integration of the DAML smart contract runtime engine, created and open sourced by Digital Asset, with Hyperledger Sawtooth blockchain as the backing DLT.
FlashSheridan/docs
The open-source repo for docs.github.com
FlashSheridan/ethereum-org
Ethereum Foundation website
FlashSheridan/ethereumbook
Mastering Ethereum, by Andreas M. Antonopoulos, Gavin Wood
FlashSheridan/evcxr
FlashSheridan/go-ethereum
Official Go implementation of the Ethereum protocol
FlashSheridan/googletest
Google Test
FlashSheridan/Randall-Holmes.github.io
repository for my home page
FlashSheridan/era-compiler-llvm
My fork of the ZKsync fork of the LLVM framework
FlashSheridan/era-compiler-tester
My fork of the integration testing framework for ZKsync compilers
FlashSheridan/era-compiler-tests
My fork of the collection of tests for ZKsync compilers
FlashSheridan/great_courses_ml
code and data for ML-teachco-9070
FlashSheridan/llvm-m88k
LLVM backend for m88k architecture
FlashSheridan/llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
FlashSheridan/mlir-www
FlashSheridan/OMC
OnMyCommand
FlashSheridan/polkadot-wiki
The central source of truth for Polkadot.
FlashSheridan/scala
The Scala programming language
FlashSheridan/scalastyle.github.com
Scalastyle website
FlashSheridan/solidity
Solidity, the Contract-Oriented Programming Language
FlashSheridan/trufflesuite.com
Truffle Suite website source
FlashSheridan/warnings-plugin
Jenkins warnings plugin
FlashSheridan/website
The source for scala-sbt.org