@GaloisInc emeritus, periodic visiting prof @ReedCollege, student, interested in programming and hardware design
- Portland, Oregon
- All languages
- AGS Script
- ActionScript
- Agda
- Apex
- Assembly
- Batchfile
- Brainfuck
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Crystal
- Dockerfile
- Eagle
- Elixir
- Emacs Lisp
- Forth
- GLSL
- Go
- HLSL
- HTML
- Hack
- Handlebars
- Haskell
- Haxe
- Idris
- Isabelle
- Java
- JavaScript
- Jupyter Notebook
- KiCad Layout
- Kotlin
- Lean
- Lua
- MATLAB
- Makefile
- Markdown
- Modula-2
- Nim
- OCaml
- Objective-C
- PHP
- PLpgSQL
- Pascal
- Perl
- PostScript
- PowerShell
- Processing
- Python
- QML
- R
- Rich Text Format
- Rocq Prover
- Roff
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Shen
- Smalltalk
- Standard ML
- SuperCollider
- Svelte
- Swift
- SystemVerilog
- TL-Verilog
- TeX
- TypeScript
- V
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- ZAP
- ZIL
- Zig
- nesC
- reStructuredText
Starred repositories
3
stars
written in ActionScript
Clear filter
Open source version of the Scratch 2.0 project editor. This is the basis for the online and offline versions of Scratch found on the website.
Art and source for Glitch's customizable avatars
Source for the Flash-based Glitch client