🏠
Working from home
Director of Engineering at Nubank. Formerly of Cognitect, Reify Health, Point Slope.
-
Nubank
- Pembroke Pines, FL
-
22:56
(UTC -05:00) - https://nubank.slack.com/team/U01D4ND0JV7
Highlights
- All languages
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- CoffeeScript
- Common Lisp
- Dockerfile
- Emacs Lisp
- Go
- Groovy
- HTML
- Java
- JavaScript
- Jupyter Notebook
- Makefile
- Markdown
- NSIS
- Nginx
- Nunjucks
- Objective-C
- Objective-C++
- PHP
- Perl
- Prolog
- Python
- Racket
- Ruby
- Rust
- SCSS
- Scheme
- Shell
- Standard ML
- Swift
- TypeScript
- Vim Script
Starred repositories
6
stars
written in Scheme
Clear filter
Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.
Relational Programming in miniKanren
Code, wiki, and resources for the weekly miniKanren uncourse



