eprover
|
2.6-1 |
11 |
0.00
|
E is theorem prover for full first-order logic with equality. |
asch
|
2022-06-16 10:56 (UTC) |
eqp
|
09e-3 |
0 |
0.00
|
Equational Prover (Theorem Prover for First-Order Equational Logic) |
oriba
|
2021-08-12 20:49 (UTC) |
equestria-fonts
|
20140909-2 |
3 |
0.00
|
Irregular, irreverent typeface based on logos for Hasbro’s My Little Pony Line |
alerque
|
2021-06-01 12:33 (UTC) |
erlang-lager
|
3.6.4-1 |
0 |
0.00
|
Erlang logging framework |
zhustec
|
2018-08-12 10:05 (UTC) |
eso-logs-uploader-bin
|
6.0.2-1 |
0 |
0.00
|
Official log uploader application for esologs.com |
jkhsjdhjs
|
2023-04-05 17:59 (UTC) |
espresso-logic
|
1.1.1-1 |
3 |
0.00
|
The espresso PLA logic minimization program |
orphan
|
2020-04-11 03:04 (UTC) |
eudaemon-git
|
r56.93186f6-2 |
0 |
0.00
|
Monitor and log activity, improve awareness and empower user to improve it's habits. |
danisztls
|
2024-05-10 07:53 (UTC) |
evs
|
20161229.215801-3 |
0 |
0.00
|
A tool for phylogenetic biogeography |
malacology
|
2022-08-29 22:40 (UTC) |
evtc-watch-git
|
r9.816c97b-1 |
0 |
0.00
|
Guild Wars 2/arcdps evtc log zipper and dps.report uploader with discord bot notification. Build from master branch using the rust toolchain. |
networkjanitor
|
2020-06-11 16:19 (UTC) |
exonerate
|
2.4.0-2 |
3 |
0.00
|
A general purpose tool for biological sequence comparison |
malacology
|
2024-02-13 04:43 (UTC) |
fastdnaml
|
1.2.2-0 |
0 |
0.00
|
A tool for construction of phylogenetic trees of DNA sequences using maximum likelihood https://doi.org/10.1093/bioinformatics/10.1.41 |
malacology
|
2024-02-05 02:14 (UTC) |
fastme
|
2.1.6.3-1 |
0 |
0.00
|
a comprehensive, accurate and fast distance-based phylogeny inference program https://doi.org/10.1093/molbev/msv150 |
malacology
|
2023-10-11 09:46 (UTC) |
faustfilters
|
0.4.0-1 |
1 |
0.00
|
A collection of virtual-analog filter plugins |
SpotlightKid
|
2024-03-12 18:13 (UTC) |
faustfilters-git
|
0.3.0.r0.g5d74237-1 |
0 |
0.00
|
A collection of virtual-analog filter plugins (git version) |
SpotlightKid
|
2020-08-10 12:52 (UTC) |
fblog-bin
|
4.10.0-1 |
0 |
0.00
|
Small command-line JSON log viewer |
orhun
|
2024-05-21 18:01 (UTC) |
fblog-git
|
4.10.0.r0.g2510306-1 |
0 |
0.00
|
Small command-line JSON log viewer (git) |
orhun
|
2024-05-21 18:06 (UTC) |
fdcurses
|
24.2.19-1 |
0 |
0.00
|
Ham Radio - ARRL Field Day logger CURSES |
not_anonymous
|
2024-02-25 16:02 (UTC) |
fdlog
|
152i-6 |
0 |
0.00
|
Ham Radio - Field Day Logger with networked nodes |
not_anonymous
|
2022-12-17 18:41 (UTC) |
fdlogger
|
24.3.2-1 |
0 |
0.00
|
Ham Radio - ARRL Field Day logger GUI |
not_anonymous
|
2024-03-05 04:36 (UTC) |
fdlogger-git
|
r417.9e6612e-1 |
0 |
0.00
|
Ham Radio - ARRL Field Day logger GUI - GIT version |
not_anonymous
|
2023-09-26 18:18 (UTC) |
fdserver
|
24.2.19-1 |
0 |
0.00
|
Ham Radio - ARRL Field Day - Multi-user Server for clients using the fdlogger package |
not_anonymous
|
2024-02-25 15:50 (UTC) |
fdserver-git
|
r25.6d75263-1 |
0 |
0.00
|
Ham Radio - ARRL Field Day - Multi-user Server for clients using the fdlogger package - GIT version |
not_anonymous
|
2023-09-27 03:20 (UTC) |
fefeblog-consoleview-git
|
20221016.03.r9.20221016.35d2656-1 |
0 |
0.00
|
Simble bash script to view 'Fefes Blog' (http://blog.fefe.de/) on the console. |
dreieck
|
2023-10-31 16:46 (UTC) |
fflogs-uploader-appimage
|
8.5.16-1 |
0 |
0.00
|
FFLogs Uploader appimage |
beefwarrior
|
2024-06-13 04:14 (UTC) |
fifo-browser-bin
|
1.3.1-10 |
0 |
0.00
|
A modern web browser, built on top of modern web technologies such as Electron and React that is mean't to be secure. |
zxp19821005
|
2024-05-30 10:46 (UTC) |
figtree
|
1.4.4-10 |
0 |
0.00
|
Graphical viewer of phylogenetic trees |
malacology
|
2023-04-04 19:02 (UTC) |
figtree-bin
|
1.4.4-2 |
4 |
0.00
|
Graphical viewer of phylogenetic trees |
Rhinoceros
|
2023-11-02 22:08 (UTC) |
fiji-plugin-morpholibj
|
1.6.2-0 |
0 |
0.00
|
Collection of mathematical morphology methods and plugins for ImageJ (Fiji version) |
althonos
|
2023-10-26 08:20 (UTC) |
filebeat-bin
|
8.2.3-1 |
1 |
0.00
|
Filebeat sends log files to Logstash or directly to Elasticsearch |
orphan
|
2022-06-20 10:24 (UTC) |
flashy
|
1.6.0-1 |
0 |
0.00
|
Java tool to handle firmware and logic flashing for iniVation devices. |
inivation
|
2022-05-25 20:40 (UTC) |
flecli-git
|
0.1.5.r18.g9f0664d-1 |
0 |
0.00
|
Multi-platform "Fast Log Entry"(FLE) processing tool |
nmaggioni
|
2023-07-18 20:23 (UTC) |
fleng
|
20-1 |
0 |
0.00
|
A low level concurrent logic programming language descended from Prolog |
aarroyoc
|
2024-03-16 17:08 (UTC) |
fllog
|
1.2.8-1 |
4 |
0.00
|
An Amateur Radio Logbook |
adsun
|
2024-01-18 13:20 (UTC) |
flog-bin
|
0.4.3-1 |
0 |
0.00
|
A fake log generator for common log formats |
orphan
|
2020-11-18 01:14 (UTC) |
fluent-bit-git
|
1.3.0.r432.g66837f34-1 |
0 |
0.00
|
Collect data/logs from different sources, unify and send them to multiple destinations |
orphan
|
2020-02-26 03:38 (UTC) |
fluffy-git
|
r60.69ee969-1 |
0 |
0.00
|
Tools for Network Archaeology (internet protocol analysis) |
AGausmann
|
2018-01-09 05:56 (UTC) |
flwkey
|
1.2.3-2 |
0 |
0.00
|
Ham Radio / Morse Code - WinKeyer CW Interface control & logbook |
not_anonymous
|
2022-02-21 23:11 (UTC) |
flysight-viewer-qt-git
|
r540.131f465-1 |
0 |
0.00
|
Viewer application for flysight GPS log data |
mcoffin
|
2017-08-29 18:49 (UTC) |
fomu-verilog-blink
|
0.1-1 |
0 |
0.00
|
Blink test for FOMU FPGA ? |
GNUtoo
|
2022-04-27 16:06 (UTC) |
fontastic-bin
|
0.2.0-4 |
0 |
0.00
|
A stunning font management and cataloging application. |
zxp19821005
|
2024-05-17 09:33 (UTC) |
fonts-cjk-sc-yrdzst
|
r17.6c32da2-1 |
1 |
0.00
|
杨润东竹石体:本套字体授权全社会免费商用,意味着您可以将其无限制地捆入您的商业产品中,如海报、包装、logo、网页、APP 等 |
taotieren
|
2023-12-06 16:51 (UTC) |
avisynth-plugin-delogohd-git
|
12.0.g7e39809-1 |
1 |
0.00
|
Plugin for Avisynth: delogohd (GIT version) |
sl1pkn07
|
2023-02-14 22:58 (UTC) |
vapoursynth-plugin-delogohd-git
|
12.0.g7e39809-1 |
1 |
0.00
|
Plugin for Vapoursynth: delogohd (GIT version) |
sl1pkn07
|
2023-02-14 22:58 (UTC) |
forkstat
|
0.03.02-1 |
2 |
0.00
|
logs process fork(), exec() and exit() activity. |
ebal
|
2024-01-14 10:30 (UTC) |
freemol-svn
|
r158-1 |
0 |
0.00
|
FreeMOL is an assembly of free and open source programs forming a framework for computational chemistry, informatics, structural biology and graphics |
orphan
|
2019-04-16 18:19 (UTC) |
frog
|
0.33-1 |
1 |
0.00
|
Frog is an integration of memory-based natural language processing (NLP) modules developed for Dutch. It includes a tokenizer, part-of-speech tagger, lemmatizer, morphological analyser, named entity recognition, shallow parser and dependency parser. |
proycon
|
2024-05-17 09:16 (UTC) |
fst
|
0.123.0-1 |
0 |
0.00
|
Free Studio Technology |
orphan
|
2024-03-19 23:05 (UTC) |
fwlogwatch
|
1.5-3 |
6 |
0.00
|
A packet filter/firewall/IDS log analyzer |
orphan
|
2016-05-02 01:38 (UTC) |
g13-git
|
v1.0.4.r0.g0a8d6e8-1 |
6 |
0.00
|
Userspace driver for the Logitech G13 Keyboard |
khampf
|
2020-05-22 21:20 (UTC) |
g15message
|
1.2-4 |
0 |
0.00
|
A simple message/alert tool for g15daemon and the Logitech G15. |
orphan
|
2022-05-14 19:21 (UTC) |