fstar-git
|
20191019-1 |
6 |
0.00
|
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
2019-10-19 23:55 (UTC) |
fstar-bin
|
2023.09.03-2 |
4 |
0.00
|
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
2024-05-31 11:01 (UTC) |
fstar
|
0.9.7.0-2 |
3 |
0.00
|
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
2019-10-20 14:49 (UTC) |
filecloudsync
|
21.1.0.5857-1 |
2 |
0.00
|
FileCloud Sync for Linux: targeted for Ubuntu (12.04 and higher). Uses GTK2. |
filecloud
|
2022-02-24 19:30 (UTC) |
es-shell-git
|
0.9.2.r47.gf879b9e-1 |
1 |
0.00
|
A extensible shell with higher-order functions, derived from the Plan 9 shell, rc. |
aksr
|
2023-12-01 09:51 (UTC) |
dune-fem
|
2.9.1-1 |
1 |
0.00
|
A discretization module providing an implementation of mathematical abstractions to solve PDEs on parallel computers including local grid adaptivity, dynamic load balancing, and higher order discretization schemes |
carlosal1015
|
2024-02-24 22:04 (UTC) |
blender-launcher-git
|
v2.2.0.rc.1.r7.ga3fa734-1 |
0 |
0.00
|
Blender Launcher is a standalone software client that provides management for stable, daily and experimental builds of Blender 3D. It is a free open source project available for 64-bit Windows and Linux (GLIBC 2.31 and higher) operating systems. |
sulthankarimov
|
2024-05-12 17:17 (UTC) |
blender-launcher-bin
|
2.1.24-3 |
0 |
0.00
|
Blender Launcher is a standalone software client that provides management for stable, daily and experimental builds of Blender 3D. It is a free open source project available for 64-bit Windows and Linux (GLIBC 2.31 and higher) operating systems. |
sulthankarimov
|
2024-04-14 01:59 (UTC) |
beluga-git
|
v0.8.1.r190.3d50c74-1 |
2 |
0.00
|
Beluga is a functional programming language designed for reasoning about formal systems. It features direct support for object-level binding constructs using higher order abstract syntax and treats contexts as first class objects. |
tsani
|
2016-02-16 05:45 (UTC) |
asyncly-git
|
heads.makepkg.r0.g2698c97-1 |
0 |
0.00
|
This library implements task executors and higher level primitives built on them |
erikzenker
|
2020-11-13 21:16 (UTC) |
android-x86-libiec61883
|
1.2.0-2 |
0 |
0.00
|
A higher level API for streaming DV, MPEG-2 and audio over Linux IEEE 1394 (Android x86) |
hipersayan_x
|
2024-04-28 18:30 (UTC) |
android-x86-64-libiec61883
|
1.2.0-2 |
0 |
0.00
|
A higher level API for streaming DV, MPEG-2 and audio over Linux IEEE 1394 (Android x86-64) |
hipersayan_x
|
2024-04-28 18:30 (UTC) |
android-armv7a-eabi-libiec61883
|
1.2.0-2 |
0 |
0.00
|
A higher level API for streaming DV, MPEG-2 and audio over Linux IEEE 1394 (Android armv7a-eabi) |
hipersayan_x
|
2024-04-28 18:29 (UTC) |
android-aarch64-libiec61883
|
1.2.0-2 |
0 |
0.00
|
A higher level API for streaming DV, MPEG-2 and audio over Linux IEEE 1394 (Android aarch64) |
hipersayan_x
|
2024-04-28 18:29 (UTC) |