bajinsheng / bibtidyView external linksLinks
Search, check, and autofix your BibTex files!
☆27Aug 11, 2025Updated 6 months ago
Alternatives and similar repositories for bibtidy
Users that are interested in bibtidy are comparing it to the libraries listed below
Sorting:
- Datalog Engines OPtimization Tester.☆13Jan 18, 2024Updated 2 years ago
- A basic repository for a Clang-based tool, with CMake integration.☆10Sep 22, 2023Updated 2 years ago
- ☆21Dec 9, 2025Updated 2 months ago
- Fuzzy Data Benchmark☆17Feb 8, 2024Updated 2 years ago
- ☆39Sep 27, 2022Updated 3 years ago
- Automated testing for XML XPath execution☆17Jan 5, 2024Updated 2 years ago
- ☆21Nov 28, 2023Updated 2 years ago
- ☆18Sep 2, 2025Updated 5 months ago
- Restoring Execution Environments of Jupyter Notebooks☆21May 29, 2023Updated 2 years ago
- The ISLa (Input Specification Language) language & solver.☆71Jul 1, 2024Updated last year
- CAFA: A Checksum-Aware Fuzzing Assistant For More Coverage☆31Sep 28, 2018Updated 7 years ago
- ☆33Jan 14, 2025Updated last year
- Template for Underscore eBooks☆29Jan 7, 2018Updated 8 years ago
- A monitoring script for AFL☆41Feb 8, 2017Updated 9 years ago
- MTFuzz: Fuzzing with a Multi-Task Neural Network☆36Mar 27, 2021Updated 4 years ago
- Kernel Playground - A playground to run large scale experiments on the Linux Kernel☆17Nov 8, 2025Updated 3 months ago
- Code and artifacts of the "Dissecting American Fuzzy Lop - A FuzzBench Evaluation" paper☆13Oct 3, 2022Updated 3 years ago
- Simple implementation of SHA1 in C☆12Apr 26, 2017Updated 8 years ago
- Hands-on Tutorial: Introduction to Git and GitHub☆11Oct 17, 2024Updated last year
- ☆17Jan 1, 2021Updated 5 years ago
- The SQL Standards Project aims to create consensus in SQL semantics☆48Oct 17, 2024Updated last year
- [IJCAI'23] Speeding Up Multi-Objective Hyperparameter Optimization by Task Similarity-Based Meta-Learning for the Tree-Structured Parzen …☆10Mar 9, 2024Updated last year
- ☆11Mar 26, 2018Updated 7 years ago
- LockJar manages Java Jars for Ruby☆45May 4, 2016Updated 9 years ago
- Amoeba: Binary Code Diverisfication through Composite Software Diversification☆10Aug 3, 2017Updated 8 years ago
- ☆14Nov 23, 2016Updated 9 years ago
- A small utility repo for checkerboard sampling☆11Jul 28, 2025Updated 6 months ago
- Python interface for inspecting and running CLI modules (as defined by CommonTK)☆12Oct 23, 2018Updated 7 years ago
- Sending whispers across the interstellar space!☆11Aug 11, 2019Updated 6 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- A place where we host the Jupyter notebooks found in the PyVista docs for use on MyBinder - this repo is automatically deployed by our CI…☆12Feb 8, 2026Updated last week
- A Mermaid widget for interactively exploring Mermaid diagrams in notebooks and Panel data apps☆12Oct 25, 2024Updated last year
- Learning playground for Argus-SAF☆10Dec 27, 2018Updated 7 years ago
- A practical fuzzing tool for SMT solvers☆11Nov 26, 2025Updated 2 months ago
- Formalisation of the linear lambda calculus in Coq☆10Dec 2, 2018Updated 7 years ago
- A template project for use with cargo-generate☆13Nov 7, 2023Updated 2 years ago
- ☆13May 19, 2024Updated last year
- https://nnsmith-asplos.rtfd.io Artifact of "NNSmith: Generating Diverse and Valid Test Cases for Deep Learning Compilers" ASPLOS'23☆11Mar 29, 2023Updated 2 years ago