AUCTeX is a comprehensive customizable integrated environment for writing input files for TeX/LaTeX using GNU Emacs. AUCTeX lets you run TeX/LaTeX and other LaTeX-related tools, such as a output filters or post processor from inside Emacs. Especially running LaTeX' is interesting, as AUCTeX lets you browse through the errors TeX reported, while it moves the cursor directly to the reported error, and displays some documentation for that particular error. This will even work when the document is spread over several files. AUCTeX automatically indents your `LaTeX-source', not only as you write it -- you can also let it indent and format an entire document. It has a special outline feature, which can greatly help you `getting an overview' of a document.

In the Twenties, Jan Lukasiewicz developed a system of formal logic making it possible the mathematical expressions to be indicated without brackets while placing the operators avant (notation of prefix) or after (notation of suffix) the operands. The notation of suffix is named Polish notation reversed (RPN = Reverse Polish Notation) in the honor of Lukasiewicz. With this program you will be able to calculate maths expression in the Unix shell using the RPN notation and with historic and completion support.

Sunlight also includes a wide variety of software through its network of software repositories. Once your system is installed you can simply call up a list of all the existing tools out there and choose any of them for immediate installation over the internet.

Sunlight also includes a wide variety of software through its network of software repositories. Once your system is installed you can simply call up a list of all the existing tools out there and choose any of them for immediate installation over the internet.

Sunlight also includes a wide variety of software through its network of software repositories. Once your system is installed you can simply call up a list of all the existing tools out there and choose any of them for immediate installation over the internet.

This is not an accurate simulator for circuit analysis, it aims to be fast, simple and easy to use, this means simple and not very accurate electronic models and limited features. ​ Simplicity and ease of use are the key features of this simulator. You can create, simulate and interact with your circuits within minutes, just drag components from the list, drop into the circuit, connect them and push power button to see how it works. ​ SimulIDE also features a code Editor and Debugger for GcBasic, Arduino, PIC asm and AVR asm. It is still in it's firsts stages of development, with basic functionalities, but it is possible to write, compile and basic debugging with breakpoints, watch registers and global variables.

i2pd (I2P Daemon) is a full-featured C++ implementation of I2P client. I2P (Invisible Internet Protocol) is a universal anonymous network layer. All communications over I2P are anonymous and end-to-end encrypted, participants don't reveal their real IP addresses. I2P client is a software used for building and using anonymous I2P networks. Such networks are commonly used for anonymous peer-to-peer applications (filesharing, cryptocurrencies) and anonymous client-server applications (websites, instant messengers, chat-servers). I2P allows people from all around the world to communicate and share information without restrictions.

i2pd (I2P Daemon) is a full-featured C++ implementation of I2P client. I2P (Invisible Internet Protocol) is a universal anonymous network layer. All communications over I2P are anonymous and end-to-end encrypted, participants don't reveal their real IP addresses. I2P client is a software used for building and using anonymous I2P networks. Such networks are commonly used for anonymous peer-to-peer applications (filesharing, cryptocurrencies) and anonymous client-server applications (websites, instant messengers, chat-servers). I2P allows people from all around the world to communicate and share information without restrictions.

i2pd (I2P Daemon) is a full-featured C++ implementation of I2P client. I2P (Invisible Internet Protocol) is a universal anonymous network layer. All communications over I2P are anonymous and end-to-end encrypted, participants don't reveal their real IP addresses. I2P client is a software used for building and using anonymous I2P networks. Such networks are commonly used for anonymous peer-to-peer applications (filesharing, cryptocurrencies) and anonymous client-server applications (websites, instant messengers, chat-servers). I2P allows people from all around the world to communicate and share information without restrictions.

Originally developed by Greg Hewgill http://hewgill.com/pydkim/ - The code in this project has been modified and development work continued. This is now a fork of pydkim and we've renamed it dkimpy to avoid confusion. The original author of pydkim has confirmed he no longer intends to maintain it and has supports this as its continuation. Current documentation is available online at https://gathman.org/pydkim/ ARC is still in development. dkimpy 0.6.0 supports draft https://tools.ietf.org/html/draft-ietf-dmarc-arc-protocol-01 with the exception of requiring 1024 bit minimum key size (this matches the planned changes in the next update).

Features: * move, remove or rename menuentries (they stey updatable by update-grub) * edit the contents of menuentries or create new ones (internally it edits the 40_custom) * support for GRUB2 and BURG * reinstallation of the bootloader to MBR * settings like default operating system, kernel params, background image and text colors etc. * changing the installed operating system by running on a live cd Screenshots: * list view: http://postimg.org/image/kehu2luod/ * general settings: http://postimg.org/image/rmaaswoan/ * appearance settings: http://postimg.org/image/nl1cpkpa9/ * entry editor: http://postimg.org/image/ysui2x92z/ How to install: * Ubuntu: https://launchpad.net/~danielrichter2007/+archive/grub-customizer (PPA) * Other distributions: https://answers.launchpad.net/grub-customizer/+faq/1397 (compile from source)

Originally developed by Greg Hewgill http://hewgill.com/pydkim/ - The code in this project has been modified and development work continued. This is now a fork of pydkim and we've renamed it dkimpy to avoid confusion. The original author of pydkim has confirmed he no longer intends to maintain it and has supports this as its continuation. Current documentation is available online at https://gathman.org/pydkim/ ARC is still in development. dkimpy 0.6.0 supports draft https://tools.ietf.org/html/draft-ietf-dmarc-arc-protocol-01 with the exception of requiring 1024 bit minimum key size (this matches the planned changes in the next update).

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

TAPAAL is a tool for verification of Timed-Arc Petri Nets developed at Department of Computer Science at Aalborg University.

In the Twenties, Jan Lukasiewicz developed a system of formal logic making it possible the mathematical expressions to be indicated without brackets while placing the operators avant (notation of prefix) or after (notation of suffix) the operands. The notation of suffix is named Polish notation reversed (RPN = Reverse Polish Notation) in the honor of Lukasiewicz. With this program you will be able to calculate maths expression in the Unix shell using the RPN notation and with historic and completion support.

Breezy helps people collaborate on software development, by recording the history of the project, providing an easy means to copy the history around, and making it easy to merge changes between projects. Breezy is a fork of the Bazaar version control system - also hosted on Launchpad at https://launchpad.net/bzr. To find out more about Breezy, join us in #breezy on irc.oftc.net, write to us at <email address hidden>, or see the web page below. Bug handling guidelines: * https://www.breezy-vcs.org/developers/bug-handling.html

The Ncurses (new curses) library is a free software emulation of curses in System V Release 4.0, and more. It uses Terminfo format, supports pads and color and multiple highlights and forms characters and function-key mapping, and has all the other SYSV-curses enhancements over BSD Curses. The ncurses code was developed under GNU/Linux. It should port easily to any ANSI/POSIX-conforming UNIX. It has even been ported to OS/2 Warp! The distribution includes the library and support utilities, including a terminfo compiler tic, a decompiler infocmp, clear, tput, tset, and a termcap conversion tool captoinfo. Full manual pages are provided for the library and tools.

Theeram is an en-ml dictionary program developed by Nandakumar. Currently it is based on the Olam dataset (olam.in). The latest version includes: * Automated reverse dictionary search * Result read-out capability * Hotkey support * Autocompletion espeak must be installed to get pronounced output.

Member of the mancala family of board games, Awale is the official board game of Africa. This software is a pure Python implementation of the Ivory Coast rules and use MiniMax algorithm to compute adversary moves.

Member of the mancala family of board games, Awale is the official board game of Africa. This software is a pure Python implementation of the Ivory Coast rules and use MiniMax algorithm to compute adversary moves.

Member of the mancala family of board games, Awale is the official board game of Africa. This software is a pure Python implementation of the Ivory Coast rules and use MiniMax algorithm to compute adversary moves.

Email-Reminder allows users to define events for which they want to receive a reminder by email either on the day of the event and/or a few days beforehand. Possible events include: - birthdays - anniversaries - weekly, monthly and yearly events Git repository: http://repo.or.cz/w/email-reminder.git Donations: http://flattr.com/thing/311305/Email-reminder

Snap available: sudo snap install juju-lint --classic

Breezy helps people collaborate on software development, by recording the history of the project, providing an easy means to copy the history around, and making it easy to merge changes between projects. Breezy is a fork of the Bazaar version control system - also hosted on Launchpad at https://launchpad.net/bzr. To find out more about Breezy, join us in #breezy on irc.oftc.net, write to us at <email address hidden>, or see the web page below. Bug handling guidelines: * https://www.breezy-vcs.org/developers/bug-handling.html

This project contains various generic resource jobs. Jobs are smallest units of testing that can be performed by Checkbox. All jobs have an unique name. There are many types of jobs, some are fully automated others are fully manual. Resources are collections of key-value data sets that are generated by special resource jobs. They are extensively used to indicate hardware or software dependencies. For example a Bluetooth test may indicate it requires Bluetooth hardware and appropriate software packages installed.

Collection of Python modules used by PlainBox providers This package contains the CheckBox support Python 3 library, primarily used by the CheckBox provider. It should not be installed directly, but pulled in by PlainBox provider packages requiring one of the support module listed below: * checkbox_support.contrib.xrandr: provides a high level API for the XRandR extension of the X.org server. * checkbox_support.dbus.udisks2: module for working with UDisks2 from python * checkbox_support.heuristics.udev: heuristics for udev * checkbox_support.heuristics.udisks2: heuristics for udisks2 * checkbox_support.parsers.cpuinfo: parser for the /proc/cpuinfo file * checkbox_support.parsers.dmidecode: parser for the dmidecode command * checkbox_support.parsers.efi: parser for EFI information * checkbox_support.parsers.lshwjson: parser for the lshw JSON output * checkbox_support.parsers.meminfo: parser for the /proc/meminfo file * checkbox_support.parsers.modinfo: parser for modinfo information * checkbox_support.parsers.pactl: parser for the output of 'pactl list' syntax * checkbox_support.parsers.udevadm: parser for the udevadm command * checkbox_support.parsers.xinput: parser for the xinput command * checkbox_support.scripts.audio_settings manipulates PulseAudio settings. * checkbox_support.scripts.gputest_benchmark is a wrapper for the Geeks3D GpuTest benchmark. * checkbox_support.udev is a collection of utility functions for interacting with GUdev.

Subunit comes with command line filters to process a subunit stream and language bindings for python, C, C++ and shell. Bindings are easy to write for other languages. A number of useful things can be done easily with subunit: * Test aggregation: Tests run separately can be combined and then reported/displayed together. For instance, tests from different languages can be shown as a seamless whole. * Test archiving: A test run may be recorded and replayed later. * Test isolation: Tests that may crash or otherwise interact badly with each other can be run seperately and then aggregated, rather than interfering with each other. * Grid testing: subunit can act as the necessary serialisation and deserialiation to get test runs on distributed machines to be reported in real time. Subunit supplies the following filters: * tap2subunit - convert perl's TestAnythingProtocol to subunit. * subunit2pyunit - convert a subunit stream to pyunit test results. * subunit2gtk - display a subunit stream in a gtk window. * subunit2junitxml - convert a subunit stream to a JUnit XML representation. * subunit-diff - diff two subunit streams. * subunit-filter - filter out tests from a subunit stream. * subunit-ls - list the tests present in a subunit stream. * subunit-stats - generate a summary of a subunit stream. * subunit-tags - add or remove tags from a stream. A mailing list for discussion, usage and development is at https://launchpad.net/~subunit-dev - all are welcome to join. Subunit is shipped by recent Debian and Ubuntu versions. Newer versions for Ubuntu may be available from either of the two Personal Package Archives : https://launchpad.net/~subunit/+archive/ppa and https://launchpad.net/~subunit/+archive/snapshots

Sakura is a terminal emulator and it's only dependencies are GTK and VTE. It uses a notebook to provide several terminals in one window and allows to change configuration options via a contextual menu. No more no less.

Open Rails is just what the name implies - a railroad simulation platform that's open for inspection, open for continuous improvement, open to third parties and commercial enterprises, open to the community, and best of all, an open door to the future.

Written in Python and JavaScript; uses GTK+. Use online: https://nandedam.com/software/parayumpole/

Written in Python and JavaScript; uses GTK+. Use online: https://nandedam.com/software/parayumpole/

Subunit comes with command line filters to process a subunit stream and language bindings for python, C, C++ and shell. Bindings are easy to write for other languages. A number of useful things can be done easily with subunit: * Test aggregation: Tests run separately can be combined and then reported/displayed together. For instance, tests from different languages can be shown as a seamless whole. * Test archiving: A test run may be recorded and replayed later. * Test isolation: Tests that may crash or otherwise interact badly with each other can be run seperately and then aggregated, rather than interfering with each other. * Grid testing: subunit can act as the necessary serialisation and deserialiation to get test runs on distributed machines to be reported in real time. Subunit supplies the following filters: * tap2subunit - convert perl's TestAnythingProtocol to subunit. * subunit2pyunit - convert a subunit stream to pyunit test results. * subunit2gtk - display a subunit stream in a gtk window. * subunit2junitxml - convert a subunit stream to a JUnit XML representation. * subunit-diff - diff two subunit streams. * subunit-filter - filter out tests from a subunit stream. * subunit-ls - list the tests present in a subunit stream. * subunit-stats - generate a summary of a subunit stream. * subunit-tags - add or remove tags from a stream. A mailing list for discussion, usage and development is at https://launchpad.net/~subunit-dev - all are welcome to join. Subunit is shipped by recent Debian and Ubuntu versions. Newer versions for Ubuntu may be available from either of the two Personal Package Archives : https://launchpad.net/~subunit/+archive/ppa and https://launchpad.net/~subunit/+archive/snapshots

Snap available: sudo snap install juju-lint --classic