fxfactorial Goto Github PK

shell_yunwei

shellcheck

ShellCheck, a static analysis tool for shell scripts

shellharden

The corrective bash syntax highlighter

shivyc

C compiler created in Python.

silicondzor

The Armenian tech community, tech commentary, bug bounty, jobs, calendar.

silicondzor-mobile

Expo app for silicondzor mobile, one stop Armenian tech central

silkworm

C++ implementation of the Ethereum protocol

simple-multisig

Simple multisig for Ethereum using detached signatures

simple-push-demo

A simple example of use push notifications on the web using Service Workers

simple-task-list-react

simupy

A framework for modeling and simulating dynamical systems

sinsi

slate

Beautiful static documentation for your API

slayer

SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.

slides

My presentations in some recent security conferences

sociaml-oauth-client

OAuth Client Library for Ocaml

sockeye

Sequence-to-sequence framework with a focus on Neural Machine Translation based on Apache MXNet

software-foundations

Mirror of “Software Foundations”, by Benjamin Pierce et al.

sol-mass-payouts

Merkle-based payout aggregation

solidity-asm-weth

Asm shenanigans, including WETH contract, but in assembly (leftover of a drunk-coding saturday night), Storage classic example (but in assembly, with fallback as single point of entry) and other assemblified things

solidity-benchmarks

Benchmarks of popular contract implementations in solidity

solidity-book

The Senior Solidity Engineer's Book is a resource meant to transform you into a Senior Solidity Engineer.

solidity-bugs-and-vulns-in-yul

solidity-examples

solidity-examples-1

Loose collection of Solidity example code

solidity-trigonometry

Solidity library with basic trigonometry functions

solo

dYdX V2 Margin Trading Protocol

solvm

evm inception: the evm inside the evm via yul and solidity

sortvis

Sorting algorithm visualisation with Cairo

spec

Staging ground for artifacts related to an MVP spec