Ben Carriel's repositories
ocaml-prelude
Includes the functions you need, that INRIA didn't.
ceylon-mode
Emacs syntax highlighting for the Ceylon programming language.
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
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.
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