BibTeX, biblatex and CSL styles for the University of Bath's Harvard referencing style
☆29Jan 29, 2026Updated 6 months ago
Alternatives and similar repositories for bathbib
Users that are interested in bathbib are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A simple demonstration of a Swift implementation of a bezier curve☆11May 28, 2016Updated 10 years ago
- OCaml Bytecode Cleaner☆14Apr 19, 2022Updated 4 years ago
- Higher Algebra with Opetopic Types☆16Mar 30, 2023Updated 3 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- Extensions for the biblatex standard styles☆26Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Game of Go Web Viewer and sgf editing program☆10Mar 22, 2024Updated 2 years ago
- Synthetic Topology in Homotopy Type Theory for probabilstic programming☆13Feb 2, 2018Updated 8 years ago
- Use your iPhone to take a picture of a Go board and export the sgf☆14Jul 28, 2025Updated last year
- A Unicode library for OCaml☆17Updated this week
- ☆22Apr 12, 2024Updated 2 years ago
- A Hello World program in Coq.☆17May 28, 2022Updated 4 years ago
- GPub: Go Publishing for Glift☆18May 2, 2018Updated 8 years ago
- Command line script to create an SGF file from an image for Go/Baduk/Weiqi☆18Apr 3, 2013Updated 13 years ago
- Simple static heuristics for estimating influence maps on Go positions.☆21Updated this week
- 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.
- Context sensitive quotation facilities☆30May 19, 2026Updated 2 months ago
- line based patch, input is a unified diff☆24Jul 6, 2026Updated last month
- Two-Level Type Theory☆31Dec 13, 2019Updated 6 years ago
- a version of the 2048 game for Coq☆22Jan 30, 2026Updated 6 months ago
- Low Level Bindings to Libev☆30Updated this week
- Template project for Coq plugins using the Dune build system, showcasing some advanced features [maintainer=@ejgallego]☆23Jul 13, 2023Updated 3 years ago
- A biblatex implementation of the IEEE bibliography style☆46Jan 21, 2026Updated 6 months ago
- Type Safe Money Manipulation Library For OCaml☆30Apr 22, 2026Updated 3 months ago
- Coherence typechecker for infinity categories☆21Jun 7, 2026Updated 2 months 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.
- Pairing software for the game of go or other☆22Updated this week
- Servo formulae repo for Homebrew☆12May 8, 2017Updated 9 years ago
- software transactional memory in rust☆14Jul 20, 2021Updated 5 years ago
- Various ressources (i.e. images) related to the board game 'Go'☆27Apr 15, 2018Updated 8 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
- Learn LaTeX online☆176Jun 20, 2026Updated last month
- TextMate support for D☆13Feb 22, 2024Updated 2 years ago
- The TeX FAQ List☆57May 2, 2025Updated last year
- Rest your pinkies.☆11Oct 27, 2016Updated 9 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Moved to Codeberg☆23May 8, 2026Updated 3 months ago
- A merged read deduplication tool capable to perform merged read deduplication on single end data.☆14Sep 4, 2024Updated last year
- A HTTP client using HTTP/AF and lwt☆33Apr 3, 2025Updated last year
- 🧊 An indexed construction of semi-simplicial and semi-cubical sets☆31Aug 4, 2026Updated last week
- libFirm regression testsuite☆19Apr 29, 2020Updated 6 years ago
- A command-line program for creating and reading webloc files☆16Jan 11, 2025Updated last year
- Kifu Recorder is an Android application that aims to watch and record go (igo, baduk, weiqi) games automatically using the camera of a sm…☆28May 7, 2021Updated 5 years ago