-1641569612 | | a scribble document for beginner mode of ACL2s This package needs tags This package needs license metadata | succeeds | 2 |
-1641566017 | | a lang-extension that provides rackjure-like anonymous function literals This package needs license metadata | succeeds | 2 |
-1654683436 | | Some stuff for representing music and music theory This package needs documentation This package needs license metadata | succeeds; has failing tests | 5 |
-1683812633 | | my version of objects, inspired by "things" from heresy This package needs license metadata | succeeds | 2 |
-1683643471 | | a lang-extension for writing :kw for #:kw This package needs license metadata | succeeds | 2 |
-1641573334 | | match with colon notation, based on discussion with Jens Axel Søgaard on users list This package needs license metadata | succeeds | 2 |
-1641573421 | | cond: what it should have been This package needs license metadata | succeeds | 2 |
-1704805601 | | a lang-extension for debugging, and a macro for inserting a debug-repl | succeeds | 0 |
-1731779189 | | a version of define that allows definitions to be spread across a file This package needs license metadata | succeeds | 2 |
-1658595131 | | a version of define for defining functions with match-patterns as arguments This package needs license metadata | succeeds | 2 |
-1641573467 | | obj.method(x) in racket using mutable-match-lambda This package needs license metadata | succeeds | 2 |
-1696023560 | | a lang-extension that reads decimals as exact rationals This package needs license metadata | succeeds | 2 |
-1704805815 | | Generic binding forms. This package needs tags This package needs license metadata | succeeds | 2 |
-1704805837 | | a #lang that allows relative module paths for reader languages This package needs documentation This package needs license metadata | fails | 6 |
-1658595614 | | using hash-tables for rest-arguments that include keyword-arguments This package needs license metadata | succeeds | 2 |
-1641566605 | | hygienic versions of quote-like racket reader macros This package needs license metadata | succeeds | 2 |
-1683813119 | | adding hygiene to racket reader extensions This package needs license metadata | succeeds | 2 |
-1596548000 | | A racket port of the version of minikanren from the artifact of the ICFP 2017 Pearl, A Unified Approach to Solving Seven Programming Problems by William E. Byrd, Michael Ballantyne, Gregory Rosenblatt, and Matthew Might. Includes evalo-optimized. This package needs documentation This package needs license metadata | succeeds | 4 |
-1641573967 | | A lang-extension that reads every number as inexact This package needs license metadata | succeeds | 2 |
-1641566633 | | Naming struct fields with keywords for constructing and matching This package needs license metadata | succeeds | 2 |
-1651465616 | | Naming struct fields with keywords for constructing and matching This package needs documentation This package needs license metadata | succeeds | 4 |
-1661302690 | | misc kw utils This package needs license metadata | succeeds | 2 |
-1658534317 | | Functions for dealing with #lang files This package needs license metadata | succeeds | 2 |
-1658534318 | | Functions for dealing with #lang files This package needs documentation This package needs license metadata | succeeds | 4 |
-1568145120 | | Composable, functional lenses This package needs license metadata | succeeds | 2 |
-1568145120 | | Base lens constructors and additional combinators This package needs documentation This package needs license metadata | succeeds | 4 |
-1704805995 | | Lens constructors for various Racket data structures This package needs documentation This package needs license metadata | succeeds | 4 |
-1568145122 | | Documentation for the lens libraries This package needs license metadata | succeeds | 2 |
-1568145122 | | Implementation (no docs) of the lens library, includes lens-data and lens-common This package needs documentation This package needs license metadata | succeeds | 4 |
-1568145123 | | Unstable and experimental features for lenses This package needs documentation This package needs license metadata | succeeds | 4 |
-1525378796 | | A version of the macrotypes / Turnstile idea where types don't have to be syntax objects This package needs tags This package needs license metadata | succeeds; has failing tests | 5 |
-1624649349 | | string-append and append as a match patterns This package needs license metadata | succeeds | 2 |
-1595036635 | | based on measures, but with dimensions and types This package needs license metadata | succeeds | 2 |
-1575315224 | | a #lang language for multiple files in one This package needs license metadata | succeeds; has failing tests | 5 |
-1638052287 | | This package needs a description This package needs license metadata | succeeds | 3 |
-1641570227 | | a version of cond that supports "cond-expanders" and a for/cond-clause form, allowing it to iterate though conditions This package needs license metadata | succeeds | 2 |
-1549910535 | | a lang-extension that reads `|` as a normal character This package needs license metadata | succeeds | 2 |
-1704806243 | | Deprecated. Use syntax-classes-lib instead. This package needs license metadata | succeeds | 2 |
-1704806263 | | Modern 3D engine with a purely functional interface | succeeds; has failing tests | 5 |
-1641570492 | | a lang-extension for postfix dot notation This package needs license metadata | succeeds | 2 |
-1641448746 | | Pretty versions of printf, format, etc. that print according to format strings This package needs license metadata | succeeds | 2 |
-1726459763 | | A version of quote that helps to rid programs of bad uses of quote | succeeds | 0 |
-1641570648 | | operations that return immutable strings, immutable byte-strings, and immutable vectors This package needs documentation This package needs tags This package needs license metadata | succeeds | 4 |
-1641570825 | | `~list/ctx` pattern and `?list/ctx` template for reconstructing syntax objects for core-form languages This package needs license metadata | succeeds | 2 |
-1717610915 | | a #lang for reproviding modules This package needs license metadata | succeeds | 2 |
-1721721949 | | a #lang for reproviding modules This package needs documentation This package needs license metadata | succeeds | 4 |
-1695776326 | | A scribble examples form that works with non-s-exp languages This package needs license metadata | succeeds | 2 |
-1695776327 | | A scribble examples form that works with non-s-exp languages This package needs documentation This package needs license metadata | succeeds | 4 |
-1709404792 | | ~seq-no-order and ~no-order as pattern-expanders that work with syntax/parse. This package needs license metadata | succeeds | 2 |
-1529190173 | | Serializing syntax introducers into values that can be embedded into syntax objects, compiled, read back as syntax, and restored to functions that introduce the same scopes This package needs license metadata | succeeds | 2 |
-1641570960 | | Creating struct-type properties with a struct-like interface This package needs license metadata | succeeds | 2 |
-1678156408 | | Sweet expressions: an alternative to s-expressions This package needs license metadata | succeeds | 2 |
-1678156408 | | Implementation part of sweet-exp This package needs documentation This package needs license metadata | succeeds | 4 |
-1678156409 | | Tests for sweet-exp This package needs documentation This package needs license metadata | succeeds | 4 |
-1704806620 | | Combining syntax classes together as multiple variants This package needs license metadata | succeeds | 2 |
-1658535587 | | experimental racket module language for creating languages, inspired by syntax-lang This package needs documentation This package needs license metadata | succeeds | 4 |
-1641665549 | | counts the number of source lines of code in a racket syntax object This package needs tags This package needs license metadata | succeeds; has failing tests | 5 |
-1732826995 | | Treelist operations matching racket/list that aren't in racket/treelist | succeeds | 0 |
-1704806678 | | Tests and Docs for try-catch-finally-lib This package needs license metadata | succeeds | 2 |
-1627583888 | | A macro for catching exceptions and running teardown operations. This package needs documentation This package needs license metadata | succeeds | 4 |
-1721413208 | | interfaces and tools for defining and playing turn-based games This package needs license metadata | succeeds | 2 |
-1618604887 | | #lang for implementing typed languages with Racket This package needs documentation This package needs license metadata | succeeds | 4 |
-1641571090 | | syntax-parse patterns for parsing Tagged X-expressions This package needs documentation This package needs license metadata | succeeds | 4 |
-1630521559 | | Algebraic Datatypes for Typed Racket (tests and docs) | succeeds | 0 |
-1630521559 | | Algebraic Datatypes for Typed Racket (implementation) This package needs documentation | succeeds | 4 |
-1730656182 | | Streams for typed racket This package needs documentation | succeeds | 4 |
-1622059934 | | A Racket library that allows prefix, infix, postfix, and partially applied functions. Note: ugly in some ways so I'd recommend the simpler `fancy-app` instead This package needs documentation This package needs license metadata | succeeds | 4 |