bkc39

Math-6110

TeX and PDF for Math 6110: Real Analysis

ocaml-prelude

Includes the functions you need, that INRIA didn't.

tex-swag

LaTeX stuntin'

pdes

Notes on Partial Differential Equations

ceylon-mode

Emacs syntax highlighting for the Ceylon programming language.

Coq311

A course in Functional Programming and Data Structures

Math-6510

TeX and PDF files for Math 6510: Algebraic Topology I

ocaml-monadic

ABANDONED -- see ocaml prelude (https://github.com/bkc39/ocaml-prelude)

shellgpt.el

A lightweight ChatGPT client for Emacs based on shell-gpt

.emacs.d

Landscape for my zen garden.

6820-Homework

Documents for 6820

catalyst

An Algorithmic Trading Library for Crypto-Assets in Python

GeoGit

Geospatial Distributed Version Control System

mahimahi

Web performance measurement toolkit

Math-4530

TeX and PDF for Math 4530: Topology

Math-6120

TeX and PDF files for Math 6120: Complex Analysis

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

miso

:ramen: A tasty Haskell front-end framework

ocaml-data-structures

Implemenations of Various Data Structures in OCaml

persistent-odbc

uses persistent connecting via hdbc odbc

poke-env

A python interface for training Reinforcement Learning bots to battle on pokemon showdown

resume

My resume, in its full TeX glory.

reverb

Reverb is an efficient and easy-to-use data storage and transport system designed for machine learning research

s3-example

tools

Public tools repository