Stars
A CLI host application that enables Large Language Models (LLMs) to interact with external tools through the Model Context Protocol (MCP).
N-dimensional Rotary Position Embeddings for PyTorch
A privacy-preserving Raspberry Pi home security camera that uses advanced end-to-end encryption.
Private and on-device speech recognition keyboard and service for Android.
The statistical language R compiled to WebAssembly via Emscripten, for use in web browsers and Node.
Code and data for the Modern Polars book
Application of Diffusion Probablistic Model for unsupervised OCT denoising
Implementation of MedSegDiff in Pytorch - SOTA medical segmentation using DDPM and filtering of features in fourier space
A playbook for systematically maximizing the performance of deep learning models.
An example project for building containers with Nix and deploying them to Kubernetes
Implementation of Vision Transformer, a simple way to achieve SOTA in vision classification with only a single transformer encoder, in Pytorch
Convert a PDF to an Encapsulated DICOM using pydicom
Asynchronous HTTP/WebSocket graphics device for R with an interactive plot viewer
Fast smoothing of per-vertex data on triangular meshes for R.
R interface to Boundary First Flattening (BFF) software (https://geometrycollective.github.io/boundary-first-flattening/).
Deep learning of quality control for stereotaxic registration of human brain MRI
Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
🔳 Geometrize is a desktop app that geometrizes images into geometric primitives
Function-oriented Make-like declarative workflows for R
A (formalised) general definition of type theories
Convolutional Neural Network for 3D meshes in PyTorch
Synthetic Topology in Homotopy Type Theory for probabilstic programming
Manipulate CSV files on the command line using dplyr