|
ros-noetic-vision-opencv
|
1.16.2-1 |
0 |
0.00
|
ROS - Packages for interfacing ROS with OpenCV, a library of programming functions for real time computer vision. |
acxz
|
2022-10-07 17:25 (UTC) |
|
ros-noetic-ecl-utilities
|
0.62.2-1 |
0 |
0.00
|
ROS - Includes various supporting tools and utilities for c++ programming. |
acxz
|
2020-05-24 16:37 (UTC) |
|
ros-noetic-ecl-threads
|
0.62.2-1 |
0 |
0.00
|
ROS - This package provides the c++ extensions for a variety of threaded programming tools. |
acxz
|
2020-05-24 16:36 (UTC) |
|
ros-noetic-ecl-mpl
|
0.62.2-1 |
0 |
0.00
|
ROS - Metaprogramming tools move alot of runtime calculations to be shifted to compile time. |
acxz
|
2020-05-24 16:36 (UTC) |
|
ifopt
|
2.1.3-1 |
0 |
0.00
|
An Eigen-based, light-weight C++ Interface to Nonlinear Programming Solvers (Ipopt, Snopt) |
acxz
|
2022-07-01 12:18 (UTC) |
|
python-generic
|
1.1.2-1 |
0 |
0.00
|
Library for Generic programming, also known as Multiple dispatch |
actionless
|
2023-05-19 02:08 (UTC) |
|
stanza
|
0.12.15-1 |
0 |
0.00
|
The reference compiler for Stanza, a high-level multi-paradigm optionally-typed programming language. |
abeaumont
|
2019-04-08 09:54 (UTC) |
|
picat
|
3.5-1 |
2 |
0.00
|
A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications. |
abeaumont
|
2023-07-10 20:53 (UTC) |
|
scryer-prolog
|
0.9.4-1 |
1 |
0.00
|
An open source industrial strength production environment that is also a testbed for bleeding edge research in logic and constraint programming |
aarroyoc
|
2024-03-17 10:21 (UTC) |
|
fleng
|
20-1 |
0 |
0.00
|
A low level concurrent logic programming language descended from Prolog |
aarroyoc
|
2024-03-16 17:08 (UTC) |
|
eclipse-clp
|
7.0.63-1 |
0 |
0.00
|
Constraint Logic Programming System |
aarroyoc
|
2023-09-10 13:48 (UTC) |
|
ciao-lang
|
1.23.0.m1-1 |
0 |
0.00
|
Ciao is a general purpose, multi-paradigm programming language in the Prolog family |
aarroyoc
|
2024-03-17 10:24 (UTC) |
|
nimble-git
|
1:1.6.8.r1359.a852b2e9cf-1 |
9 |
0.01
|
Package manager for the Nim programming language |
0x647262
|
2023-05-20 16:26 (UTC) |
|
nim-git
|
1:1.6.8.r1359.a852b2e9cf-1 |
9 |
0.01
|
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority). |
0x647262
|
2023-05-20 16:26 (UTC) |
|
zoem
|
21.341-1 |
1 |
0.00
|
Zoem programming language |
orphan
|
2022-09-30 20:42 (UTC) |
|
zkl
|
1.14.7-2 |
0 |
0.00
|
The zkl programming language |
orphan
|
2021-04-03 22:11 (UTC) |
|
zigmod
|
1:r78-1 |
0 |
0.00
|
A package manager for the Zig programming language |
orphan
|
2022-04-19 05:04 (UTC) |
|
xtrx-xc3sprog-git
|
r813.d97d672-1 |
0 |
0.00
|
Suite of utilities for programming Xilinx FPGAs, CPLDs, and EEPROMs with the Xilinx Parallel Cable and other JTAG adapters under Linux. Special branch for XTRX over USB3 adapter |
orphan
|
2019-04-24 02:30 (UTC) |
|
xlogo
|
0.9.96pre-1 |
10 |
0.00
|
Logo interpreter written in Java, to teach programming to children with a graphical turtle |
orphan
|
2020-01-06 20:23 (UTC) |
|
whistle
|
0.0.2-2 |
0 |
0.00
|
A dope new programming language that still doesnt have a std library. |
orphan
|
2022-03-17 00:21 (UTC) |
|
voxel-lang
|
1.0.5-1 |
0 |
0.00
|
Voxel Programming Language Installer |
orphan
|
2022-10-11 14:11 (UTC) |
|
uivonim
|
0.29.0-2 |
0 |
0.00
|
Neovim GUI designed for programming |
orphan
|
2022-07-18 16:11 (UTC) |
|
turtlico-git
|
0.5.0.r107.g043b23c-1 |
0 |
0.00
|
The easy programming tool |
orphan
|
2021-10-24 09:16 (UTC) |
|
turingarena-git
|
r596.e21ed289-1 |
0 |
0.00
|
A framework to host programming competitions |
orphan
|
2020-01-11 16:05 (UTC) |
|
tmtools
|
20170708-1 |
1 |
0.00
|
TM-align is a computer algorithm for protein structure alignment using dynamic programming and TM-score rotation matrix |
orphan
|
2018-01-31 15:44 (UTC) |
|
testlib
|
0.9.41-1 |
0 |
0.00
|
A library used to write the auxiliary programs (validators, generators, and so on) for programming contest problems. |
orphan
|
2024-01-22 23:15 (UTC) |
|
supercollider-portaudio
|
3.10.2-1 |
0 |
0.00
|
Environment and programming language for real time audio synthesis and algorithmic composition (portaudio api) |
orphan
|
2019-04-07 13:34 (UTC) |
|
sui-bin
|
1.17.3-1 |
0 |
0.00
|
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language. (official binary) |
orphan
|
2024-01-31 08:51 (UTC) |
|
starpu
|
1.3.9-3 |
1 |
0.00
|
Task programming library for hybrid architectures |
orphan
|
2021-11-06 11:24 (UTC) |
|
snap4arduino
|
6.2-1 |
2 |
0.00
|
A modification of the Snap! visual programming language that lets you seamlessly interact with almost all versions of the Arduino board. |
orphan
|
2020-09-26 11:00 (UTC) |
|
skribilo-git
|
1:0.9.5.r19.g31d6cd3-1 |
2 |
0.00
|
The Ultimate Document Programming Framework from git |
orphan
|
2022-11-11 16:32 (UTC) |
|
skribilo
|
0.10.0-1 |
1 |
0.00
|
The Ultimate Document Programming Framework |
orphan
|
2023-03-08 09:01 (UTC) |
|
sage-numerical-backends-gurobi
|
9.3.1-1 |
0 |
0.00
|
Gurobi mixed integer linear programming backend for SageMath |
orphan
|
2021-05-19 06:12 (UTC) |
|
ros-melodic-vision-opencv
|
1.13.0-3 |
0 |
0.00
|
ROS - Packages for interfacing ROS with OpenCV, a library of programming functions for real time computer vision. |
orphan
|
2021-03-22 15:37 (UTC) |
|
ros-melodic-ecl-utilities
|
0.62.2-2 |
0 |
0.00
|
ROS - Includes various supporting tools and utilities for c++ programming. |
orphan
|
2021-03-23 03:10 (UTC) |
|
ros-melodic-ecl-threads
|
0.62.2-2 |
0 |
0.00
|
ROS - This package provides the c++ extensions for a variety of threaded programming tools. |
orphan
|
2021-03-23 03:12 (UTC) |
|
ros-melodic-ecl-mpl
|
0.62.2-2 |
0 |
0.00
|
ROS - Metaprogramming tools move alot of runtime calculations to be shifted to compile time. |
orphan
|
2021-03-23 03:12 (UTC) |
|
rebol
|
2.7.8-4 |
9 |
0.00
|
A cross-platform data exchange language and a multi-paradigm dynamic programming language |
orphan
|
2016-01-28 16:46 (UTC) |
|
qwtplot3d
|
0.2.7-10 |
1 |
0.00
|
Qt/OpenGL-based C++ programming library containing 3d-widgets |
orphan
|
2019-05-01 11:41 (UTC) |
|
python-pweave
|
0.30.3-2 |
2 |
0.00
|
scientific report generator and literate programming tool for Python |
orphan
|
2020-01-29 15:34 (UTC) |
|
python-justpy
|
0.2.3-1 |
0 |
0.00
|
An object oriented high-level Python Web Framework that requires no front-end programming |
orphan
|
2022-07-01 14:16 (UTC) |
|
python-defer
|
1.0.6-2 |
1 |
0.00
|
Small framework for asynchrouns programming |
orphan
|
2021-09-07 06:05 (UTC) |
|
pvts
|
0.243-1 |
0 |
0.00
|
A visual interpreter for the Scheme programming language writen in Java |
orphan
|
2020-06-18 15:10 (UTC) |
|
purescript
|
0.13.8-1 |
1 |
0.00
|
A small strongly, statically typed programming language with expressive types, inspired by Haskell and compiling to JavaScript. |
orphan
|
2020-05-24 02:57 (UTC) |
|
pharo-bin
|
9.0-1 |
35 |
0.00
|
Implementation of the object-oriented, dynamically typed programming language Smalltalk |
orphan
|
2022-01-14 10:27 (UTC) |
|
perl-io-async
|
0.802-2 |
1 |
0.00
|
Asynchronous event-driven programming |
orphan
|
2022-11-25 22:11 (UTC) |
|
perl-git
|
5.32.0.RC1.r6.g2bb47a6fc2-2 |
1 |
0.00
|
A highly capable, feature-rich programming language (Git) |
orphan
|
2020-06-11 11:57 (UTC) |
|
perl-badger
|
0.16-1 |
0 |
0.00
|
Perl Application Programming Toolkit |
orphan
|
2023-06-08 19:31 (UTC) |
|
parallel-python
|
1.6.4-1 |
11 |
0.00
|
Parallel and distributed programming for Python |
orphan
|
2015-07-08 18:10 (UTC) |
|
otf-lotion-git
|
r10.0af988d-2 |
3 |
0.00
|
A free monospace font for programming! |
orphan
|
2020-02-01 03:33 (UTC) |