fbanados Goto Github PK

adafruit_ccs811

Arduino driver for CCS811 digital gas sensor

analysis-reading-group

Analysis reading group at UBC Computer Science.

bsd-xfce

Turn your FreeBSD system in a complete and reliable workstation and creative studio with no hassle in minutes! Feel the daemon inside!

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.

crk-db

Managing the Plains Cree dictionary database

design-methods

A simple, accessible, mobile-ready textbook on HCI and Design.

empirical-methods

Homepage for 17-803 "Empirical Methods" at Carnegie Mellon University

experimenting-with-redex

A Redex tutorial with a focus on how to do work in Redex

fib

the fibonacci only you would give me

homebrew-webkit

Homebrew formulae to build WebKitGtk+.

interlisp.github.io

Web site for Interlisp.org

juanique-dotfiles

Vim Config

lambdaplai

languagetool

Style and Grammar Checker for 25+ Languages

latex-action

:octocat: GitHub Action to compile LaTeX documents

mal

mal - Make a Lisp

masquerade

did you know you can appear to commit as anyone?

mlkit

Standard ML Compiler and Toolkit

old-gh-personal-site

online-ics-feed-viewer

Online ICS / iCal feed viewer

org-pdftools

A custom org link type for pdf-tools

pl-reading-group

provbuild

ProvBuild: Improving Data Scientist Efficiency with Provenance

provision-osx

Batch files to provision OS X as a virtual machine host and manage those VMs.

racket

The Racket repository

research-howto

Notes about research.

sessions

Session Types interpreter implementation.

snooze

Object Relational Mapping (ORM) for Racket.

spd

spl