Pinned Repositories
airport-cli
Simple command-line tool to manage OSX wifi devices
figfs
The Filesystem Interface to Git FileSystem
jesboat's Repositories
jesboat/airlift
Airlift framework for building REST services
jesboat/brew
🍺 The missing package manager for macOS (or Linux)
jesboat/buck
A fast build system that encourages the creation of small, reusable modules over a variety of platforms and languages.
jesboat/cli53
Command line tool for Amazon Route 53
jesboat/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
jesboat/Coqtail
Interactive Coq Proofs in Vim
jesboat/crx-blank-new-tab
Replaces the "New Tab" page in Chrome with a near-blank resource-light page
jesboat/esp-idf
Espressif IoT Development Framework. Official development framework for ESP32.
jesboat/folly
An open-source C++ library developed and used at Facebook.
jesboat/Framework-InputModules
Reference designs and documentation for the Input Module system in the Framework Laptop 16
jesboat/fun-loops
enumerate simple loops of length N on a square grid
jesboat/homebrew-core
🍻 Default formulae for the missing package manager for macOS
jesboat/io.takari.m2e.lifecycle
takari lifecycle m2e integration
jesboat/jdk
JDK main-line development https://openjdk.org/projects/jdk
jesboat/lipusona
o kama sona e toki pona lon lipu sona!
jesboat/presto
Distributed SQL query engine for big data
jesboat/presto-admin
A tool to install, configure and manage Presto installations
jesboat/presto-cassandra-driver
Shaded version of DataStax Java Driver for Apache Cassandra
jesboat/presto-cassandra-server
Shaded version of Apache Cassandra for Presto
jesboat/presto-hadoop-apache2
Shaded version of Apache Hadoop 2.x for Presto
jesboat/presto-python-client
Python DB-API client for Presto
jesboat/presto-yarn
jesboat/prestodb.github.io
Presto website
jesboat/pyre-check
Performant type-checking for python.
jesboat/racket
The Racket repository
jesboat/regex-crossword-solver
solver for regexcrossword.com
jesboat/stuff-site
jesboat/tiny
some tiny scripts i have lying around
jesboat/z3
The Z3 Theorem Prover
jesboat/zfs
OpenZFS on Linux and FreeBSD