Search:

dev-racket/k-core

core of k theorem prover

dev-racket/k-doc

documentation of k theorem prover

dev-racket/k-example

examples of using k theorem prover

dev-racket/k-infix

The k-infix Racket package

dev-racket/kafka

A client for Apache Kafka. (docs & implementation)

dev-racket/k-lib

libraries of k theorem prover

dev-racket/k-test

The k-test Racket package

dev-racket/kafka-lib

A client for Apache Kafka. (implementation only)

dev-racket/karp

A language for NP-Reductions

dev-racket/keccak

The keccak Racket package

dev-racket/kernel

Interface to Linux kernel runtime configuration.

dev-racket/keyring

a library for uniformly accessing secrets

dev-racket/keyring-get-pass-lib

Keyring backend using get-pass

dev-racket/keyring-keychain-lib

Keyring backend using MacOS Keychain

dev-racket/keyring-keychain-test

The keyring-keychain-test Racket package

dev-racket/keyring-lib

Implementation of the keyring package.

dev-racket/keyring-secret-service-lib

Keyring backend using Freedesktop Secret Service

dev-racket/keyring-test

The keyring-test Racket package

dev-racket/keyring-secret-service-test

The keyring-secret-service-test Racket package

dev-racket/kibble

Make good-looking, easy to 'feed' Project Sites In Scribble.

dev-racket/kinda-ferpy

An implicit functional reactive model based on MaiaVictor's PureState library

dev-racket/knitscheme

A domain-specific language for knitting patterns

dev-racket/kittle-buffer

Kittle Buffer, or KBF for short, is an extended Brainf**k implementation.

dev-racket/kitco

Precious Metals Market Info. Access

dev-racket/knotty-lib

The knotty-lib Racket package

dev-racket/knox

The knox Racket package

dev-racket/knotty

A domain-specific language for knitting patterns

dev-racket/koyo

A web application toolkit (docs and implementation).

dev-racket/koyo-doc

A web application toolkit (docs only).

dev-racket/koyo-lib

A web application toolkit (implementation only).

dev-racket/koyo-lint-lib

Extensions to the review tool for the custom syntax provided by koyo-lib.

dev-racket/koyo-north

A north migrator component for koyo.

dev-racket/koyo-postmark

A Postmark mail adapter for koyo. (docs and implementation)

dev-racket/koyo-sessions-redis

A Redis-based session store for Koyo.

dev-racket/koyo-sentry

Integrates koyo and racket-sentry.

dev-racket/koyo-test

A web application toolkit (tests only).

dev-racket/kw-make-struct

Naming struct fields with keywords for constructing and matching

dev-racket/kw-make-struct-lib

Naming struct fields with keywords for constructing and matching

dev-racket/kw-utils

misc kw utils

dev-racket/lambda-calculus

A lambda-calculus DSL in Racket

dev-racket/lambda-sh

The lambda-sh Racket package

dev-racket/lambdajam2015-racket-pl-pl

The lambdajam-2015-racket-pl-pl Racket package

dev-racket/lang-file

Functions for dealing with #lang files

dev-racket/lang-file-lib

Functions for dealing with #lang files

dev-racket/langtag

BCP-47 compliant language tag predicates.

dev-racket/lang-slide

A picture showing all the languages used to implement Racket.

dev-racket/laramie-doc

Documentation for Laramie

dev-racket/laramie

HTML5 parser

dev-racket/laramie-lib

Implementation for Laramie

dev-racket/laramie-test

Tests for Laramie