-
teaching prof at university of washington
- seattle
-
08:46
(UTC -07:00) - mattx.wang
- https://orcid.org/0009-0003-0708-9378
Highlights
- Pro
Lists (4)
Sort Name ascending (A-Z)
Stars
- All languages
- ActionScript
- Agda
- Astro
- C
- C#
- C++
- CSS
- CoffeeScript
- Coq
- Cuda
- Elixir
- Flix
- GAMS
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Lean
- Less
- Lua
- Makefile
- Markdown
- Mojo
- Nushell
- OCaml
- Objective-C
- Pony
- Prolog
- Python
- R
- Racket
- Reason
- Rocq Prover
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- UrWeb
- Vim Script
- Vue
- Zig
- jq
Glide is a slideshow making program that also lets you drop down to code in rhombus.
An HTML+CSS template for making more accessible posters
Dissecting the Duck's Innards — A DuckDB-based course on the Design and Implementation of Database System Internals
An accessibility tool that scans a google slide for tab order and gives it a visual display
MathCAT: Math Capable Assistive Technology for generating speech, braille, and navigation.
Property-based testing for web UIs, autonomously exploring and validating correctness properties, finding harder bugs earlier
Google Workspace CLI — one command-line tool for Drive, Gmail, Calendar, Sheets, Docs, Chat, Admin, and more. Dynamically built from Google Discovery Service. Includes AI agent skills.
Entity-level git merge driver. Resolves false conflicts git invents when independent agents edit the same file. ~95% reduction vs. line-based merge.
A beautiful yet powerful syntax highlighter
Voxtral ASR & TTS running natively and in the browser. A Rust implementation of Mistral's Voxtral mini realtime ASR / TTS using the Burn ML framework
A community trust management system based on explicit vouches to participate.
a digital safe with multiple keys, held by people you trust
Arboretum is a web-tool for introductory CS environments that makes authoring accessible data structures low-barrier by supporting common specification languages.
🚏 Open-source DIY public transit arrivals board for your home
An experimental language for causal reasoning
simple markdown subset for painless parsing and rendering
A boss-rush game that runs directly on YouTube videos.
Axya is a Jekyll theme that helps researchers quickly publish accessible, clean, and modern companion sites for their papers, posters, and projects.
Valdi is a cross-platform UI framework that delivers native performance without sacrificing developer velocity.
pizlonator / fil-c
Forked from llvm/llvm-projectFil-C: completely compatible memory safety for C and C++
Finds potential accessibility gaps, files GitHub issues to track them, and attempts to fix them with Copilot.
A Verilog synthesis flow for Minecraft redstone circuits
This app helps you to manage your PDF accessibility audit workflows.