Search:

dev-haskell/chaselev-deque

Chase & Lev work-stealing lock-free double-ended queues (deques)

dev-haskell/clash-lib

Clash: a functional hardware description language - As a library

dev-haskell/cubicbezier

Efficient manipulating of 2D cubic bezier curves

dev-haskell/enummapset

IntMap and IntSet with Enum keys/elements

dev-haskell/hasktags

Produces ctags "tags" and etags "TAGS" files for Haskell programs

dev-haskell/hdbc-mysql

MySQL driver for HDBC

dev-haskell/hledger-lib

A library providing the core functionality of hledger

dev-haskell/mysql-simple

A mid-level MySQL client library

dev-haskell/reflex

Higher-order Functional Reactive Programming

dev-haskell/snap-server

A web server for the Snap Framework

dev-haskell/snap-core

Snap: A Haskell Web Framework (core interfaces and types)

dev-haskell/streamly-core

Streaming, parsers, arrays, serialization and more

dev-haskell/text-rope

Text lines and ropes

sci-mathematics/agda

A dependently typed functional programming language and proof assistant

dev-python/hunter

Hunter is a flexible code tracing toolkit

dev-python/xgboost

Scalable, Portable and Distributed Gradient Boosting Library.

sci-libs/vegas

Adaptive multidimensional Monte Carlo integration.

sci-physics/pineappl-capi

PineAPPL is not an extension of APPLgrid

sci-mathematics/symbolica-community

A blazing fast computer algebra system with community enhancements

sci-mathematics/symbolica

A blazing fast computer algebra system.

dev-python/cmarkgfm

Python bindings to GitHub's cmark

dev-python/falcon

A supersonic micro-framework for building cloud APIs

dev-python/rjsmin

Javascript minifier written in python

dev-python/rcssmin

RCSSmin is a CSS minifier

net-misc/rustdesk-server

RustDesk Server

app-admin/cockpit

Server Administration Web Interface

dev-python/geventhttpclient

Coroutine-based network library

app-misc/b3sum

Command line implementation of the BLAKE3 hash function

sys-apps/makedumpfile

Make Linux crash dump small by filtering and compressing pages

dev-java/openjdk-zero

Open source implementation of the Java programming language

app-misc/msi-rgb

Utility for controlling RGB header on some MSI boards

dev-lang/deno

A modern runtime for JavaScript and TypeScript

dev-python/portio

Python low level port I/O for Linux x86

games-arcade/stepmania

Advanced rhythm game. Designed for both home and arcade use

media-gfx/guetzli

Perceptual JPEG encoder

media-video/timelens

Timelens creates visual timelines from video files

net-vpn/wstunnel

Tunnel all your traffic over Websocket or HTTP2

dev-libs/scalloc

A Fast, Multicore-Scalable, Low-Fragmentation Memory Allocator

dev-python/pyasn

Python IP address to Autonomous System Number lookup module

dev-python/python-iptables

Python bindings for iptables

sys-fs/efsw

C++ cross-platform file system watcher and notifier

app-crypt/keepsecret

Password manager GUI for SecretService providers

app-misc/calindori

Touch friendly calendar application

app-misc/kookbook

Simple recipe manager taking structured markdown for recipes

app-text/arianna

EPub Reader for mobile devices

dev-util/kdevelop-valgrind

Plugin offering full integration of the valgrind suite to KDevelop

games-board/atlantik

Atlantik board game

games-mud/kmuddy

MUD client by KDE

kde-misc/akonadiclient

Commandline interface for accessing Akonadi

kde-misc/itinerary

Digital travel assistant with a priority on protecting your privacy