Search Package Index

10 packages found

	Package	Description	Family	Build
-1770657487	dracula cceλa0ce749	Dracula: ACL2 theorem prover tools in DrRacket This package needs documentation This package needs tags This package needs license metadata	Racket	fails	6
-1537235893	mischief cceλa0ce749	Mischief: A Racketeer's Toolkit Docs: mischief Tags: data debug dev documentation language syntax This package needs license metadata	Racket	succeeds; has failing tests	5
-1537034394	mischief-dev cceλa0ce749	Mischief: A Racketeer's Toolkit [development branch] Docs: mischief Tags: data debug dev documentation language syntax This package needs license metadata	Racket	succeeds; has conflicts; has failing tests	5
-1502816397	refined-acl2 cceλa0ce749	Refined ACL2: experimental implementation of ACL2-verifiable code with ML modules and Racket macros. This package needs documentation This package needs tags This package needs license metadata	Racket	fails	6
-1680546949	staged-slide stamourvλc4199c9 cceλa0ce749	Helpers for building staged slides in Slideshow Docs: staged-slide Tags: slideshow This package needs license metadata	Racket	succeeds	2
-1571880428	unstable jayλcdcc66f samthλ5dd761c cceλa0ce749 ryancλf3e03f0 unstable-doc unstable-test unstable-lib	Experimental libraries Docs: unstable-gui unstable Tags: unstable This package needs license metadata	Racket	succeeds	2
-1571880430	unstable-doc jayλcdcc66f samthλ5dd761c cceλa0ce749 ryancλf3e03f0	documentation part of "unstable" Docs: unstable-gui unstable Tags: unstable This package needs license metadata	Racket	succeeds	2
-1627926336	unstable-lib jayλcdcc66f samthλ5dd761c cceλa0ce749 ryancλf3e03f0	implementation (no documentation) part of "unstable" Docs: unstable-gui unstable Tags: unstable This package needs license metadata	Racket	succeeds	2
-1627926337	unstable-test jayλcdcc66f samthλ5dd761c cceλa0ce749 ryancλf3e03f0 robbyλ1d253e1	tests for "unstable" Docs: unstable-gui unstable Tags: unstable This package needs license metadata	Racket	succeeds; has failing tests	5
-1571880435	unstable-pretty-lib cceλa0ce749	Experimental libraries for pretty printing This package needs documentation Tags: unstable This package needs license metadata	Racket	succeeds	4