Search Package Index

17 packages found

 PackageDescriptionBuild 

cond-contract

Conditional contracts for Racket

Tags:
succeeds0

contract-etc

Miscellaneous contracts.

Tags:
succeeds0

contract-parameter

Dynamically bound contracts.

Tags:
succeeds0

contract-repl

A REPL that prints contracts on values

This package needs documentation

succeeds3

defensive-to-contracts

This package presents a tool that converts defensive programming into equivalent contracts. Currently, the tool is still at its infancy and have not been tested on many code bases. The sample folder contains some example files to get you started. So far I have exposed two functions that allows you to input a path and either returns the raw result or load up a GUI that allows you to change a file.

succeeds0

lathe-morphisms

Interfaces for category theory concepts.

succeeds0

lathe-morphisms-doc

Interfaces for category theory concepts. (doc)

succeeds0

lathe-morphisms-lib

Interfaces for category theory concepts. (lib)

This package needs documentation

succeeds3

lathe-morphisms-test

Interfaces for category theory concepts. (test)

This package needs documentation

succeeds3

require-typed-check

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

succeeds0

signature

Syntax and utilities for writing function contracts as signatures

Docs:
Tags:
succeeds0

social-contract

High-level, composable syntax for describing contracts.

succeeds0

temp-c

temporal contracts

Docs:
Tags:
succeeds0

temp-c-doc

temporal contracts

Docs:
Tags:
succeeds0

temp-c-lib

temporal contracts

This package needs documentation

Tags:
succeeds3

temp-c-test

temporal contracts

This package needs documentation

Tags:
succeeds; has failing tests4

termination

Dynamic enforcement of size-change termination

This package needs documentation

succeeds; has failing tests4