sam bacha's Projects
Timeless is a yield tokenization protocol that offers Perpetual Yield Tokens.
Timestamp for 64-bit time_t, nanosecond precision and strftime
π§Ά Extract data from any website without code, just clicks.
foundry forge executable but 1/3 of the size
Very small, readable implementation of the SHA3 hash function.
Command line binaries for the TLA+ language
Reading the linearizability paper with TLA+
A static web application to explore and animate a TLA+ state graph.
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
A TLA+ module for animating TLC traces.
Jupyter kernel for TLAβΊ
π Collaborative cheatsheets for console commands
TLP+ & Alloy
JSON schema for TextMate grammar definitions
Network on Chip Implementation written in SytemVerilog
Example on how to nixify a project [maintainer=@zimbatm]
Basic Token Factory dapp.
Sushiswap's Supported Farms Token List
Manifold Finance YCabal Token List
π The Token Lists specification
The tool is for visualizing the flow of tokens and ether transfers within a complex transaction. Built to work with 1inch, but can be helpful for other transactions as well. It uses logs and internal transfers to include both token and eth transfers in the figure.
Performant Cache Server for Tokenlists