agda-bin-git
|
2.6.2.98d4eb0-1 |
0 |
0.00
|
A dependently typed functional programming language and proof assistant: development version |
LightQuantum
|
2021-05-13 08:41 (UTC) |
android-aarch64-qt6-multimedia
|
6.7.0-1 |
0 |
0.00
|
Classes for audio, video, radio and camera functionality (android) |
Martchus
|
2024-04-04 08:56 (UTC) |
aniship-bin
|
0.0.4.2-8 |
0 |
0.00
|
A convenient and functional unofficial client that allows for easy viewing of anime on PCs and laptops. |
zxp19821005
|
2024-05-14 05:20 (UTC) |
aniship-night-appimage
|
0.0.4.2-2 |
0 |
0.00
|
A convenient and functional unofficial client that allows for easy viewing of anime on PCs and laptops. Night(early) builds. |
rootd
|
2023-06-15 08:51 (UTC) |
askpass-menu
|
0.0.1-2 |
0 |
0.00
|
Provide sudo-askpass functionalities for various menus. |
ruy16109
|
2022-01-10 19:38 (UTC) |
bchwallet
|
0.9.0-0 |
0 |
0.00
|
bchwallet is a daemon handling bitcoin cash wallet functionality for a single user. |
quest
|
2021-05-24 12:00 (UTC) |
bsdconv-git
|
11.4.r4.g9d91889-1 |
0 |
0.00
|
BSD licensed charset/encoding converter library with more functionalities than libiconv |
pkmx
|
2016-07-28 17:10 (UTC) |
bux
|
1.6.8-1 |
0 |
0.00
|
A supplemental C++ library with functionalities not directly supported from Modern C++ standard. |
buck.yeh
|
2023-02-23 15:29 (UTC) |
carto-tiler
|
2.87.1.r13.34424e71-1 |
0 |
0.00
|
CARTO Maps API tiler. It extends Windshaft with some extra functionality |
javitonino
|
2017-02-03 17:13 (UTC) |
cdd
|
2018.april.2-1 |
0 |
0.00
|
The Conserved Domain Database is a resource for the annotation of functional units in proteins. Its collection of domain models includes a set curated by NCBI, which utilizes 3D structure to provide insights into sequence/structure/function relationships. |
anadon
|
2018-04-04 20:26 (UTC) |
clean-itasks-dev-bin
|
20191209-1 |
0 |
0.00
|
Provides the functional programming language Clean and the iTasks system. |
orphan
|
2019-12-09 10:52 (UTC) |
code-eli-git
|
r836.7ea8de1-1 |
0 |
0.00
|
Collection of C++ libraries that provide a variety of functionalities. |
acxz
|
2022-02-23 01:41 (UTC) |
cotp-git
|
1.4.5.r1.g16963ad-2 |
0 |
0.00
|
Trustworthy, encrypted, command-line TOTP/HOTP authenticator app with import functionality |
alerque
|
2024-03-26 08:56 (UTC) |
crumb
|
1.0-1.0 |
0 |
0.00
|
Crumb is a high level, functional, interpreted, dynamically typed, general-purpose programming language, with a terse syntax, and a verbose standard library. |
wtryknght
|
2023-11-02 00:47 (UTC) |
dftd3
|
3.2.0-1 |
0 |
0.00
|
A dispersion correction for density functionals, Hartree-Fock and semi-empirical quantum chemical methods |
berquist
|
2020-06-10 02:27 (UTC) |
discimagecreator-bin
|
20240401-1 |
0 |
0.00
|
DiscImageCreator, official release with supplemental binaries and text files for full functionality. |
jswagner
|
2024-04-03 03:39 (UTC) |
disklow
|
1.2-1 |
0 |
0.00
|
Fine grained disk space reporting with emphasis on mail functionality |
Fantail
|
2019-09-04 00:23 (UTC) |
droidrunco
|
2.4.2-1 |
0 |
0.00
|
Minimalist, functional Android debloat tool in Go |
robertfoster
|
2024-01-13 05:58 (UTC) |
edrawmind-bin
|
10.5.4-1 |
0 |
0.00
|
Multi-functional, good-looking, easy-to-use professional mind mapping software |
taotieren
|
2023-09-26 05:48 (UTC) |
effuvv
|
0.0.20171212-1 |
0 |
0.00
|
Functional archlinux system configuration tool |
sdellysse
|
2017-12-12 05:58 (UTC) |
electron-music-player
|
0.8.8-8 |
0 |
0.00
|
A functional music player for FLAC, mp3, and m4a audio. |
zxp19821005
|
2024-05-14 11:04 (UTC) |
elixir-git
|
1.9.0-1 |
0 |
0.00
|
a functional meta-programming aware language built on top of the Erlang VM |
orphan
|
2019-06-24 15:30 (UTC) |
elm-compiler
|
0.19.1-1 |
0 |
0.00
|
Compiler for Elm, a functional language for reliable webapps |
cheatsc
|
2023-01-17 10:42 (UTC) |
elm-git
|
0.18.0.r1814.g047d5026-2 |
0 |
0.00
|
Compiler for Elm, a functional language for reliable webapps |
cheatsc
|
2023-01-17 10:32 (UTC) |
evaltool-bin
|
1.11.1-1 |
0 |
0.00
|
Explore and test functionality of the Inertial Sense products in real-time |
AchmadFathoni
|
2024-02-16 10:58 (UTC) |
f1multiviewer-digiflag
|
2.6.7-1 |
0 |
0.00
|
Adding a DigiFlag functionality to MultiViewer For F1 |
AntiComposite
|
2024-05-04 21:49 (UTC) |
fexl-git
|
1:27.18.0.r12.83e9b05-1 |
0 |
0.00
|
Simple but powerful functional scripting language |
orphan
|
2023-06-20 01:24 (UTC) |
find-broken-desktop
|
1.3-3 |
0 |
0.00
|
Find desktop entries files with broken executables. Similar in functionality to fbrokendesktop, but written in python to avoid some of the shortcomings of parsing .desktop files with shell scripts |
FirstAirBender
|
2023-11-04 09:49 (UTC) |
fleur-develop
|
latest-4 |
0 |
0.00
|
FLEUR is a feature-full and freely available FLAPW (full-potential linearized augmented planewave) code, based on density-functional theory. |
R.Hilgers
|
2020-07-11 16:13 (UTC) |
flix
|
0.35.0-1 |
0 |
0.00
|
Next-generation reliable, safe, concise, and functional-first programming language. |
sam.ezeh
|
2023-05-04 12:49 (UTC) |
freeglut-x11-git
|
3.4.0.r27.g3f4a4dff-1 |
0 |
0.00
|
Provides functionality for small OpenGL programs - X11 version |
grandchild
|
2023-11-27 19:55 (UTC) |
freeglut-wayland-git
|
3.4.0.r27.g3f4a4dff-1 |
0 |
0.00
|
Provides functionality for small OpenGL programs - Wayland version |
grandchild
|
2023-11-27 19:55 (UTC) |
funcd-git
|
r22.ae55f2a-2 |
0 |
0.00
|
Daemon for functional keys (works without X11) |
EgorCod.TK
|
2019-02-24 11:28 (UTC) |
gr-lora_sdr-git
|
0.4.0-1 |
0 |
0.00
|
GNU Radio blocks for fully-functional LoRa transceiver |
Martynvandijke60
|
2021-08-20 09:20 (UTC) |
gummi-gtk2-git
|
0.6.7.3-3 |
0 |
0.00
|
Simple LaTex editor for GTK users (addtions to the original Gummi include: commenting functionality, cut/duplicate/delete line, reopening previously open files) |
diepfote
|
2020-01-19 21:56 (UTC) |
hamler-bin
|
0.2.2-1 |
0 |
0.00
|
Haskell-style functional programming language running on Erlang VM. |
orphan
|
2020-12-24 11:54 (UTC) |
haskell-lambdabot-core
|
5.3.0.2-1 |
0 |
0.00
|
lambdabot core functionality |
cafce25
|
2022-03-18 18:37 (UTC) |
haskell-llvm-hs-pure
|
9.0.0-2 |
0 |
0.00
|
Pure Haskell LLVM functionality (no FFI) |
stelleg
|
2021-03-11 15:46 (UTC) |
haskell-lsp-test-git
|
1.1.1.0.r417.gcd5708b-1 |
0 |
0.00
|
Functional test framework for LSP servers. |
berberman
|
2021-03-09 10:43 (UTC) |
haskell-posix-paths
|
0.3.0.0-1 |
0 |
0.00
|
POSIX filepath/directory functionality |
zaidan
|
2024-04-14 13:53 (UTC) |
hmcl-bin-dev
|
3.5.7.247-1 |
0 |
0.00
|
A Minecraft Launcher which is multi-functional, cross-platform and popular.(development version) |
Grayer0113
|
2024-05-21 02:35 (UTC) |
hvm-git
|
r841.5e52131-1 |
0 |
0.00
|
A massively parallel, optimal functional runtime in Rust |
AronYoung
|
2023-06-23 13:23 (UTC) |
inso-bin
|
3.16.0-1 |
0 |
0.00
|
Allows you to use Insomnia application functionality in your terminal and CI/CD environments for automation. |
anaji
|
2023-06-04 20:42 (UTC) |
kc
|
2.5.3-1 |
0 |
0.00
|
console-based password manager - basic functionality with readline support |
daniell
|
2024-03-08 22:03 (UTC) |
kdepim-runtime-git
|
24.04.40_r16549.g8512a98d6-1 |
0 |
0.00
|
Extends the functionality of kdepim |
IslandC0der
|
2024-03-01 06:41 (UTC) |
kernel-modules-hook-hardlinks
|
0.2.4-1 |
0 |
0.00
|
Keeps your system fully functional after a kernel upgrade |
VannTen
|
2023-07-05 13:04 (UTC) |
kglobalacceld-git
|
_r237.g8827cbc-1 |
0 |
0.00
|
Daemon providing Global Keyboard Shortcut (Accelerator) functionality |
orphan
|
2023-06-13 01:23 (UTC) |
kiwivm-ga
|
0.1.0-2 |
0 |
0.00
|
Required package for full functionality of the BandwagonHost KiwiVM control panel. |
unknowndev
|
2023-10-28 06:31 (UTC) |
lap-git
|
r19.148013a-1 |
0 |
0.00
|
A functional style C++11 library for parsing command line arguments |
gilzoide
|
2016-07-05 14:29 (UTC) |
libfido2-full
|
1.14.0-1 |
0 |
0.00
|
Library functionality for FIDO 2.0, with support for USB, NFC, and PCSC devices |
BryanJacobs
|
2024-05-08 01:09 (UTC) |