Michael Avila's repositories
knex-querylab
A place to easily experiment with the knex.js syntax and see the generated SQL.
selecta.vim
Fuzzy file finding in vim with selecta
nand2tetris
Cumulative work towards the completion of "The Elements of Computing Systems"
vim-logbook
A logbook for software engineers
purescript-foreign-generic
Generic deriving for purescript-foreign
chef-hockeypuck
A chef's guide to cooking a hockeypuck
cos-326-fall-2017
OCaml coursework from http://www.cs.princeton.edu/courses/archive/fall17/cos326/
getsecret
Retrieve secrets from GPG encrypted YAML files.
IEEE-SRS-Tempate
IEEE System Requirements Specification Template
knex
A query builder for PostgreSQL, MySQL and SQLite3, designed to be flexible, portable, and fun to use.
machine-thing
Do not take this seriously
poise-service
A Chef cookbook to provide a unified interface for services.
puppet-osx
Generic OS X stuffs for boxen
purescript
A small strongly typed language that compiles to Javascript
purescript-either
Values with two possibilities
purescript-express
Purescript wrapper for Express.js
RxSwiftExt
A collection of Rx operators & tools not found in the core RxSwift distribution
RxSwiftUtilities
Helpful classes and extensions for RxSwift
see-note
Move between notes and source code
SwiftParsec
Parsec implementation in Swift
vim-gnupg
This script implements transparent editing of gpg encrypted files. The filename must have a ".gpg", ".pgp" or ".asc" suffix. When opening such a file the content is decrypted, when opening a new file the script will ask for the recipients of the encrypted file. The file content will be encrypted to all recipients before it is written. The script turns off viminfo, swapfile, and undofile to increase security.
website
IPFS project website