Search Package Index

50 packages found

 PackageDescriptionFamilyBuild 

compatibility-doc

documentation part of "compatibility"

License:
Racket0

compatibility-lib

implementation (no documentation) part of "compatibility"

License:
Racket0

cover-lib

A code coverage tool, implementation part

This package needs documentation

This package needs license metadata

Racketsucceeds4

cur-lib

This package needs a description

Docs:

This package needs tags

This package needs license metadata

Racketsucceeds; has failing tests5

digimon

The (typed) core to construct the digital world

Docs:

This package needs license metadata

Racketsucceeds2

drbayes

Probabilistic programming language

This package needs documentation

This package needs license metadata

Racketfails6

drracket-core-lib

implementation (no documentation) part of \"drracket-core\"

License:
Racket0

drracket-test

tests for "drracket"

License:
Racket0

errortrace

This package needs a description

This package needs tags

License:
Racket3

errortrace-doc

documentation part of "errortrace"

License:
Racket0

errortrace-lib

implementation (no documentation) part of "errortrace"

License:
Racket0

errortrace-test

tests for "errortrace"

License:
Racket0

errortrace-pkg

Errortrace installed packages

License:
Racketsucceeds0

forge

A model-finding language with Alloy-adjacent syntax.

This package needs documentation

License:
Racketsucceeds; has dependency problems; has failing tests5

future-visualizer

Graphical performance tools for using futures

License:
Racket0

future-visualizer-pict

The drawing and data representation portions of the future visualizer

This package needs documentation

Tags:
License:
Racket4

gdbdump

GDB-based Native Thread Backtrace Dumps

Docs:
Tags:

This package needs license metadata

Racketsucceeds2

graphics

A typed technical graphics family for Racket: essentials, diagrams, plots, and more...

Docs:

This package needs license metadata

Racketsucceeds2

herbie

A tool for automatically improving the accuracy of floating point expressions

This package needs documentation

License:
Racketsucceeds; has conflicts; has dependency problems; has failing tests5

htdp-trace

Wrapper for racket/trace that allows it to be used in HtDP Languages like Beginning Student, where functions cannot be used as first class values.

This package needs license metadata

Racketsucceeds2

libgit2

Low-level Racket bindings for the libgit2 C library

Docs:
Tags:
License:
Racketsucceeds; has failing tests5

macro-debugger

The macro debugger tool

License:
Racket0

macro-debugger-text-lib

The macro debugger tool with a console interface

This package needs documentation

License:
Racket4

medic

A debugging tool for better printf

Docs:

This package needs tags

This package needs license metadata

Racketsucceeds; has failing tests5

mox

Open XML for Microsoft Office

Docs:

This package needs license metadata

Racketsucceeds2

object-backtrace

This package needs a description

This package needs documentation

This package needs tags

This package needs license metadata

Racketsucceeds4

phc-toolkit

Personal collection of utilities. Somewhat unstable and sparsely documented (for now).

This package needs license metadata

Racketsucceeds2

pict3d

Modern 3D engine with a purely functional interface

License:
Racketsucceeds; has failing tests5

pict3d-orig

Modern 3D engine with a purely functional interface

Docs:

This package needs license metadata

Racketfails6

New

racket-doc

Base Racket documentation

License:
Racket0

racket-langserver

Language Server Protocol implementation for Racket

This package needs license metadata

Racketsucceeds; has failing tests5

New

racket-test

Base Racket test suites

This package needs documentation

License:
Racket4

New

Rakka

Erlang-style actor model

Docs:
License:
Racketsucceeds; has dependency problems0

redex-gui-lib

implementation (no documentation) part of "redex" gui

Docs:
License:
Racket0

redex-lib

implementation (no documentation) part of "redex"

Docs:
License:
Racket0

redex-test

tests for "redex"

Docs:
License:
Racket0

rosette

The Rosette Language

This package needs tags

This package needs license metadata

Racketsucceeds2

ruckus

Procedural CAD system for solid modeling

Docs:

This package needs license metadata

Racketsucceeds2

scheme-lib

Legacy (Scheme) libraries

This package needs documentation

License:
Racket4

sentry-lib

A Sentry SDK for Racket. (implementation only)

Docs:
License:
Racketsucceeds0

Stone

An elegant agentic harness for a more civilized age

Docs:
License:
Racketsucceeds; has failing tests5

syndicate-classic

A language for interactive programs. Previous version of #lang syndicate, prior to incorporation of capabilities.

This package needs license metadata

Racketsucceeds; has conflicts; has failing tests5

trace

Instrumentation to show function calls

Docs:
License:
Racket0

trace-lib

implementation (no documentation) part of "trace"

Docs:
License:
Racket0

trace-contract

This package needs a description

This package needs tags

This package needs license metadata

Racketsucceeds3

trace-contract-lib

This package needs a description

This package needs tags

This package needs license metadata

Racketsucceeds3

trace-contract-benchmark

This package needs a description

This package needs documentation

This package needs tags

This package needs license metadata

Racketsucceeds; has failing tests5

traces

Tracing utilities for functions and hash-tables, similar to `traces` from `redex`

This package needs documentation

This package needs license metadata

Racketsucceeds; has dependency problems; has failing tests5

verse-calculus-redex

This package needs a description

This package needs tags

License:
Racketsucceeds3

x64asm-lib

a simple x64 assembler written in Typed Racket

Docs:

This package needs license metadata

Racketsucceeds2