@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
- Svelte
- Swift
- SystemVerilog
- TL-Verilog
- TeX
- TypeScript
- Typst
- V
- VHDL
- Verilog
- Vim Script
- Vue
- WebAssembly
- Wren
- ZAP
- ZIL
- Zig
- nesC
- reStructuredText
Starred repositories
6
stars
written in Haxe
Clear filter
An open source library for creative expression on the web, desktop, mobile and consoles. Inspired by the classic Flash and AIR APIs.
The source code of the Medieval Fantasy City Generator
Cross-platform desktop, mobile, and WebGL game engine, based on FlashPunk
Known as the "Cross-Platform Game Engine", Starling is a popular Stage3D framework for OpenFL and Haxe
Roguelike(like) puzzle game created for 7DRL-2016 challange