gedit plugin for composing and compiling LaTeX documents

gedit-latex-plugin

gedit plugin for composing and compiling LaTeX documents

This plugin assist you in a number of task: - Code Completion: if you type a prefix it shows you all matching commands and the structure and meaning of their arguments. If possible it shows options for the argument the cursor is in. - Assistants: there are several assistants for frequent tasks like creating the body of a new LaTeX file, inserting a graphics, inserting a table or a matrix, inserting source code listings, inserting BibTeX entries. - BibTeX Integration: an outline view is created for BibTeX files and the LaTeX completion is aware of bibliographies included per \bibliography and proposes their entries at the \cite command. BibTeX entries may be inserted with the help of a dialog. - Build System: The build system uses profiles like "PDF", "DVI" or "PostScript". Per default the plugin uses rubber for automated document compiling, but you may create your own profiles invoking the LaTeX command chain directly.

gnome-shell-extension-hamster

GNOME Shell extension for the Hamster Time Tracker

Project Hamster helps you to keep track of how much time you spend on various activities during the day. Whenever you move from one task to another, you can change your current activity, or you can record time spent afterwards.

hjson-go

Hjson for Go (program)

HJSON is a derivative of JSON designed to be more easily editable by humans. This package provides the CLI tool for manipulating HJSON.

libgnuradio-analog3.10.11

gnuradio analog functions

Library for handling analog signal processing functions. These functions are also in gnuradio-core. Part of the main gnuradio build.

libgnuradio-blocks3.10.11

gnuradio blocks functions

Some non-signal processing blocks. These functions are also in gnuradio-core. Part of the main gnuradio build.

libgnuradio-digital3.10.11

gnuradio digital communications functions

All the functions for doing digital modulation and demodulation, including bpsk, qpsk, gmsk and ofdm signals. Part of the main gnuradio build.