z3-stable-git
|
4.8.4.g05663592e-1 |
0 |
0.00
|
Z3 is a high-performance theorem prover being developed at Microsoft Research (built from Github) |
Ice_Phoenix
|
2019-03-12 14:50 (UTC) |
ruby-gh_inspector
|
1.1.3-2 |
0 |
0.00
|
Search through GitHub issues for your project for existing issues about a Ruby Error. |
orphan
|
2019-03-13 16:13 (UTC) |
sentinl
|
6.6.1-2 |
0 |
0.00
|
Siren Platform + Kibana Alert & Report App for Elasticsearch |
orphan
|
2019-03-20 15:22 (UTC) |
gnome-do
|
0.95.3-6 |
1 |
0.00
|
Quickly search for many items present on your desktop or the web, and perform useful actions on those items |
Rogach
|
2019-03-30 00:04 (UTC) |
libredblack
|
1.3-1 |
0 |
0.00
|
RedBlack balance tree searching and sorting library |
kyechou
|
2019-04-13 21:18 (UTC) |
qizxopen
|
4.1-3 |
0 |
0.00
|
XML indexing and searching engine, fully supporting XQuery |
jose1711
|
2019-05-01 07:01 (UTC) |
python-djangoql
|
0.12.6-2 |
0 |
0.00
|
Advanced search language for Django |
orphan
|
2019-05-07 20:12 (UTC) |
ripgrep-git
|
11.0.1.r8.5ce2d73-1 |
11 |
0.00
|
A search tool that combines the usability of The Silver Searcher with the raw speed of grep. |
burntsushi
|
2019-05-14 09:31 (UTC) |
ocrf
|
0.2-1 |
0 |
0.00
|
Optical character recognition search engine/indexer |
plasmicplexus
|
2019-07-03 17:16 (UTC) |
zotero-esr-git
|
r10433.2186e939a-2 |
1 |
0.00
|
Zotero is a free, easy-to-use tool to help you collect, organize, cite, and share your research sources. This version relies on an existing installation of Firefox ESR52. Also compiles custom poppler utils from source. |
orphan
|
2019-07-04 06:24 (UTC) |
emacs-swiper-git
|
0.12.0.r7.g039353d-1 |
0 |
0.00
|
Ivy - a generic completion frontend for Emacs, Swiper - isearch with an overview, and more. |
orphan
|
2019-07-21 18:35 (UTC) |
emacs-ag-git
|
0.47.r50.gbd81d68-1 |
0 |
0.00
|
An Emacs frontend to The Silver Searcher (binary name ag) |
orphan
|
2019-07-26 19:16 (UTC) |
hmmer2
|
2.4i-3 |
3 |
0.00
|
Profile hidden Markov models (HMMs) for database searching using consensus sequences |
mschu
|
2019-07-27 07:32 (UTC) |
psgrep
|
1.0.9-1 |
13 |
0.00
|
Process list search thru grep |
mikesd
|
2019-08-17 05:11 (UTC) |
quasselsearch-git
|
r9.e853905-1 |
0 |
0.00
|
Search your sqlite based quassel core from the command line. |
SanskritFritz
|
2019-09-28 09:15 (UTC) |
emacs-ag
|
0.48-1 |
1 |
0.00
|
An Emacs frontend to The Silver Searcher (binary name ag) |
hamki
|
2019-10-01 18:44 (UTC) |
s-git
|
r373.bce10d1-1 |
2 |
0.00
|
Open a web search in your terminal. |
aksr
|
2019-10-03 14:29 (UTC) |
gosearch-git
|
0.1.r21.518ad3c-1 |
1 |
0.00
|
A fast, real-time file searching program |
orphan
|
2019-10-16 20:01 (UTC) |
python-fvcore-git
|
r9.1f3825f-1 |
0 |
0.00
|
Collection of common code that's shared among different research projects in FAIR computer vision team. |
jerry73204
|
2019-10-17 13:44 (UTC) |
arch-wiki-cli
|
0.4-2 |
3 |
0.00
|
Search the arch wiki from the cli |
deadhead
|
2019-10-20 13:58 (UTC) |
gnome-shell-extension-installer
|
1.7-1 |
12 |
0.00
|
A bash script to search and install GNOME Shell extensions |
brunelli
|
2019-10-27 19:13 (UTC) |
the_silver_searcher_wild-git
|
2.2.0.r195.gab8bbc3-1 |
0 |
0.00
|
Allen Wild's fork of ag, which supports pcre2 and .agrc user config |
aswild
|
2019-10-28 01:34 (UTC) |
python-sbpy
|
0.2-2 |
0 |
0.00
|
A Python package for small bodies research |
orphan
|
2019-11-03 16:43 (UTC) |
we-get-git
|
1.1.0.r13.gaeec72f-1 |
2 |
0.00
|
Command-line tool for searching torrents. |
milkii
|
2019-11-17 23:43 (UTC) |
bootinfoscript
|
0.78-1 |
6 |
0.00
|
A script which searches all hard drives attached to the computer for information related to booting. |
robertfoster
|
2019-11-23 18:07 (UTC) |
xapian-omega
|
1.4.14-1 |
7 |
0.00
|
Indexers and CGI search frontend for Xapian |
orphan
|
2019-12-03 01:34 (UTC) |
v10spell-git
|
r22.gaf08869-1 |
0 |
0.00
|
The spell program from the Tenth Edition Research UNIX system. |
aksr
|
2019-12-08 09:02 (UTC) |
mrpt
|
1.5.8-1 |
1 |
0.00
|
Provides an extensive set of libraries, algorithms, and applications employed in a number of mobile robotics research areas. |
orphan
|
2019-12-13 00:41 (UTC) |
konfyt-git
|
r181.81b5295-1 |
2 |
0.00
|
A digital keyboard workstation - search for SFZs/soundfonts, create layered patches on the fly, and more |
milkii
|
2019-12-26 22:48 (UTC) |
gnome-shell-extension-remmina-search-provider
|
r50.db6f959-1 |
0 |
0.00
|
Remmina Search Provider |
petres
|
2020-01-10 11:47 (UTC) |
gridcoinresearchd-git
|
4.0.6.5.95fda5b88-1 |
1 |
0.00
|
A cryptocurrency that rewards users for participating on the BOINC network (Daemon/CLI) |
Tahvok
|
2020-01-15 17:06 (UTC) |
gridcoinresearch-qt-git
|
4.0.6.5.95fda5b88-1 |
1 |
0.00
|
A cryptocurrency that rewards users for participating on the BOINC network (Qt GUI) |
Tahvok
|
2020-01-15 17:06 (UTC) |
nodejs-wiki-cli
|
0.0.4-1 |
0 |
0.00
|
Search Wikipedia and read summaries directly in your terminal! |
Fabius
|
2020-02-17 22:12 (UTC) |
core-git
|
r2075.177f2737-1 |
0 |
0.00
|
Common Open Research Emulator |
orphan
|
2020-02-26 19:36 (UTC) |
pyneedle
|
86-3 |
6 |
0.00
|
Convenient tool created to allow you to quickly search for files in your computer, using one of the supported search engines (i.e. tracker and recoll) |
alejandro.perez
|
2020-02-27 09:53 (UTC) |
earnom
|
0.1-1 |
0 |
0.00
|
A KISS search-and-play from youtube gui script using playx |
Ellis_Cake
|
2020-03-30 14:35 (UTC) |
ugrep-git
|
2.0.2.r1.gc47f5c5-1 |
0 |
0.00
|
Ultra fast interactive searcher of file systems, text and binary files, source code, archives, compressed files, documents, and more. |
aksr
|
2020-04-22 03:42 (UTC) |
strigi
|
0.8.0.r18.e017dc9-1 |
2 |
0.00
|
File indexing and file search framework adopted by KDE |
orphan
|
2020-04-25 11:07 (UTC) |
kibana5
|
5.6.16-2 |
1 |
0.00
|
Browser based analytics and search dashboard for Elasticsearch5 series |
orphan
|
2020-04-25 19:52 (UTC) |
zyc
|
0.2.0-1 |
0 |
0.00
|
A GUI for searching and selecting parts and footprints for use in SKiDL. |
airwoodix
|
2020-04-29 19:03 (UTC) |
submarine
|
1:0.1.7b-1 |
42 |
0.00
|
Command-line program for searching and downloading the right subtitles for movies |
orphan
|
2020-05-03 08:42 (UTC) |
pick
|
4.0.0-1 |
7 |
0.00
|
A fuzzy search tool for the command line |
uffe
|
2020-05-05 20:43 (UTC) |
sachesi-bin
|
2.0.4-1 |
9 |
0.00
|
Firmware, extractor, searcher and installer for Blackberry 10 (official build) |
orphan
|
2020-05-06 19:18 (UTC) |
ngt-git
|
20200508-3 |
0 |
0.00
|
Nearest Neighbor Search with Neighborhood Graph and Tree for High-dimensional Data |
orphan
|
2020-05-08 11:59 (UTC) |
playx
|
1.5.2-0 |
2 |
0.00
|
Search and play any song from terminal. |
deepjyoti30
|
2020-05-10 08:06 (UTC) |
raidgrep-git
|
1.1.0.r7.g013776c-1 |
0 |
0.00
|
Guild Wars 2/arcdps evtc log searching tool. Built[sic] from master branch using the rust nightly toolchain. |
networkjanitor
|
2020-05-17 02:12 (UTC) |
arcade-learning-environment
|
0.6.1-3 |
0 |
0.00
|
The Arcade Learning Environment (ALE) is a simple object-oriented framework that allows researchers and hobbyists to develop AI agents for Atari 2600 games |
orphan
|
2020-05-19 14:56 (UTC) |
python-mingus
|
0.6.0-1 |
1 |
0.00
|
A package for Python used by programmers, musicians, composers and researchers to make and investigate music. |
fkxxyz
|
2020-05-31 16:48 (UTC) |
ytp-git
|
r52.b34c5cb-2 |
1 |
0.00
|
Searches and plays Youtube stuff |
eugene
|
2020-06-03 17:27 (UTC) |
skychart-data-stars
|
4.0-1 |
2 |
0.00
|
Standard stars catalog for skychart, down to magnitude 12, variables and double stars: Tycho2, GCVS, WDS. Search index for SAO, BD, HD, GC |
oldherl
|
2020-06-07 10:35 (UTC) |