Search:

dev-util/blueprint-compiler

Compiler for Blueprint, a markup language for GTK user interfaces

dev-python/asdf-standard

Standards document describing ASDF, Advanced Scientific Data Format

gui-libs/gtksourceview

A text widget implementing syntax highlighting and other features

dev-haskell/gi-gstvideo

GStreamerVideo bindings

dev-haskell/gi-gst

GStreamer bindings

dev-haskell/gi-gsk

Gsk bindings

dev-haskell/gi-gstbase

GStreamerBase bindings

x11-misc/gtk-sni-tray

A standalone StatusNotifierItem/AppIndicator tray

media-gfx/gifcurry

GIF creation utility

dev-lang/prolog

A Prolog interpreter written in Haskell

dev-python/asdf-astropy

ASDF serialization support for astropy

dev-racket/define-attributes

This macro makes certain repetitive access patterns easier to write.

dev-racket/define-attributes-lib

This macro makes certain repetitive access patterns easier to write.

dev-racket/drracket-tool-text-lib

The drracket-tool-text-lib Racket package

dev-racket/expeditor

Terminal expression editor

dev-racket/expeditor-lib

implementation (no documentation) part of expeditor

dev-racket/expeditor-doc

documentation part of expeditor

dev-racket/expeditor-test

test part of expeditor

dev-racket/mathler

terminal version of mathler game, and its solver

dev-racket/mime-type

Utilities for working with MIME types. (docs, tests & implementation)

dev-racket/mime-type-lib

Utilities for working with MIME types. (implementation)

dev-racket/pl

Eli's PL course plugin

dev-racket/rackcheck-lib

A property-based testing library with shrinking support. (implementation)

dev-racket/rackpropagator

Reverse-mode automatic differentiation

dev-racket/rackpropagator-doc

Rackpropagator documentation

dev-racket/rackpropagator-lib

Reverse-mode automatic differentiation (implementation)

dev-racket/rackpropagator-test

Rackpropagator tests

dev-racket/tangerine

A library for constructing and executing signed distance functions.

dev-racket/typed-peg

The typed-peg Racket package

dev-python/Kivy

Open source UI framework written in Python

dev-haskell/fusion-plugin

GHC plugin to make stream fusion more predictable

dev-haskell/unicode-data

Access Unicode character database

sci-mathematics/metamath-databases

Sample databases for Metamath

app-text/haskell-awk

Transform text from the command-line using Haskell expressions

sci-mathematics/alectryon

Toolkit for literate programming in Coq

dev-ruby/psych

A YAML parser and emitter

dev-ruby/stringio

Pseudo IO class from/to String.

dev-python/gemmi

library for structural biology

dev-cpp/sdbus-c++

High-level C++ D-Bus library

app-admin/kos

A simple SUID tool written in C++

dev-libs/libportal

Flatpak portal library

dev-java/jakarta-interceptor-api

A means of interposing on business method invocations and specific events

dev-python/kivymd

Collection of Material Design-compliant widgets for use with Kivy

dev-ruby/net-ftp

Support for the File Transfer Protocol

dev-ruby/time

Extends the Time class with methods for parsing and conversion

dev-python/numcodecs

Data storage buffer compression and transformation codecs

dev-python/zarr

An implementation of chunked, compressed, N-dimensional arrays for Python

dev-racket/barrel

An esoteric golfing lang

dev-racket/dallas-doc

Documentation for Dallas

dev-racket/dallas

Experimental RDBMS based on the Darwen & Date's D language