|
eclipse-clp
|
7.0.63-1 |
0 |
0.00
|
Constraint Logic Programming System |
aarroyoc
|
2023-09-10 13:48 (UTC) |
|
fleng
|
20-1 |
0 |
0.00
|
A low level concurrent logic programming language descended from Prolog |
aarroyoc
|
2024-03-16 17:08 (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) |
|
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) |
|
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) |
|
python-generic
|
1.1.2-1 |
0 |
0.00
|
Library for Generic programming, also known as Multiple dispatch |
actionless
|
2024-05-01 17:06 (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) |
|
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) |
|
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-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-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) |
|
laslib-git
|
r653.20e9673-2 |
4 |
0.00
|
LASlib is a C++ programming API for reading / writing LIDAR data stored in standard LAS format. |
adi64
|
2017-11-08 10:43 (UTC) |
|
lastools-git
|
r653.20e9673-1 |
3 |
0.00
|
Efficient tools for LiDAR processing. Contains LASlib, a C++ programming API for reading / writing LIDAR data stored in standard LAS format. |
adi64
|
2017-11-08 10:56 (UTC) |
|
prog8
|
10.3-4 |
2 |
0.33
|
A high-level programming language designed for 6502 based devices |
Adiee5
|
2024-05-01 19:34 (UTC) |
|
c++-gtk-utils
|
2.2.20-1 |
1 |
0.00
|
Classes and functions for programming in GTK+ |
adsun
|
2022-10-02 22:15 (UTC) |
|
alda
|
2.2.5-1 |
2 |
0.00
|
A music programming language for musicians |
Ajmeade
|
2023-05-15 23:38 (UTC) |
|
alda-bin
|
2.2.5-1 |
1 |
0.00
|
A music programming language for musicians |
Ajmeade
|
2023-05-16 00:06 (UTC) |
|
cwebx
|
3.52-2 |
3 |
0.00
|
The CWEBx system for Structured Software Documentation (Literate Programming) in C. |
aksr
|
2022-11-06 21:22 (UTC) |
|
funnelweb
|
3.2.0-1 |
3 |
0.00
|
A powerful literate-programming macro preprocessor. |
aksr
|
2015-06-28 07:52 (UTC) |
|
icon
|
1:9.5.24a-1 |
32 |
0.00
|
The Icon programming language |
aksr
|
2024-01-20 19:12 (UTC) |
|
icon-git
|
1:9.5.22e-1 |
3 |
0.00
|
The Icon programming language |
aksr
|
2022-08-05 16:29 (UTC) |
|
mawk2-git
|
1.9.9.6.r6.f1c6a55-1 |
1 |
0.00
|
An interpreter for the AWK Programming Language (from the original author). |
aksr
|
2018-05-23 17:20 (UTC) |
|
nawk-git
|
20231001.r288.d8e4368-1 |
0 |
0.00
|
The version of awk described in "The AWK Programming Language". |
aksr
|
2023-10-07 18:45 (UTC) |
|
neatroff-git
|
r476.a86ce8e-1 |
0 |
0.00
|
An implementation of troff typesetting system in C programming language. |
aksr
|
2018-04-25 07:17 (UTC) |
|
noweb
|
2_13-1 |
10 |
0.00
|
A Simple, Extensible Tool for Literate Programming build against ICON libs and texlive |
aksr
|
2023-08-12 13:49 (UTC) |
|
nuweb
|
1.62-1 |
2 |
0.00
|
A Simple Literate Programming Tool |
aksr
|
2022-07-21 07:43 (UTC) |
|
rebol-git
|
r348.22b126b-1 |
5 |
0.00
|
A cross-platform data exchange language and a multi-paradigm dynamic programming language |
aksr
|
2015-06-09 09:30 (UTC) |
|
cpp-taskflow
|
3.7.0-1 |
4 |
1.00
|
Modern C++ Parallel Task Programming Library |
akstrfn
|
2024-05-19 12:28 (UTC) |
|
cpp-taskflow-git
|
r1609.e406e95b-1 |
0 |
0.00
|
Modern C++ Parallel Task Programming Library |
akstrfn
|
2020-11-16 13:52 (UTC) |
|
naturaldocs2-git
|
r2141.dc9452d-1 |
0 |
0.00
|
Readable Source Code Documentation for 20 Programming Languages |
alcubierre-drive
|
2023-08-30 14:46 (UTC) |
|
lua-penlight-git
|
1.12.0.r9.ga7b9f88-1 |
1 |
0.00
|
Lua libraries for on input data handling, functional programming, and OS interface |
alerque
|
2024-03-27 23:28 (UTC) |
|
lua51-penlight-git
|
1.12.0.r9.ga7b9f88-1 |
1 |
0.00
|
Lua libraries for on input data handling, functional programming, and OS interface |
alerque
|
2024-03-27 23:28 (UTC) |
|
lua52-penlight-git
|
1.12.0.r9.ga7b9f88-1 |
1 |
0.00
|
Lua libraries for on input data handling, functional programming, and OS interface |
alerque
|
2024-03-27 23:28 (UTC) |
|
lua53-penlight-git
|
1.12.0.r9.ga7b9f88-1 |
1 |
0.00
|
Lua libraries for on input data handling, functional programming, and OS interface |
alerque
|
2024-03-27 23:28 (UTC) |
|
otf-fira-code-git
|
5.2.r54.g4e04092-1 |
13 |
0.00
|
Monospaced font with programming ligatures |
alerque
|
2024-03-28 01:28 (UTC) |
|
terra-git
|
1.0.0beta2.r22.g55a73e0-2 |
2 |
0.00
|
Low-level system programming language designed to interoperate seamlessly with Lua |
alerque
|
2024-03-28 04:04 (UTC) |
|
r-roopsd
|
0.3.9-1 |
0 |
0.00
|
R Object Oriented Programming for Statistical Distribution |
AlexBocken
|
2024-01-11 20:29 (UTC) |
|
aider-chat
|
0.35.0-1 |
3 |
1.15
|
AI pair programming in your terminal |
AlphaJack
|
2024-05-18 10:42 (UTC) |
|
ttf-miracode
|
1.0-1 |
1 |
0.83
|
A sharp, readable, vector-y version of Monocraft, the monospace programming font based on Minecraft |
AlphaJack
|
2024-03-04 07:54 (UTC) |
|
qdecoder
|
12.1.0-1 |
2 |
0.00
|
A simple and powerful CGI library for C/C++ programming language. |
amish
|
2022-06-02 08:49 (UTC) |
|
ttf-spline-sans-mono
|
1.002-1 |
1 |
0.00
|
Monospaced Grotesque purpose-built for UI interfaces, checkout processes, and programming |
amoka
|
2022-05-03 21:54 (UTC) |
|
ballerina-bin
|
2201.9.0-1 |
0 |
0.00
|
Ballerina, an open-source programming language for the cloud |
amurrux
|
2024-05-20 16:27 (UTC) |
|
picotest-git
|
r5.d088dc1-1 |
0 |
0.00
|
Test::More for the C programming language |
anatolik
|
2015-06-17 15:50 (UTC) |
|
vim-crystal-git
|
r135.aebaadb-1 |
2 |
0.00
|
vim support for Crystal programming language |
anatolik
|
2015-11-30 22:28 (UTC) |
|
galasm-git
|
r31.290d0cf-1 |
1 |
0.01
|
Very slightly modified version of Alessandro Zummo's GALasm 2.1, for programming GAL devices (non-commercial license) |
Anderson
|
2023-09-24 17:43 (UTC) |
|
occultist-git
|
r49.6e9d5f4-1 |
0 |
0.00
|
The Chaos programming language dependency manager |
andre.laszlo
|
2022-05-20 21:03 (UTC) |
|
guile-www
|
2.41-1 |
5 |
0.00
|
A set of Guile Scheme modules to facilitate HTTP, URL and CGI programming |
andreagi
|
2021-08-23 08:41 (UTC) |
|
ownlang
|
1.5.0-3 |
1 |
0.00
|
A scripting functional programming language with dynamic typing |
annimon
|
2019-10-17 18:01 (UTC) |
|
updiprog-git
|
0.5.r2.99df4f8-1 |
0 |
0.00
|
utility for programming AVR devices with UPDI interface using standard TTL serial port |
ansemjo
|
2022-11-13 12:51 (UTC) |
|
rats
|
2.4-1 |
24 |
0.00
|
Tool for scanning source code and flagging common security related programming errors |
anthraxx
|
2016-11-12 18:31 (UTC) |