#
🔐
[redacted]
Principal Engineer @github. Ruby/Go mostly. Perpetual student.
-
GitHub
- Philadelphia, PA
- http://maraby.org/
- All languages
- ActionScript
- Arduino
- Assembly
- Awk
- Batchfile
- Bikeshed
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Dockerfile
- Erlang
- Fortran
- Go
- HCL
- HTML
- Haskell
- Io
- Isabelle
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Less
- Lua
- Makefile
- Markdown
- Nu
- OCaml
- Objective-C
- Objective-C++
- PHP
- Perl
- PostScript
- PowerShell
- Processing
- Python
- R
- Ruby
- Rust
- SAS
- Sass
- Scala
- Scilab
- ShaderLab
- Shell
- Smalltalk
- Starlark
- Svelte
- Swift
- TLA
- TSQL
- Tcl
- TeX
- TypeScript
- VHDL
- Verilog
- Vim Script
- Zig
- jq
- ooc
- sed
Starred repositories
6
stars
written in Scala
Clear filter
Snowflake is a network service for generating unique ID numbers at high scale with some simple guarantees.
Old repo for Linkerd 1.x. See the linkerd2 repo for Linkerd 2.x.
simple, distributed message queue system (inactive)
Lightning-fast cluster computing in Java, Scala and Python.
APALACHE: symbolic model checker for TLA+ and Quint