case-for-prototype-paradigm-blog

Blog post showcasing a use-case for the prototype paradigm

debugging-lightning-talk

5-min outline + slides for "teaching programming to non-programmers" event

devcontainer-minimal-repro-issue1

Minimal reproduction for issue creating dev container with extension in VSCode when `.devcontainer.json` is ignored in VSCode settings

facets_final_tone_mapping

Our final projects for the Facets of Mathematics Course on Tone Mapping

formal-2024

Course repository for GlaMS - Formalising Mathematics in Lean (2024)

gh-action-test

gradescope-results-reviewer

Web-app to run locally with downloaded gradescope submissions to review and test

iomonitor

Monitor docker/podman-compose services - from an Io perpective

jcmbayes

discord bot to enforce rules in group chat to discuss whether to go to JCMB or Bayes.

jcmbayes2

JCMBayes discord bot v2.0: gatekeeping messages, but from a Ruby perspective

jcmbayes3

3rd iteration, with an Elixir flavour

latex-tricks

lean4_game_test

Experimenting with what's involved in organising a project around creating a lean4 game

lean4_test

lean4game

lnay

mathematics_in_lean

Trying devcontainer with lean4 mathlib tutorial

metric-spaces-and-topology-game

nvim-treesitter

Nvim Treesitter configurations and abstraction layer

parser-experiment

pseudo_tilt_py

sage-preparser

Attempt to create a SageMath to Python preparser using tree-sitter APIs

sagetex-article

Template for a latex article using SageTex to use objects created in Jupyter notebook. +devcontainer

sagetex-blog

Thoughts on the ergonomics of using sagetex within a mathematical paper.

simulations

stability_conditions

Sage library for computations with (very weak) Bridgeland stability conditions

tilt-rs-notebook

Notebook with devcontainer config for trying out the pseudo_tilt crate.

tree-sitter-latex

LaTeX grammar for tree-sitter

tree-sitter-sage

Attempt at minimal port of python grammar for tree-sitter to SageMath