BibTeX, biblatex and CSL styles for the University of Bath's Harvard referencing style
☆29Jan 29, 2026Updated last month
Alternatives and similar repositories for bathbib
Users that are interested in bathbib are comparing it to the libraries listed below
Sorting:
- Type theory in type theory☆16Feb 26, 2012Updated 14 years ago
- A discursive introduction to Biblatex☆22Apr 30, 2017Updated 8 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 2 years ago
- Extensions for the biblatex standard styles☆27Mar 6, 2026Updated 2 weeks ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆12Feb 2, 2018Updated 8 years ago
- Turn your docs into an offline app !☆18Aug 18, 2024Updated last year
- Key adjustment script for placing glyphs on KLE-based keyboard layouts☆12Jul 2, 2021Updated 4 years ago
- ☆22Apr 12, 2024Updated last year
- All Games ever played on the No Name Go Server (First commit contains the original files, later may enhance their compatibility with SGF …☆16Apr 2, 2012Updated 13 years ago
- GPub: Go Publishing for Glift☆18May 2, 2018Updated 7 years ago
- A biblatex implementation of the AIP and APS bibliography style☆27Oct 22, 2025Updated 4 months ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 5 years ago
- line based patch, input is a unified diff☆24Nov 6, 2025Updated 4 months ago
- Context sensitive quotation facilities☆31Feb 24, 2025Updated last year
- a version of the 2048 game for Coq☆22Jan 30, 2026Updated last month
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆22Jul 13, 2023Updated 2 years ago
- Command line script to create an SGF file from an image for Go/Baduk/Weiqi☆18Apr 3, 2013Updated 12 years ago
- ☆18Jul 18, 2022Updated 3 years ago
- A verified(?) TCP client/server chat application☆23Sep 29, 2025Updated 5 months ago
- Coherence typechecker for infinity categories☆20Mar 12, 2026Updated last week
- A LaTeX class for producing presentations☆68Updated this week
- Convert your sgf go replays into a nicely formated pdf.☆17Oct 29, 2022Updated 3 years ago
- Lasergo is a working proof of concept for a computer vision based robot that allows playing Go against a computer on a real board by usin…☆19Dec 16, 2021Updated 4 years ago
- Async datagram traits☆11Aug 28, 2019Updated 6 years ago
- software transactional memory in rust☆14Jul 20, 2021Updated 4 years ago
- The Swiss army knife for the game of Go: game editor, game database, game replayer, game exporter, game engine client☆26Feb 24, 2024Updated 2 years ago
- Servo formulae repo for Homebrew☆11May 8, 2017Updated 8 years ago
- Pairing software for the game of go or other☆22Nov 30, 2025Updated 3 months ago
- Learn LaTeX online☆172Dec 31, 2025Updated 2 months ago
- TextMate support for D☆13Feb 22, 2024Updated 2 years ago
- Jisho is a powerful Japanese-English dictionary.☆23Jan 23, 2026Updated last month
- A merged read deduplication tool capable to perform merged read deduplication on single end data.☆12Sep 4, 2024Updated last year
- An offline/local search plugin for Docusaurus v2☆27Nov 28, 2024Updated last year
- This repository contains a non-copying implementation of a sliding windows iterator adaptor.☆11Jun 17, 2017Updated 8 years ago
- Homebrew formulae for numerical methods☆11Dec 27, 2021Updated 4 years ago
- Owin middleware to add modrewrite functionality☆10Jul 1, 2015Updated 10 years ago
- srt subtitle synchronization utility☆12Feb 20, 2016Updated 10 years ago
- Create database files for the genealogytree LaTeX package from GEDCOM files☆11Mar 11, 2025Updated last year