-
teaching prof at university of washington
- seattle
-
21:24
(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
- C
- C#
- C++
- CSS
- CoffeeScript
- Coq
- Cuda
- Elixir
- Flix
- GAMS
- Go
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Koka
- Lean
- Lua
- Makefile
- Markdown
- Nushell
- OCaml
- Objective-C
- Pony
- Prolog
- Python
- R
- Racket
- Reason
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Standard ML
- Svelte
- Swift
- SystemVerilog
- TeX
- TypeScript
- Typst
- UrWeb
- Vim Script
- Vue
- Zig
- jq
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 semantic merge driver for Git. Resolves conflicts that git can't by understanding code structure via tree-sitter. 31/31 clean merges vs git's 15/31.
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
A tool to test web content for accessibility and 508 compliance.
Automated web accessibility testing with axe-core
Super simple group chat, without a subscription
tfw when you when your lid when uhh angle your lid sensor
An ESLint plugin for linting HTML files, HTML in JSJavaScript Template Literals, React, Angular and Svelte