opentheory
|
1:1.4.20180810-1 |
1 |
0.00
|
a tool for processing higher-order logic theory packages |
xrchz
|
2018-09-27 12:13 (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) |
python-kicad-gitdiff
|
0.0.4-0 |
0 |
0.00
|
Simple visual diff for kicad 7 or higher. one can easily extend this tool to build a diff-er for anything that outputs svg. |
taotieren
|
2023-08-03 10:18 (UTC) |
guile-gnome-platform
|
2.16.5-1 |
0 |
0.00
|
Binding between Guile Scheme and the Gnome stack of libraries. (fe. Pango, GTK+, Cairo, GStreamer, Glade, GtkSourceView and else). To build wrappers for GTK+ and higher in the stack, you will first need Guile-Cairo. |
tallero
|
2019-11-06 04:41 (UTC) |
blender-launcher-git
|
v2.1.24.r6.g522706a-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-04-14 01:54 (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) |
quatrack
|
0.6.2-1 |
0 |
0.00
|
Hit the keyboard/click the screen with the music beat, enjoy the geometric style animation, get higher scores, and challenge your record! |
su226
|
2024-04-20 07:18 (UTC) |
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
|
0.9.7.0-1 |
4 |
0.00
|
A Higher-Order Effectful Language Designed for Program Verification |
soimort
|
2019-10-20 00:11 (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) |
judge
|
0.0.2-1 |
0 |
0.00
|
Evaluate the quality of jpeg images (e.g. to guess which was saved with higher quality). |
severach
|
2015-09-16 11:48 (UTC) |
hexcore-link
|
2.5.9-1 |
0 |
0.00
|
Hexcore Link for ANNE PRO 2D and other keyboards with firmware versions higher than 3.0 |
ScoopNewsworthy
|
2023-12-16 17:47 (UTC) |
stainless-git
|
v0.9.8.1.r5.1890d8ca-1 |
1 |
0.00
|
Verification framework and tool for higher-order Scala programs |
sankalpgambhir
|
2023-10-24 12:26 (UTC) |
javafoil
|
2.29-1 |
0 |
0.00
|
Potential flow analysis using a higher order panel method. |
SandFloh
|
2022-07-13 15:34 (UTC) |
python-asyncio-dgram
|
1.2.0-1 |
0 |
0.00
|
Higher level Datagram support for Asyncio |
RX14
|
2021-01-25 23:32 (UTC) |
mcpatcher3
|
3.0.4_02-1 |
0 |
0.00
|
Minecraft patcher to fix textures with higher than default resolution. For Minecraft 1.5.x. |
Freso
|
2015-07-28 10:19 (UTC) |
mcpatcher2
|
2.4.5_04-2 |
2 |
0.00
|
Minecraft patcher to fix textures with higher than default resolution. For Minecraft versions 1.4.x and earlier. |
Freso
|
2015-07-28 10:36 (UTC) |
python-asciimatics
|
1.15.0-1 |
2 |
0.00
|
A cross platform package to do curses-like operations, plus higher level APIs and widgets to create text UIs and ASCII art animations |
flipee
|
2024-01-22 19:38 (UTC) |
worldeditor-bin
|
2.5.0r3-1 |
4 |
0.00
|
WorldEditor (WED) is a CAD-like graphic editor that lets you create custom airport layouts. It is designed for X-Plane, and works with apt.dat version 850 and higher. |
flafflar
|
2023-02-09 08:58 (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) |
python-kazoo-git
|
2.6.0.r60.g9bb8499-2 |
0 |
0.00
|
kazoo implements a higher level API to Apache Zookeeper for Python clients. |
Felixoid
|
2022-08-03 08:10 (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) |
ssr-git
|
0.4.2.r78.g989568c-7 |
3 |
0.00
|
A tool for real-time spatial audio reproduction providing a variety of rendering algorithms, e.g. Wave Field Synthesis, Higher-Order Ambisonics and binaural techniques. |
dvzrv
|
2018-03-11 12:23 (UTC) |
python-xsge
|
2021.10.11-3 |
0 |
0.00
|
xSGE is a collection of higher-level extensions for the SGE which enhance the core functionality in an implementation-independent way. |
CrisisModel
|
2023-01-31 00:48 (UTC) |
vdr-ddci2
|
1.0.5-9 |
1 |
0.00
|
Support for stand alone CI by Digital Devices for VDR 2.1.6 and higher. |
CReimer
|
2024-04-24 17:59 (UTC) |
python-bezier
|
2023.7.28-1 |
0 |
0.00
|
Helper for Bézier Curves, Triangles, and Higher Order Objects |
carlosal1015
|
2023-08-22 22:45 (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) |
lc3tools
|
12-3 |
8 |
0.00
|
Unix LC-3 Simulator from McGraw-Hill Higher Education |
blinxwang
|
2015-06-09 17:01 (UTC) |
r-schot
|
1.14.0-1 |
0 |
0.00
|
single-cell higher order testing |
BioArchLinuxBot
|
2023-10-28 12:21 (UTC) |
r-fdrtool
|
1.2.17-11 |
0 |
0.00
|
Estimation of (Local) False Discovery Rates and Higher Criticism |
BioArchLinuxBot
|
2024-04-24 19:01 (UTC) |
r-compartmap
|
1.20.0-1 |
0 |
0.00
|
Higher-order chromatin domain inference in single cells from scRNA-seq and scATAC-seq |
BioArchLinuxBot
|
2024-04-13 18:04 (UTC) |
r-bprmeth
|
1.28.0-1 |
0 |
0.00
|
Model higher-order methylation profiles |
BioArchLinuxBot
|
2023-10-26 02:06 (UTC) |
guile-gnome-platform-git
|
1:2.16.5.r0.gf775d62-2 |
4 |
0.00
|
Binding between Guile Scheme and the Gnome stack of libraries. (fe. Pango, GTK+, Cairo, GStreamer, Glade, GtkSourceView and else). To build wrappers for GTK+ and higher in the stack, you will first need Guile-Cairo. |
bidulock
|
2019-11-08 00:07 (UTC) |
teyjus
|
2.1-1 |
1 |
0.00
|
An efficient implementation of the higher-order logic programming language Lambda Prolog |
aspirogrammer
|
2016-04-20 05:43 (UTC) |
python-pathpy2
|
2.2.0-2 |
1 |
0.00
|
An OpenSource python package for the analysis and visualisation of time series data on complex networks with higher- and multi-order graphical models. |
AlexBocken
|
2023-03-03 09:38 (UTC) |
lua53-lcmark-git
|
0.29.0.5.r0.g320a347-2 |
1 |
0.00
|
A higher level Lua interface exposing lua-cmark features |
alerque
|
2024-03-26 11:02 (UTC) |
lua53-lcmark
|
0.30.2-1 |
2 |
0.00
|
A higher level Lua interface exposing lua-cmark features |
alerque
|
2022-08-08 19:06 (UTC) |
lua52-lcmark-git
|
0.29.0.5.r0.g320a347-2 |
1 |
0.00
|
A higher level Lua interface exposing lua-cmark features |
alerque
|
2024-03-26 11:02 (UTC) |
lua52-lcmark
|
0.30.2-1 |
2 |
0.00
|
A higher level Lua interface exposing lua-cmark features |
alerque
|
2022-08-08 19:06 (UTC) |
lua51-lcmark-git
|
0.29.0.5.r0.g320a347-2 |
1 |
0.00
|
A higher level Lua interface exposing lua-cmark features |
alerque
|
2024-03-26 11:02 (UTC) |
lua51-lcmark
|
0.30.2-1 |
2 |
0.00
|
A higher level Lua interface exposing lua-cmark features |
alerque
|
2022-08-08 19:06 (UTC) |
lua-lcmark-git
|
0.29.0.5.r0.g320a347-2 |
1 |
0.00
|
A higher level Lua interface exposing lua-cmark features |
alerque
|
2024-03-26 11:02 (UTC) |
lua-lcmark
|
0.30.2-1 |
2 |
0.00
|
A higher level Lua interface exposing lua-cmark features |
alerque
|
2022-08-08 19:06 (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) |
gudhi
|
3.0.0-2 |
1 |
0.00
|
Geometry understanding in higher dimensions |
ajalonso
|
2020-02-05 05:42 (UTC) |
ros-noetic-visualization-msgs
|
1.13.1-1 |
0 |
0.00
|
ROS - visualization_msgs is a set of messages used by higher level packages, such as rviz, that deal in visualization-specific data. |
acxz
|
2021-05-07 10:56 (UTC) |
ros-noetic-image-pipeline
|
1.16.0-1 |
0 |
0.00
|
ROS - image_pipeline fills the gap between getting raw images from a camera driver and higher-level vision processing. |
acxz
|
2021-12-25 07:07 (UTC) |
ros-noetic-ecl-time-lite
|
0.61.6-2 |
0 |
0.00
|
ROS - Provides a portable set of time functions that are especially useful for porting other code or being wrapped by higher level c++ classes. |
acxz
|
2020-05-24 16:36 (UTC) |
ros-noetic-class-loader
|
0.5.0-2 |
0 |
0.00
|
ROS - The class_loader package is a ROS-independent package for loading plugins during runtime and the foundation of the higher level ROS pluginlib library. |
acxz
|
2020-05-24 16:33 (UTC) |
ruby-terminal-notifier
|
2.0.0-2 |
0 |
0.00
|
Send User Notifications on Mac OS X 10.10 or higher. |
orphan
|
2019-03-13 16:34 (UTC) |