Discover @bkc39 Open Source projects

Ben Carriel (@bkc39)

bkc39

Stars
41
Global Rank 392,268 (Top 14 %)
Followers 26
Following 9
Registered about 13 years ago
Most used languages

Emacs Lisp
42.9 %

TeX
28.6 %

OCaml
28.6 %
Location 🇺🇸 United States
Country Total Rank 76,182
Country Ranking

OCaml
353

Emacs Lisp
810

TeX
1,363

Math-6110

TeX and PDF for Math 6110: Real Analysis

ocaml-prelude

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

tex-swag

pdes

Notes on Partial Differential Equations

ceylon-mode

Emacs syntax highlighting for the Ceylon programming language.

ocaml-monadic

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

Math-6510

TeX and PDF files for Math 6510: Algebraic Topology I

shellgpt.el

A lightweight ChatGPT client for Emacs based on shell-gpt

Coq311

A course in Functional Programming and Data Structures