|
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-3 |
1 |
0.00
|
Multi-threaded functional programming language |
meanjollies
|
2024-05-14 08:55 (UTC) |
|
affine-canary-bin
|
0.15.0_canary.10-1 |
0 |
0.00
|
A next-gen knowledge base that brings planning, sorting and creating all together. Privacy first, open-source, customizable and ready to use.(Test Version,use system-wide electron) |
zxp19821005
|
2024-05-17 08:36 (UTC) |
|
afetch-asm-git
|
1-1 |
0 |
0.00
|
A command-line system information tool written in x86 assembly language |
sticky-tea
|
2021-02-08 11:08 (UTC) |
|
adscript
|
0.6-1 |
0 |
0.00
|
A high-performance, s-expressions based programming language that is natively compiled. |
Luddifee
|
2021-06-06 14:42 (UTC) |
|
adms-git
|
2.3.7.r25.gcadf421-1 |
8 |
0.00
|
ADMS is a codegenerator for the VERILOG-A(MS) language |
dreieck
|
2023-10-31 16:14 (UTC) |
|
adms
|
2.3.7-1 |
13 |
0.00
|
codegenerator for the VERILOG-A(MS) language |
bidulock
|
2020-12-09 00:09 (UTC) |
|
ada_language_server-git
|
r1393.2dada1b8-1 |
1 |
0.00
|
High performance syntactic and semantic engine for the Ada programming language |
tfl5034
|
2022-02-27 21:35 (UTC) |
|
ada_language_server
|
2:24.0w-1 |
1 |
0.00
|
High performance syntactic and semantic engine for the Ada programming language. |
tfl5034
|
2023-06-15 09:25 (UTC) |
|
adaogg
|
2021.10.14-1 |
0 |
0.00
|
A complete interface layer that brings the Ogg, Vorbis, and Theora libraries to the Ada 2012 programming language. |
charlie5
|
2023-03-30 15:40 (UTC) |
|
activinspire-sk
|
2.10.66827-1 |
0 |
0.00
|
Presentation Software to use with Promethean Hardware products - SK language pack |
jose1711
|
2017-09-28 21:05 (UTC) |
|
acme-lsp
|
0.11.0-1 |
0 |
0.00
|
Language Server Protocol tools for the acme text editor |
Rubo
|
2023-07-10 19:30 (UTC) |
|
accel-ppp-vlanmon-dkms-git
|
1.12.0_57_gc983d6f-1 |
1 |
0.00
|
Accel-ppp vlan_mon kernel module sources |
orphan
|
2020-04-02 03:44 (UTC) |
|
accel-ppp-vlanmon-dkms
|
1.12.0-1 |
1 |
0.00
|
Accel-ppp vlan_mon kernel module sources |
orphan
|
2019-08-19 03:39 (UTC) |
|
abcl-git
|
r3771.91f48d55-1 |
2 |
0.00
|
Full implementation of the Common Lisp language in the JVM |
yitzi
|
2023-12-05 14:05 (UTC) |
|
a-git
|
r378.6d1fd78-1 |
0 |
0.00
|
A text editor inspired by the Sam and Acme text editors for the Plan 9 operating system. |
aksr
|
2019-05-10 07:20 (UTC) |
|
9wm
|
1.4.2-1 |
7 |
0.00
|
X11 Window Manager inspired by Plan 9's rio |
Dragonlord
|
2022-02-06 20:54 (UTC) |
|
9pfuse
|
2-1 |
5 |
0.00
|
The 9p protocol implementation for FUSE from Plan9 Port |
aperez
|
2023-11-22 21:57 (UTC) |
|
9base-git
|
20190913.117-1 |
2 |
0.00
|
Port of various original Plan9 tools to unix |
aksr
|
2023-10-25 08:42 (UTC) |
|
3bc-lang-git
|
0.1.3-1 |
0 |
0.00
|
Low level language, tiny virtual machine that works on computers and microcontrollers. (Friendly Punched cards) |
yxqsnz
|
2022-12-19 14:22 (UTC) |
|
2plan-desktop
|
2.6.0-2 |
2 |
0.00
|
A free closed-source project management system |
quibervut
|
2020-01-12 16:37 (UTC) |
|
0ad-zh-lang
|
a26.1-1 |
1 |
0.00
|
Chinese Fonts and Translations For 0ad |
xlucn
|
2023-10-28 20:26 (UTC) |