Name: Max Willsey
Type: User
Bio: asst prof at uc berkeley
Twitter: mwillsey
Location: Berkeley, CA
Blog: https://mwillsey.com
I'm a professor at UC Berkeley in the EECS department.
Check out more at my website.
My current research focuses are program optimization and analysis, powered by techniques such as e-graphs, equality saturation, and datalog.
actix-website
The Actix website.
advent-2023
arcstr
Better reference counted strings for Rust
card-game
crossbot
A slackbot to compete on mini crosswords (or any other daily challenge).
cs294-260-sp24
datastick
dotfiles
my dotifles
egg
egg is a flexible, high-performance e-graph library
egg-herbie-new
a new egg integration for herbie
evil-org-mode
Supplemental evil-mode keybindings to emacs org-mode
freezegun
Let your Python tests travel through time
frunk
Funktional generic type-level programming in Rust: HList, Coproduct, Generic, LabelledGeneric, Validated, Monoid and friends.
goddity
generalized oddity
herbie
Optimize floating-point expressions for accuracy
home-manager
Manage a user environment using Nix
i3status-rust
Very resourcefriendly and feature-rich replacement for i3status, written in pure Rust
iai
Experimental one-shot benchmarking/profiling harness for Rust
illusion-z3
incubator-tvm
Open deep learning compiler stack for cpu, gpu and specialized accelerators
indexmap
A hash table with consistent order and fast iteration; access items by key or sequence index
layer-lean
A Spacemacs layer for Lean
lean
Lean Theorem Prover
minirust
mwillsey
mwillsey.com
My website.
mwillsey.github.io
my website
nes
my shot at a clean, simple NES emulator
old-site
My old personal site. See the new repo
qry
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
