Stars
An open-source AI agent that brings the power of Gemini directly into your terminal.
An open source Prolog interpreter in JavaScript
Master the command line, in one page
The SILE Typesetter — Simon’s Improved Layout Engine
Convert PDF to HTML without losing text or format.
Bibulous - a simple drop-in replacement for BibTeX
jekyll extensions for the blogging scholar
A Citation Style Language (CSL) Cite Processor
A BibTeX library, parser, and converter for Ruby.
A repository solely for RuleML issues. No schemas or documents should be committed here.
biblatex is a sophisticated bibliography system for LaTeX users. It has considerably more features than traditional bibtex and supports UTF-8
BiBLaTeX style for Springer Lecture Notes in Computer Science
TextMate is a graphical text editor for macOS 10.12 or later
arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror repository.
Third version of Carneades, an integrated set of tools for argument (re)construction, evaluation, mapping and interchange.
LaTeX plugin for Sublime Text
Official repository for Citation Style Language (CSL) citation styles.
LaTeX support for Adobe's Pro opentype fonts: Minion Pro, Myriad Pro, Cronos Pro and possibly more
💀 The former home of Homebrew/homebrew (deprecated)