Extract entries from a .bib file that are cited in a .tex file
☆32Dec 9, 2025Updated 6 months ago
Alternatives and similar repositories for bibfish
Users that are interested in bibfish are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Visual Studio Code extension for interacting with texpresso☆29Nov 7, 2025Updated 8 months ago
- bibtex.eu: An open-source documentation resource maintained by CiteDrive for getting started with BibTeX and BibLaTeX. This project provi…☆24May 16, 2026Updated last month
- Bibliography file format => AST => CSL JSON☆23Apr 8, 2026Updated 3 months ago
- ☆24Aug 1, 2023Updated 2 years ago
- Fast, gpu-accelerated distance transforms☆16Jun 28, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Implementations of two-layer models by Held et al. and Geoffroy et al.☆11Feb 27, 2024Updated 2 years ago
- An open-source carbon box model implementation built on JAX.☆11Apr 2, 2024Updated 2 years ago
- DMARC Report generator☆20Jun 1, 2022Updated 4 years ago
- Sparse Boolean linear algebra for Nvidia Cuda, OpenCL and CPU computations☆16Aug 19, 2022Updated 3 years ago
- A very simple package that provides John Cleese's iconic silly walk routine as page numbering style.☆14Jul 23, 2024Updated last year
- Support for linguistics-style examples in Org mode☆10Dec 9, 2022Updated 3 years ago
- Repository for vLume releases and changes☆11Oct 12, 2020Updated 5 years ago
- Supplement of the ICFP'22 paper "‘do’ Unchained: Embracing Local Imperativity in a Purely Functional Language"☆16Feb 15, 2025Updated last year
- A series of templates for a Quarto project to convert a single Markdown input into beautiful and simple Word, HTML, and PDF worksheets.☆14Feb 12, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Clever LaTeX cross-references based on zref☆32Mar 3, 2025Updated last year
- ☆14May 28, 2025Updated last year
- A LaTeX package to use amsthm with a key-value interface☆29Jun 2, 2026Updated last month
- 📏 Monotonic cubic interpolation in Julia☆13Jun 22, 2026Updated 2 weeks ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- Speedlify for Astro sites☆31Jun 20, 2026Updated 2 weeks ago
- Code for the paper: Proving Theorems Recursively☆12May 23, 2024Updated 2 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- ☆14Oct 17, 2025Updated 8 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Introductory Julia Course☆18Dec 6, 2023Updated 2 years ago
- Skips build/evaluation based on modification date of nix files.☆22Jul 26, 2024Updated last year
- Singularity Global Client for container management☆15Jun 20, 2023Updated 3 years ago
- Interactive Theorem Proving course using HOL4☆13Mar 27, 2026Updated 3 months ago
- MCP server for intelligent code search: semantic (RAG), symbolic (tree-sitter), and regex (ripgrep) search modes. Built for Claude Code a…☆16Sep 12, 2025Updated 9 months ago
- System FR: Formalized Foundations for Stainless☆12Feb 2, 2026Updated 5 months ago
- A splay tree implementation.☆13May 18, 2026Updated last month
- Resources for Heinrich et al., 2021☆20May 28, 2021Updated 5 years ago
- A Quarto filter extension that helps to add header text and header logo in all pages of RevealJs slide☆70May 10, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- PyTorch-based implementation of Max-flow/Min-cut (graphcut) for 2D/3D data☆15Oct 24, 2022Updated 3 years ago
- ☆17Jan 16, 2026Updated 5 months ago
- ImageJ convenience layer for N5☆21Jun 29, 2026Updated last week
- An Übersicht widget that let's you play/pause the current Spotify song, go backward the previous one, go forward the next one and see the…☆10Oct 29, 2017Updated 8 years ago
- A package re-exporting the verified subset of containers☆20Jun 18, 2018Updated 8 years ago
- Generate Python docstrings automatically with LLM and syntax trees☆20Jun 13, 2025Updated last year
- Init with augmentation loss☆19Feb 7, 2023Updated 3 years ago