91314 packages found. Page 1252 of 1827.

« First ‹ Previous 1 .. 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 .. 1827 Next › Last »

Name Version Votes Popularity? Description Maintainer Last Updated
ocaml-wasm 1.0-10 0 0.00 An OCaml library to read and write Web Assembly (wasm) files and manipulate their AST. crave 2018-07-27 16:50 (UTC)
ocaml-fstar 0.9.6.0-4 1 0.00 An ML-like language with a type system for program verification. crave 2018-10-13 09:10 (UTC)
ledger2beancount-git 1.7-1 0 0.00 Ledger to Beancount text-based converter crave 2019-05-19 14:39 (UTC)
karamel-git fstar.v2022.11.19.r846.g71facac.karamel.v1.0.0.r421.gbd359d8-1 0 0.00 a tool for extracting low-level F* programs to readable C code crave 2023-03-21 14:26 (UTC)
graudit 3.4-1 0 0.00 Grep rough source code auditing tool. crave 2022-03-16 11:16 (UTC)
fstar-ulib 0.9.6.0-18 0 0.00 compiles the ulib component of F* crave 2018-07-30 10:50 (UTC)
dafny-git v3.0.0.rpre.rrelease.r1.r256.rgd25ae257-1 0 0.00 Dafny is a verification-aware programming language crave 2021-03-25 19:52 (UTC)
buckaroo 3.0.2-1 1 0.00 A C++ package manager crave 2021-03-25 19:45 (UTC)
openvpn-reconnect 1-2 4 0.00 A systemd hook for reconnecting OpenVPN after suspend crasm 2017-03-10 05:25 (UTC)
lily-git git-1 1 0.00 An interpreted language with a focus on expressiveness and type safety crasm 2016-08-13 02:13 (UTC)
fim-cli 1.2.3-1 1 0.00 Fim manages the integrity of a complete file tree crasm 2017-08-02 02:00 (UTC)
lamp 0.3.1-1 0 0.00 A Linux backlight utility written in Rust crapStone 2022-07-16 16:34 (UTC)
wavbreaker 0.13-1 9 0.00 A GTK wave file splitter crank 2020-01-07 10:02 (UTC)
krunner-firefox-git r108.9a58497-1 2 0.04 Launch Firefox profiles from Krunner and your normal launcher. crank 2023-12-13 14:21 (UTC)
firebird 4.0.4.3010-1 4 0.14 A open source SQL relational database management system (RDMS) crank 2023-12-13 15:43 (UTC)
dirsyncpro 1.53-1 14 0.00 A small but powerfull utility for file and folder synchronisation crank 2018-03-12 09:19 (UTC)
growl-for-linux-git r4.edac6d9-1 0 0.00 Growl for Linux - git release craisis 2019-10-11 01:22 (UTC)
networkmanager-vpn-web-ui 0.1.3-1 0 0.00 A web UI for remotely managing NetworkManager-managed VPN connections craigfurman 2019-04-18 13:56 (UTC)
virtualhere-client 5.5.6-1 1 0.43 VirtualHere USB Client for Linux Desktop craggles17 2023-12-02 09:04 (UTC)
retroarch-steam-launcher 1.2-1 0 0.00 A script which adds the Steam version of retroarch to your PATH craggles17 2023-07-15 08:19 (UTC)
webmessage-bin 0.7.0-1 1 0.00 A messaging client, meant to work with the WebMessage tweak for jailbroken iOS devices. cradcore 2022-02-14 16:53 (UTC)
proxybound-git 5.60.r1.g678b607-1 1 0.00 Linux applications proxifier cradcore 2022-02-24 13:59 (UTC)
polaris 0.14.0-1 1 0.00 Music streaming application, designed to let you enjoy your music collection from any computer or mobile device crabvk 2022-12-05 04:31 (UTC)
pocket-core 0.9.0_rc-1 1 0.00 Official implementation of the Pocket Network Protocol crabvk 2022-08-24 17:33 (UTC)
nym-wallet 1.2.12-1 1 0.00 The next generation of privacy infrastructure (Nym Wallet) crabvk 2024-02-24 20:15 (UTC)
nym 2024.1-1 3 0.00 The next generation of privacy infrastructure (Nym Mixnet) crabvk 2024-02-24 19:58 (UTC)
nullfs-dkms-git 0.17.r0.g31c635b-1 1 0.00 A virtual black hole file system that behaves like /dev/null (DKMS) crabvk 2023-11-11 19:36 (UTC)
notify-call 0.1.1-1 2 0.00 A command-line tool to send desktop notifications and handle actions via D-Bus crabvk 2021-06-25 13:50 (UTC)
nettle7 3.5.1-1 0 0.00 A low-level cryptographic library (legacy version) crabvk 2022-12-29 08:34 (UTC)
minima-bin 0.103.10-1 0 0.00 A completely decentralized network for information and value transfer crabvk 2022-08-04 02:36 (UTC)
lsd2dsl 0.5.4-1 2 0.00 Decompiler for ABBYY Lingvo's and Duden proprietary dictionaries crabvk 2021-08-17 03:57 (UTC)
go-sendxmpp-git 0.5.6.r45.g58cb70c-1 3 0.00 A little tool to send messages to an XMPP contact or MUC crabvk 2023-05-03 11:09 (UTC)
freelan 2.3.0-2 2 0.00 A peer-to-peer, secure, easy-to-setup, multi-platform, open-source, highly-configurable VPN software. crabvk 2020-01-03 01:25 (UTC)
flow-cli 0.41.2-1 0 0.00 A command-line interface that provides useful utilities for building Flow applications crabvk 2022-10-26 02:01 (UTC)
deemix 3.6.6-4 19 0.00 A barebone deezer downloader library crabvk 2023-05-05 11:54 (UTC)
bar-protonmail 1.2.1-1 2 0.00 Get notifications and unread messages count from ProtonMail (Waybar/Polybar module) crabvk 2024-03-10 18:28 (UTC)
bar-gmail 1.0.5-1 0 0.00 Get notifications and unread messages count from Gmail (Waybar/Polybar module) crabvk 2023-12-02 09:13 (UTC)
file-rename 2.02-1 2 0.00 Renames multiple files using regular expressions. crabmatic 2024-01-03 04:39 (UTC)
kurso-de-esperanto-kape 5.1.1-1 3 0.00 A multimedia computer program for teaching yourself Esperanto Crablet 2021-01-31 18:23 (UTC)
switch-tools 1.12.0-1 1 0.00 Helper tools for Switch homebrew development crab2313 2023-12-19 08:10 (UTC)
rkdeveloptool 69-1 7 0.01 Development tool for Rockchip SOC crab2313 2022-04-02 09:56 (UTC)
python-reprint 0.6.0-1 0 0.00 a Python 2/3 module for binding variables and refreshing multi-line output in terminal. crab2313 2023-05-11 08:31 (UTC)
papers-lib-docs 45.0+r484+g4d43a1c7-1 2 1.13 Document viewer (PDF, PostScript, XPS, djvu, dvi, tiff, cbr, cbz, cb7, cbt) (library API documentation) crab2313 2024-02-25 07:18 (UTC)
papers 45.0+r484+g4d43a1c7-1 2 1.13 Document viewer (PDF, PostScript, XPS, djvu, dvi, tiff, cbr, cbz, cb7, cbt) crab2313 2024-02-25 07:18 (UTC)
olympus-bin 4007-1 6 0.00 A mod manager for Celeste crab2313 2024-03-29 06:36 (UTC)
libselinux-static 3.6-1 0 0.00 SELinux library (static version) crab2313 2023-12-19 08:07 (UTC)
kas 4.3.1-1 1 0.57 Setup tool for bitbake based projects crab2313 2024-03-20 06:20 (UTC)
115pc 2.0.9.3-1 4 0.00 115.com PC client crab2313 2024-03-17 13:14 (UTC)
beamer-theme-liu-git r2.0d23bc0-3 0 0.00 Beamer theme of Linköping University cra 2017-04-21 17:15 (UTC)
python-swig 4.2.1-2 0 0.00 SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages. cqzw555 2024-03-29 02:38 (UTC)

91314 packages found. Page 1252 of 1827.

« First ‹ Previous 1 .. 1247 1248 1249 1250 1251 1252 1253 1254 1255 1256 1257 .. 1827 Next › Last »