I make software for fun and work. I love Go, Python, Haskell, and Lisp. I'm interested in distributed computing and computer languages.
- California
Stars
- All languages
- ANTLR
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Crystal
- Dart
- Frege
- Go
- HCL
- HTML
- Haskell
- Idris
- Java
- JavaScript
- LLVM
- Less
- Lua
- MDX
- Makefile
- Markdown
- Mustache
- Nim
- Objective-C
- Objective-C++
- PHP
- Perl
- Python
- Racket
- Roff
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Starlark
- Swift
- TeX
- TypeScript
- Vim Script
- Vim Snippet
1
star
written in Clojure
Clear filter
A framework for distributed systems verification, with fault injection