Einsum with einops style variable names
☆18May 16, 2024Updated last year
Alternatives and similar repositories for fancy_einsum
Users that are interested in fancy_einsum are comparing it to the libraries listed below
Sorting:
- A collection of usefull hydra callbacks☆14Sep 3, 2024Updated last year
- A formalisation of Cartesian Frames, a perspective on embedded agency, in the HOL theorem prover.☆20Dec 20, 2021Updated 4 years ago
- Beeminder library for Python☆26Jan 27, 2024Updated 2 years ago
- Modular AI Trustworthy Engineering (MAITE) is a library of common types, protocols (a.k.a. structural subtypes), and utilities that can b…☆12Updated this week
- Texture mapping with variational auto-encoders☆40Oct 1, 2021Updated 4 years ago
- Tools and models for estimating Filecoin energy use from on-chain proofs☆11Jun 14, 2024Updated last year
- METR Task Standard☆177Feb 3, 2025Updated last year
- Code used in the analyses described in "Personalized brain circuit scores identify clinically distinct biotypes in depression and anxiety…☆11May 4, 2024Updated last year
- ☆12Jun 26, 2024Updated last year
- Active Inference & Category Theory☆10Mar 11, 2024Updated last year
- Add Spotify music from Vim to your Mopidy playlist with fzf-powered fuzzy-finding☆36Mar 8, 2017Updated 8 years ago
- Harmonic Datasets☆53Jul 12, 2024Updated last year
- ☆16Jun 9, 2024Updated last year
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆14Feb 15, 2025Updated last year
- bonfire monorepo☆11Aug 30, 2023Updated 2 years ago
- ☆10Apr 27, 2022Updated 3 years ago
- DateTime package for Lean 4☆17Feb 28, 2024Updated 2 years ago
- Like `pbcopy` but for LLM prompt building 🏗️☆12Oct 25, 2024Updated last year
- ☆10Oct 20, 2024Updated last year
- Interactive React-powered charting library for Lean 4 in VS Code's infoview☆16Jan 5, 2026Updated 2 months ago
- Incremental fast build engine cum unique navigation UI (with search) for plain-text notes, optimized for private notebooks.☆11May 18, 2021Updated 4 years ago
- Turing machine ZKVM☆10Nov 12, 2023Updated 2 years ago
- Testground: SDK for developing test plans in Go☆12May 24, 2024Updated last year
- [CVPR'25] AIM-Fair: Advancing Algorithmic Fairness via Selectively Fine-Tuning Biased Models with Contextual Synthetic Data☆17Mar 27, 2025Updated 11 months ago
- ☆10Sep 26, 2024Updated last year
- ☆11Jul 26, 2023Updated 2 years ago
- An sampe web based email provider that provides first class BrowserID support.☆69Jan 30, 2014Updated 12 years ago
- Official Code for What Makes and Breaks Safety Fine-tuning? A Mechanistic Study (NeurIPS 2024)☆12Oct 31, 2024Updated last year
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 2 years ago
- MCP server which allow LLM in agent mode to analyze image whenever it needs☆20Updated this week
- ☆12Jun 24, 2021Updated 4 years ago
- ☆11Aug 17, 2023Updated 2 years ago
- ☆10Oct 22, 2024Updated last year
- Free group automorphisms and train-track representative in python/sage☆12Sep 18, 2025Updated 5 months ago
- Bayesian scaling laws for in-context learning.☆15Mar 12, 2025Updated 11 months ago
- A Neovim plugin to run the current filetype.☆10Jun 22, 2023Updated 2 years ago
- An Anki addon for pulling flashcard data (one-way sync) from XML. Optimized for LIFT XML (from WeSay or FLEx). [This is now the official …☆10Feb 2, 2026Updated last month
- LensVM specifications and ABI definition☆12Apr 10, 2021Updated 4 years ago
- Tools for studying developmental interpretability in neural networks.☆127Dec 30, 2025Updated 2 months ago