Search Package Index

42 packages found

 PackageDescriptionBuild 

2htdp-typed

A partial version of 2htdp for Typed Racket

This package needs license metadata

succeeds2

alexis-util

Various utilities and helper functions I've found useful

This package needs license metadata

succeeds2

bnf

Concise Typed Racket syntax for declaring recursive data in BNF

This package needs documentation

This package needs license metadata

succeeds4

clang

Toolbox for C family in Typed Racket

Docs:

This package needs license metadata

fails6

compact-annotations

Function type annotation syntax for Typed Racket similar to Haskell

This package needs license metadata

succeeds2

data-type

data type syntax for typed/racket

Docs:

This package needs license metadata

succeeds2

delay-pure

Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unlike delay/name) because only pure functions are allowed.

This package needs license metadata

succeeds2

digimon

The (typed) core to construct the digital world

Docs:

This package needs license metadata

fails6

graphics

Essential computer graphics for Typed Racket

Docs:

This package needs license metadata

fails6

gtp-checkup

Test correctness of typed/untyped interaction.

This package needs license metadata

succeeds; has failing tests5

intern

Type-safe interning of datatype in Typed Racket as a new sub-type of Index

This package needs documentation

This package needs license metadata

succeeds4

irc-client

A higher-level, typed wrapper around the irc package

This package needs license metadata

succeeds2

json-type-provider

A well-typed JSON parser for Typed Racket inspired by Type Provider

This package needs documentation

This package needs license metadata

succeeds4

mox

Open XML for Microsoft Office

Docs:

This package needs license metadata

fails6

openapi-type-provider

Type provider for OpenAPI schemas. Generate well-typed client libraries in Typed Racket.

This package needs license metadata

fails6

phc-adt

Algebraic Data Types for Typed/Racket, with features tailored to compiler writing. The data types do not have to be declared before they are used, like prefab structs and symbols. Behind the scenes, this library remembers all the data types in a file, and uses it to implicitly pre-declare them. Mostly stable, although some things may change a bit in the future.

This package needs license metadata

fails6

prefab-predicate-compat

Provides `define-backwards-compatible-flat-prefab-predicate`which is like `define-predicate` but allows for backwards compatible prefab predicate declarations.

This package needs documentation

This package needs license metadata

fails6

psd

Read (and will write) Photoshop Documents

Docs:

This package needs license metadata

succeeds2

rackunit-typed

Typed Racket interface to the RackUnit testing framework

This package needs documentation

License:
4

require-typed-check

require/typed, but skips contracts on already-typed imports

This package needs license metadata

succeeds2

schema

A data modeling tool for Typed Racket

Docs:

This package needs license metadata

succeeds2

set-extras

Some conveniences for set, including fancy unicode aliases and more comprehension forms

This package needs documentation

This package needs license metadata

succeeds4

tr-immutable

Helpers to write macros using typed/racket at phase 1. Heavily unstable, WIP, experimental, not documented yet. I'm currently dogfooding this to work out the best strategy.

This package needs license metadata

succeeds2

trivial

type-tailored standard library functions

Docs:

This package needs license metadata

succeeds2

type-conventions

Forms for giving specific argument names implicit types

This package needs documentation

This package needs license metadata

succeeds4

type-expander

Type expanders for typed/racket, which work like match expanders for match

This package needs license metadata

succeeds2

typed-compose

Utilities for composing functions in Typed Racket.

This package needs license metadata

succeeds2

typed-graph

Typed interface for the generic graph library.

Docs:

This package needs license metadata

succeeds; has conflicts; has failing tests5

typed-map

Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, aful/unhygienic), un-annotated lambdas and polymorphic functions.

Docs:

This package needs license metadata

succeeds2

typed-minikanren

An implementation of miniKanren in typed racket.

This package needs documentation

This package needs license metadata

succeeds4

typed-pmsf

PMS formatting and parsing functions. Typed interface.

This package needs documentation

succeeds4

typed-racket-datatype

Algebraic Datatypes for Typed Racket (tests and docs)

License:
succeeds0

typed-racket-datatype-lib

Algebraic Datatypes for Typed Racket (implementation)

This package needs documentation

License:
succeeds4

typed-racket-hacks

Various workarounds for Typed Racket, most of which are expected to be eventually obsolete

This package needs documentation

This package needs license metadata

succeeds; has dependency problems4

typed-racket-stream

Streams for typed racket

This package needs documentation

This package needs license metadata

succeeds4

typed-stack

A simple stack library written in TR.

This package needs license metadata

succeeds2

typed-struct-props

Some struct type properties in Typed/Racket, in a more type-safe way. The API should hopefully stay backward-compatible when Typed/Racket officially supports (or rejects) structure type properties.

This package needs license metadata

succeeds2

typed-worklist

A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different types.

This package needs license metadata

succeeds2

w3s

W3 Standards Implemented in Typed Racket

Docs:

This package needs license metadata

fails6

x64asm

a simple x64 assembler written in Typed Racket

Docs:

This package needs license metadata

succeeds2

x64asm-lib

a simple x64 assembler written in Typed Racket

This package needs documentation

This package needs license metadata

succeeds4

xlist

Fancy lists, with bounded or unbounded repetition of elements. Can be used as a type or match pattern.

Docs:

This package needs license metadata

succeeds2