51 packages found. Page 1 of 2.

1 2 Next › Last »

Name Version Votes Popularity? Description Maintainer
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
es-shell-git 0.9.1.r7.gcb395c2-1 1 0.57 A extensible shell with higher-order functions, derived from the Plan 9 shell, rc. aksr
fstar 0.9.6.0-1 3 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-bin 0.9.6.0-2 4 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
fstar-git 20180518-1 6 0.00 A Higher-Order Effectful Language Designed for Program Verification soimort
guile-gnome-platform 2.16.4-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. orphan
guile-gnome-platform-git 1:2.16.5.r0.gf775d62-1 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
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
lc3tools 12-3 8 0.00 Unix LC-3 Simulator from McGraw-Hill Higher Education blinxwang
libcello 2.0.3-1 6 0.00 cello is a library that brings higher level programming to C jetm
mcpatcher 5.0.3-1 34 0.00 Minecraft patcher to fix textures with higher than default resolution Freso
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
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
nanogui-git r344.f9c3b7a-1 1 0.00 NanoGUI is a minimalistic cross-platform widget library for OpenGL 3.x or higher. oweissbarth
nodejs-async 0.9.2-2 0 0.00 Higher-order functions and common patterns for asynchronous code dseg
opentheory 1:1.4.20180810-1 1 0.00 a tool for processing higher-order logic theory packages xrchz
opentheory-git 1.3.r1493.45d7d5e5-2 0 0.00 a tool for processing higher-order logic theory packages orphan
optiprime 1-2 5 0.00 Primusrun with vblank_mode=0 parameter (vsync disabled, higher framerate, no mouse lag). orphan
python-asciimatics 1.10.0-1 0 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. specter119
python-functoolsplus-git latest-1 0 0.00 Even higher-order functions and operations on callable objects schard
python-kazoo 2.6.1-2 0 0.00 kazoo implements a higher level API to Apache Zookeeper for Python clients. Felixoid
python-kazoo-git 2.6.0.r10.gcd49b3f-1 0 0.00 kazoo implements a higher level API to Apache Zookeeper for Python clients. Felixoid
python-pathpy-git r432.fa06dc5-1 0 0.00 Analysis of time series data on networks with higher- and multi-order graphical models gamag
python2-kazoo 2.6.1-2 0 0.00 kazoo implements a higher level API to Apache Zookeeper for Python clients. Felixoid
python2-kazoo-git 2.6.0.r10.gcd49b3f-1 0 0.00 kazoo implements a higher level API to Apache Zookeeper for Python clients. Felixoid
ros-ardent-class-loader 1.0.0-14 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. racko
ros-indigo-class-loader 0.3.9-1 2 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. jerry73204
ros-indigo-ecl-time-lite 0.61.18-1 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. jerry73204
ros-indigo-image-pipeline 1.12.16-1 2 0.00 ROS - image_pipeline fills the gap between getting raw images from a camera driver and higher-level vision processing. orphan
ros-indigo-visualization-msgs 1.11.9-1 1 0.00 ROS - visualization_msgs is a set of messages used by higher level packages, such as rviz, that deal in visualization-specific data. orphan
ros-jade-class-loader 0.3.3-1 1 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. orphan
ros-jade-image-pipeline 1.12.16-1 1 0.00 ROS - image_pipeline fills the gap between getting raw images from a camera driver and higher-level vision processing. orphan
ros-jade-visualization-msgs 1.12.4-1 1 0.00 ROS - visualization_msgs is a set of messages used by higher level packages, such as rviz, that deal in visualization-specific data. orphan
ros-kinetic-class-loader 0.3.9-1 3 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. orphan
ros-kinetic-ecl-time-lite 0.61.6-1 1 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. orphan
ros-kinetic-image-pipeline 1.12.19-1 1 0.00 ROS - image_pipeline fills the gap between getting raw images from a camera driver and higher-level vision processing. orphan
ros-kinetic-visualization-msgs 1.12.5-1 2 0.00 ROS - visualization_msgs is a set of messages used by higher level packages, such as rviz, that deal in visualization-specific data. orphan
ros-lunar-class-loader 0.3.8-1 2 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. racko
ros-lunar-image-pipeline 1.12.21-1 0 0.00 ROS - image_pipeline fills the gap between getting raw images from a camera driver and higher-level vision processing. racko
ros-lunar-visualization-msgs 1.12.5-1 2 0.00 ROS - visualization_msgs is a set of messages used by higher level packages, such as rviz, that deal in visualization-specific data. racko
ros-melodic-class-loader 0.4.1-1 1 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. bionade24
ros-melodic-ecl-time-lite 0.61.6-1 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. bionade24
ros-melodic-image-pipeline 1.12.23-1 0 0.00 ROS - image_pipeline fills the gap between getting raw images from a camera driver and higher-level vision processing. bionade24
ros-melodic-visualization-msgs 1.12.7-2 1 0.00 ROS - visualization_msgs is a set of messages used by higher level packages, such as rviz, that deal in visualization-specific data. bionade24
ruby-terminal-notifier 2.0.0-2 0 0.00 Send User Notifications on Mac OS X 10.10 or higher. farwayer
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
tablelist 6.4-1 0 0.00 A library for Tcl/Tk 8.0 or higher tequa
teyjus 2.1-1 1 0.00 An efficient implementation of the higher-order logic programming language Lambda Prolog kaptoxic
vdr-ddci2 1.0.5-2 1 0.00 Support for stand alone CI by Digital Devices for VDR 2.1.6 and higher. CReimer
worldeditor-bin 2.0.0r4-1 2 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. nic96

51 packages found. Page 1 of 2.

1 2 Next › Last »