Skip to content
View Red-Portal's full-sized avatar
🤤
🤤

Highlights

  • Pro

Organizations

@oql @TuringLang @MGfoundation

Block or report Red-Portal

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/

Python 2,719 177 Updated Dec 5, 2025

Common hyperparameter scheduling for ML

Julia 38 13 Updated Dec 3, 2024

A functional GUI library written in Julia using OpenGL.

Julia 41 1 Updated Nov 8, 2025

Julia package for converting Julia calculations into rendered latex.

Julia 100 1 Updated Dec 13, 2025

📊 Save matplotlib figures as TikZ/PGFplots for smooth integration into LaTeX.

Python 2,551 242 Updated Aug 16, 2024

get things from one computer to another, safely

Python 22,092 716 Updated Dec 16, 2025

Implementation of variational Bayes inference algorithms

Julia 102 19 Updated Dec 14, 2025

JuLS is a Julia Local Search solver that combines Constraint Based Local Search (CBLS) and Constraint Programming (CP)

Julia 168 4 Updated Sep 18, 2025

Efficient, lightweight variational inference and approximation bounds

Python 46 15 Updated Oct 17, 2025

A open-source guide that demystifies how U.S. universities evaluate and admit students into Computer Science PhD programs.

TeX 248 25 Updated Dec 17, 2025

Code repository for Particle Denoising Diffusion Sampler

Python 15 2 Updated Apr 2, 2024

A minimal Pytorch Implementation of Stochastically Quantized Variational AutoEncoder (SQ-VAE) by Sony

Python 33 4 Updated Oct 16, 2023

Implementation of normalising flows and constrained random variable transformations

Julia 256 41 Updated Dec 7, 2025

A beautiful inline overlay for Emacs (Flycheck | Flymake)

Emacs Lisp 321 13 Updated Dec 8, 2025

A Lean companion to Analysis I

Lean 1,385 181 Updated Dec 15, 2025

A plugin that does one thing only: Detect and manage duplicate items in Zotero.

TypeScript 746 7 Updated Sep 4, 2025

🐍 Geometric Computer Vision Library for Spatial AI

Python 10,926 1,082 Updated Dec 17, 2025

LaTeX header file with useful definitions

TeX 24 13 Updated Oct 3, 2025

Emacs major mode for Lean 4

Emacs Lisp 109 36 Updated Jul 14, 2025

Abstract types and interfaces for Markov chain Monte Carlo methods

Julia 99 19 Updated Nov 16, 2025
Python 8 1 Updated Aug 10, 2024

Proximal algorithms for nonsmooth optimization in Julia

Julia 140 24 Updated May 24, 2025
Python 17 14 Updated Dec 31, 2024

Slice sampling algorithms in Julia

Julia 13 3 Updated Dec 14, 2025

Documentation linting

Julia 23 3 Updated Oct 22, 2024

Experiments for https://arxiv.org/abs/2408.12057 (method has been renamed OAIS)

Julia 7 3 Updated Dec 1, 2025

Cross-architecture parallel algorithms for Julia's CPU and GPU backends. Targets multithreaded CPUs, and GPUs via Intel oneAPI, AMD ROCm, Apple Metal, Nvidia CUDA.

Julia 176 8 Updated Dec 14, 2025

Simple package for literate programming in Julia

Julia 572 68 Updated Dec 2, 2025
Next