| devel |
lib32-ocaml |
3.12.0-1 |
1 |
Ocaml native code compiler to generate linux 32-bit binaries on a 64-bit system. |
zorun
|
| network |
iproute-mptcp |
0.88-1 |
2 |
IP Routing Utilities, with Multipath TCP support |
zorun
|
| office |
emacs-lojban-mode |
0.7-1 |
1 |
A minor mode for text in Lojban, providing syntax highlighting |
zorun
|
| lib |
dgtal-qglviewer |
0.7.0-1 |
1 |
C++ library and tools for Digital Geometry (compiled with QGLViewer for 3D support) |
zorun
|
| lib |
dgtal |
0.7.0-1 |
2 |
C++ library and tools for Digital Geometry |
zorun
|
| science |
coq-nox |
8.4pl6-1 |
3 |
Formal proof management system. Headless version, without CoqIDE. |
zorun
|
| science |
coq-doc |
8.4pl6-2 |
3 |
HTML documentation for coq, a formal proof management system. |
zorun
|
| science |
coq |
8.4pl6-1 |
47 |
Formal proof management system. Full version that includes CoqIDE. |
zorun
|
| devel |
caml2html |
1.4.1-6 |
3 |
A tool to generate colorized html source from OCaml source code, and much more : LaTeX output, type display on hovering... (standalone binary + OCaml library) |
zorun
|
| system |
bdsync |
0.8-1 |
1 |
Fast block device synchronizing tool |
zorun
|
| network |
babeld |
1.6.2-1 |
3 |
A loop-avoiding distance-vector routing protocol |
zorun
|
| devel |
awib |
0.3-2 |
20 |
A brainfuck compiler written in brainfuck, able to generate x86 linux binaries, C code, Ruby code, Go code and Tcl code. |
zorun
|
| games |
asciiportal-git |
20150625-1 |
8 |
Text based puzzle game inspired by the popular video game. |
zorun
|
| network |
ahcpd |
0.53-5 |
3 |
The Ad-Hoc Configuration Protocol daemon |
zorun
|
| science |
ray-extra |
2.3.1-3 |
2 |
Ray scripts and XSL sheets for post-processing |
Zorino
|
| science |
ray-doc |
2.3.1-3 |
2 |
Ray documentation |
Zorino
|
| science |
ray |
2.3.1-3 |
2 |
Parallel genome assemblies for parallel DNA sequencing |
Zorino
|
| network |
netcfg-ppp-mobile-git |
20121121-1 |
1 |
PPP (mobile) support for netcfg (Git version). |
zoqaeski
|
| network |
netcfg-ppp-mobile |
1.0-1 |
0 |
PPP (mobile) support for NETCFG. |
zoqaeski
|
| lib |
python2-django-annoying |
0.8.1-1 |
0 |
A django application that tries to eliminate annoying things in the Django framework |
Zopieux
|
| devel |
lua52-cjson |
2.1.0-1 |
0 |
A fast JSON parsing and encoding support for Lua. |
Zopieux
|
| devel |
ffdec |
5.3.0-1 |
4 |
Open source Flash SWF decompiler and editor |
Zopieux
|
| devel |
django-annoying-hg |
27-1 |
0 |
Django application that try to eliminate annoying things in Django framework |
Zopieux
|
| devel |
ros-groovy-xmlrpcpp |
1.9.50-1 |
3 |
ROS - XmlRpc++ is a C++ implementation of the XML-RPC protocol. |
zootboy
|
| devel |
ros-groovy-visualization-msgs |
1.9.17-1 |
3 |
ROS - visualization messages |
zootboy
|
| devel |
ros-groovy-urdfdom-headers |
0.2.3-1 |
3 |
ROS - C++ Headers for URDF |
zootboy
|
| devel |
ros-groovy-urdfdom |
0.2.8-1 |
3 |
ROS - A library to access URDFs using the DOM model. |
zootboy
|
| devel |
ros-groovy-urdf-parser |
1.9.36-1 |
3 |
ROS - urdf parser. |
zootboy
|
| devel |
ros-groovy-urdf-interface |
1.9.36-1 |
3 |
ROS - URDF C++ interface headers. |
zootboy
|
| devel |
ros-groovy-urdf |
1.9.36-1 |
3 |
ROS - C++ parser for the Unified Robot Description Format (URDF) |
zootboy
|
| devel |
ros-groovy-turtlesim |
0.3.12-1 |
2 |
ROS - turtlesim |
zootboy
|
| devel |
ros-groovy-trajectory-msgs |
1.9.17-1 |
2 |
ROS - trajectory_msgs |
zootboy
|
| devel |
ros-groovy-topic-tools |
1.9.50-1 |
3 |
ROS - Tools for directing, throttling, selecting, etc. with ROS topics at a meta level. |
zootboy
|
| devel |
ros-groovy-timestamp-tools |
1.6.6-1 |
2 |
ROS - timestamp tools. |
zootboy
|
| devel |
ros-groovy-tf-conversions |
1.9.29-1 |
3 |
ROS - tf conversion libraries. |
zootboy
|
| devel |
ros-groovy-tf |
1.9.31-1 |
3 |
ROS - Frame transformation library. |
zootboy
|
| devel |
ros-groovy-stereo-msgs |
1.9.17-1 |
2 |
ROS - systems specific to stereo processing, such as disparity images. |
zootboy
|
| devel |
ros-groovy-std-srvs |
1.9.50-1 |
3 |
ROS - Common service definitions. Currently just the 'Empty' service. |
zootboy
|
| devel |
ros-groovy-std-msgs |
0.5.7-2 |
5 |
ROS - Standard ROS Messages. |
zootboy
|
| devel |
ros-groovy-srdfdom |
0.2.6-1 |
2 |
ROS - Parser for Semantic Robot Description Format (SRDF). |
zootboy
|
| devel |
ros-groovy-srdf |
1.9.36-1 |
2 |
ROS - SRDF (Semantic Robot Description Format) |
zootboy
|
| devel |
ros-groovy-smclib |
1.7.10-1 |
2 |
ROS - State Machine Compiler (SMC) |
zootboy
|
| devel |
ros-groovy-shape-msgs |
1.9.17-1 |
3 |
ROS - shape_msgs |
zootboy
|
| devel |
ros-groovy-sensor-msgs |
1.9.17-2 |
3 |
ROS - defines messages for commonly used sensors. |
zootboy
|
| devel |
ros-groovy-self-test |
1.7.10-1 |
2 |
ROS - self_test |
zootboy
|
| devel |
ros-groovy-rqt-py-common |
0.3.2-1 |
0 |
ROS - Common functionality for rqt plugins written in Python. |
zootboy
|
| none |
ros-groovy-rqt-bag |
0.3.2-1 |
0 |
ROS - GUI plugin for displaying and replaying ROS bag files. |
zootboy
|
| devel |
ros-groovy-roswtf |
1.9.50-1 |
3 |
ROS - a tool for diagnosing issues with a running ROS system. |
zootboy
|
| devel |
ros-groovy-rosunit |
1.9.45-1 |
5 |
ROS - Unit-testing package for ROS. |
zootboy
|
| devel |
ros-groovy-rostopic |
1.9.50-1 |
3 |
ROS - command-line tool for displaying debug information. |
zootboy
|