Search:

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

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-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

dev-racket/dallas-lib

Dallas (implementation)

dev-racket/dallas-test

Tests for Dallas

dev-racket/gillette

XPath for Racket

dev-racket/gillette-doc

Docs for Gillette

dev-racket/gillette-lib

Implementation for Gillette

dev-racket/gillette-test

Tests for Gillette

dev-racket/in-covid

Indiana COVID data analysis

dev-racket/j-notation

An exploration into an alternate surface syntax.

dev-racket/jsonic-jf

great jsonic generator

dev-racket/kafka

A client for Apache Kafka. (docs & implementation)

dev-racket/kafka-lib

A client for Apache Kafka. (implementation only)

dev-racket/laramie-doc

Documentation for Laramie

dev-racket/laramie-lib

Implementation for Laramie

dev-racket/laramie

HTML5 parser

dev-racket/laramie-test

Tests for Laramie

dev-racket/ziptie-git

ZipTie, git component.

dev-ruby/memo_wise

The wise choice for Ruby memoization

dev-python/buildozer

Kivy-friendly tool for packaging Python to mobile and desktop

app-text/kramdown-rfc

An XML2RFC (RFC799x) backend for Thomas Leitner's kramdown markdown parser

dev-python/ytmusicapi

Unofficial API for YouTube Music