|
arkscript
|
3.1.3-1 |
1 |
0.00
|
A small, fast, functional scripting language |
Gryf
|
2022-03-06 16:58 (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) |
|
aniship-bin
|
0.0.4.2-7 |
0 |
0.00
|
A convenient and functional unofficial client that allows for easy viewing of anime on PCs and laptops. |
zxp19821005
|
2024-03-13 08:05 (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) |
|
alpaca
|
0.2.8-3 |
2 |
0.00
|
Functional programming inspired by ML for the Erlang VM |
NobbZ
|
2018-09-24 09:56 (UTC) |
|
agda-git
|
2.5.1.r8151.g4108da695-1 |
3 |
0.00
|
A dependently typed functional programming language and proof assistant: development version |
johngowers
|
2020-11-12 20:31 (UTC) |
|
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) |
|
afnix
|
3.8.0-2 |
1 |
0.00
|
Multi-threaded functional programming language |
meanjollies
|
2024-01-31 02:06 (UTC) |
|
afni
|
23.2.06-1 |
1 |
0.00
|
An open-source environment for processing and displaying functional MRI data |
liamtimms
|
2023-08-21 17:37 (UTC) |
|
abduco-git
|
0.6.27.g8f80aa8-1 |
4 |
0.00
|
A session management and attach/detach functionality (to use together with dvtm(1)). |
aksr
|
2019-02-03 09:52 (UTC) |