ocaml-core_extended
|
1:0.15.0-2 |
0 |
0.00
|
Extra components that are not as closely vetted or as stable as Core |
orphan
|
2022-10-03 21:38 (UTC) |
ocaml-ppx_tools_versioned
|
5.4.0-5 |
0 |
0.00
|
Tools for authors of ppx rewriters and other syntactic tools (with ocaml-migrate-parsetree support) |
orphan
|
2022-06-14 18:43 (UTC) |
ocaml-psmt2-frontend
|
0.2-2 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2019-11-30 18:52 (UTC) |
ocaml-psmt2-frontend-git
|
r22.bb35b53-1 |
0 |
0.00
|
A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language |
orphan
|
2020-05-18 19:29 (UTC) |
ocaml-syntax-shims
|
1.0.0-1 |
0 |
0.00
|
Backport new OCaml syntax to older compilers |
orphan
|
2024-05-04 11:29 (UTC) |
ocaml-typerex
|
1.99.7b-2 |
7 |
0.00
|
TypeRex is a powerful development environment for OCaml. |
orphan
|
2020-05-18 19:51 (UTC) |
octave-database
|
2.4.4-1 |
3 |
0.00
|
Interface to SQL databases, currently only postgresql using libpq. |
orphan
|
2022-11-08 01:28 (UTC) |
octave-octcdf
|
1.1.10-2 |
3 |
0.00
|
A NetCDF interface for octave. This interface is depreciated. Please use the netcdf package instead (possibly in combination with ncarray) |
orphan
|
2022-01-24 21:33 (UTC) |
ofxstatement-git
|
0.6.1.r26.61f9dc1-1 |
2 |
0.00
|
Tool to convert proprietary bank statement to OFX format, suitable for importing to GnuCash |
orphan
|
2019-06-16 11:55 (UTC) |
oggify-git
|
0.2.1.r0.gce3e875-1 |
4 |
0.00
|
Download spotify media (Premium account required) |
orphan
|
2020-12-28 21:57 (UTC) |
omake
|
0.10.3-2 |
23 |
0.00
|
A build system designed for scalability and portability |
orphan
|
2023-04-28 22:36 (UTC) |
omplapp
|
1.4.2-4 |
1 |
0.00
|
The Open Motion Planning Library App (OMPL.app) is an extended version of OMPL that adds support for mesh loading and collision checking along with a GUI |
orphan
|
2019-06-30 21:50 (UTC) |
openbeans-bin
|
2019.12-1 |
0 |
0.00
|
An IDE distribution. It packages the best there is in the ecosystem, polishes it, fixes minor annoyances and serves them to you in a clean bundle. Formerly CoolBeans |
orphan
|
2020-06-07 19:00 (UTC) |
openca-ocspd
|
3.1.2-1 |
0 |
0.00
|
OpenCA OCSP Responder |
orphan
|
2019-10-15 11:33 (UTC) |
opendune
|
0.9-4 |
5 |
0.00
|
Open source re-creation of the popular game Dune II |
orphan
|
2023-11-14 06:11 (UTC) |
openni-git
|
20130205-2 |
19 |
0.00
|
The OpenNI Framework provides the interface for physical devices and for middleware components |
orphan
|
2015-06-27 13:53 (UTC) |
openstudio
|
3.0.1-1 |
4 |
0.00
|
Supports whole building energy modeling using EnergyPlus |
orphan
|
2020-08-24 15:57 (UTC) |
openvolumemesh
|
3.3.1-1 |
1 |
0.00
|
A generic C++ data structure for arbitrary polyhedral meshes |
orphan
|
2024-01-24 20:34 (UTC) |
opera-beta-ffmpeg-codecs
|
121.0.6156.3-1 |
7 |
0.00
|
additional support for proprietary codecs for opera-beta |
orphan
|
2024-01-17 14:20 (UTC) |
opkg-git
|
v0.4.0-1 |
1 |
0.00
|
Opkg is a lightweight package management system based upon ipkg |
orphan
|
2019-01-22 20:54 (UTC) |
optizelle
|
1.2.0-1 |
1 |
0.00
|
library designed to solve general purpose nonlinear optimization problems |
orphan
|
2019-07-21 12:57 (UTC) |
ordne
|
1.0.2-1 |
1 |
0.00
|
A Simple Pomodoro Timer |
orphan
|
2021-09-08 02:28 (UTC) |
orgadoc
|
1.3-1 |
0 |
0.00
|
easily copy and maintain a pool of documents between computers |
orphan
|
2023-12-29 18:54 (UTC) |
osiris
|
0.15-0 |
0 |
0.00
|
Serverless Portal System |
orphan
|
2019-02-17 22:41 (UTC) |
ostent-bin
|
0.7.0-1 |
0 |
0.00
|
A server tool to collect, display and report system metrics |
orphan
|
2020-05-19 15:02 (UTC) |
otf-droid-sans-mono-powerline-git
|
r202.e80e3eb-1 |
3 |
0.00
|
Droid Sans Mono for Powerline |
orphan
|
2021-08-23 02:47 (UTC) |
otf-linja-sike
|
5-1 |
3 |
0.00
|
A toki pona font for the sitelen pona writing system |
orphan
|
2021-09-12 02:56 (UTC) |
ots-git
|
641.f723823-1 |
1 |
0.00
|
OpenType fonts sanitiser. Supports TTF, WOFF, WOFF2 and other formats. |
orphan
|
2018-03-14 07:26 (UTC) |
oxygen-gtk2
|
1.4.6-4 |
3 |
0.00
|
Port of the default KDE widget theme (Oxygen) to GTK2 |
orphan
|
2020-12-21 21:19 (UTC) |
pacadd
|
1.0.6-1 |
0 |
0.00
|
A simple tool for managing repositories |
orphan
|
2020-08-04 18:10 (UTC) |
pachca
|
1.4.0-1 |
1 |
0.00
|
Corporate messenger for modern teams |
orphan
|
2023-09-05 22:14 (UTC) |
pachost
|
0.1.0-1 |
1 |
0.00
|
A rocket powered dumb file server to share a pacman cache on the local network. |
orphan
|
2017-06-12 16:25 (UTC) |
pam_ssh_agent_auth-git
|
r29.099beb2-1 |
0 |
0.00
|
PAM module which permits authentication for arbitrary services via ssh-agent. (Git version including experimental ECC support) |
orphan
|
2023-04-04 11:53 (UTC) |
panda3d-python2
|
1.10.11-1 |
0 |
0.00
|
A 3D game engine with Python bindings. SDK package. Optional dependencies you want to support need to be installed before panda3d. |
orphan
|
2022-03-05 21:49 (UTC) |
pango-legacy
|
1.44.1-2 |
0 |
0.00
|
A library for layout and rendering of text. This is the latest supported version without harfbuzz version error (Harfbuzz version too old (1.4.2)) |
orphan
|
2020-05-19 15:02 (UTC) |
pantheon-print-git
|
r26.28f2600-1 |
7 |
0.00
|
Simple shim for printing support via Contractor |
orphan
|
2018-05-25 18:29 (UTC) |
parcittox-svn
|
r43-1 |
0 |
0.00
|
Adds the possibility to share clips over the network between Linux (running Parcittox) and Windows (running Ditto) PCs |
orphan
|
2020-07-19 03:30 (UTC) |
parsedmarc
|
8.6.4-1 |
3 |
0.00
|
Python package and CLI for parsing aggregate and forensic DMARC reports |
orphan
|
2023-11-17 22:09 (UTC) |
pash
|
2.3.0-3 |
1 |
0.00
|
Simple password manager using GPG written in POSIX sh |
orphan
|
2021-11-01 04:08 (UTC) |
path-of-building-community-git
|
2.41.1.7f1a8cf-1 |
24 |
0.35
|
An offline build planner for Path of Exile using PoBFrontend, LocalIdentity's fork |
orphan
|
2024-03-28 22:43 (UTC) |
patool-git
|
1.12.r41.g723006a-1 |
1 |
0.00
|
Portable command line archive file manager |
orphan
|
2021-10-17 09:46 (UTC) |
patreon-downloader
|
0.10.1.2-1 |
0 |
0.00
|
downloads content posted by creators on patreon.com |
orphan
|
2022-01-03 09:41 (UTC) |
pcexhumed
|
211119-1 |
1 |
0.00
|
Exhumed / PowerSlave port based on EDuke32 |
orphan
|
2019-11-22 07:21 (UTC) |
pcexhumed-git
|
211119+6+g945391c-1 |
1 |
0.00
|
Exhumed / PowerSlave port based on EDuke32 (git version) |
orphan
|
2019-11-22 07:21 (UTC) |
pelican-git
|
4.8.0.r101.g3be0703b-1 |
13 |
0.00
|
A static site generator written in Python w/ reST/Markdown support. |
orphan
|
2023-09-04 15:36 (UTC) |
pentobi-git
|
18.3.r129.ge10599e9-1 |
2 |
0.06
|
Computer opponent for the board game Blokus. |
orphan
|
2020-11-14 14:57 (UTC) |
perl-cgi-ex
|
2.44-1 |
1 |
0.00
|
CGI utility suite - makes powerful application writing fun and easy |
orphan
|
2016-03-29 21:19 (UTC) |
perl-datetime-format-epoch
|
0.16-1 |
2 |
0.00
|
Convert DateTimes to/from epoch seconds |
orphan
|
2021-04-15 04:25 (UTC) |
perl-dist-zilla-plugin-podweaver
|
4.009-1 |
0 |
0.00
|
weave your Pod together from configuration and Dist::Zilla |
orphan
|
2022-06-22 03:27 (UTC) |
perl-findbin-libs
|
3.0.2-1 |
1 |
0.00
|
locate and a 'use lib' or export directories based on ::Bin. |
orphan
|
2023-03-05 22:31 (UTC) |