Pinned Repositories
.emacs.d
Landscape for my zen garden.
ceylon-mode
Emacs syntax highlighting for the Ceylon programming language.
Coq311
A course in Functional Programming and Data Structures
Math-6110
TeX and PDF for Math 6110: Real Analysis
Math-6510
TeX and PDF files for Math 6510: Algebraic Topology I
ocaml-monadic
ABANDONED -- see ocaml prelude (https://github.com/bkc39/ocaml-prelude)
ocaml-prelude
Includes the functions you need, that INRIA didn't.
pdes
Notes on Partial Differential Equations
shellgpt.el
A lightweight ChatGPT client for Emacs based on shell-gpt
tex-swag
LaTeX stuntin'
bkc39's Repositories
bkc39/Math-6110
TeX and PDF for Math 6110: Real Analysis
bkc39/ocaml-prelude
Includes the functions you need, that INRIA didn't.
bkc39/tex-swag
LaTeX stuntin'
bkc39/pdes
Notes on Partial Differential Equations
bkc39/ceylon-mode
Emacs syntax highlighting for the Ceylon programming language.
bkc39/Coq311
A course in Functional Programming and Data Structures
bkc39/Math-6510
TeX and PDF files for Math 6510: Algebraic Topology I
bkc39/ocaml-monadic
ABANDONED -- see ocaml prelude (https://github.com/bkc39/ocaml-prelude)
bkc39/shellgpt.el
A lightweight ChatGPT client for Emacs based on shell-gpt
bkc39/.emacs.d
Landscape for my zen garden.
bkc39/.llm-prompts
system prompts for LLMs that I use frequently
bkc39/catalyst
An Algorithmic Trading Library for Crypto-Assets in Python
bkc39/GeoGit
Geospatial Distributed Version Control System
bkc39/keccak-rkt
Racket bindings to the XKCP keccak compact implementation
bkc39/llm-prompts
System prompts for LLMs that I use for programming
bkc39/mahimahi
Web performance measurement toolkit
bkc39/Math-6120
TeX and PDF files for Math 6120: Complex Analysis
bkc39/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
bkc39/miso
:ramen: A tasty Haskell front-end framework
bkc39/ocaml-data-structures
Implemenations of Various Data Structures in OCaml
bkc39/persistent-odbc
uses persistent connecting via hdbc odbc
bkc39/poke-env
A python interface for training Reinforcement Learning bots to battle on pokemon showdown
bkc39/polars
Dataframes powered by a multithreaded, vectorized query engine, written in Rust
bkc39/racket-mode
Emacs major and minor modes for Racket: edit, REPL, check-syntax, debug, profile, packages, and more.
bkc39/reverb
Reverb is an efficient and easy-to-use data storage and transport system designed for machine learning research
bkc39/s3-example
bkc39/solidity
Solidity, the Smart Contract Programming Language
bkc39/tools
Public tools repository
bkc39/wealthfolio
A Beautiful Private and Secure Desktop Investment Tracking Application
bkc39/XKCP
eXtended Keccak Code Package