Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pkgs.racket-lang.org "typed-racket" keyword
typed-pmsf
PMS formatting and parsing functions. Typed interface.Latest release: about 2 hours ago - 0 stars on GitLab.com - 1 maintainer
Top 6.6% on pkgs.racket-lang.org
Latest release: about 11 hours ago - 11 stars on GitHub - 1 maintainer
w3s
W3 Standards Implemented in Typed RacketLatest release: about 11 hours ago - 11 stars on GitHub - 1 maintainer
knotty
A domain-specific language for knitting patternsLatest release: 1 day ago - 4 stars on GitHub - 1 maintainer
rackunit-typed
Typed Racket interface to the RackUnit testing frameworkLatest release: 1 day ago - 17 stars on GitHub - 2 maintainers
Top 5.8% on pkgs.racket-lang.org
Latest release: 2 days ago - 8 stars on GitHub - 1 maintainer
graphics
Essential computer graphics for Typed RacketLatest release: 2 days ago - 8 stars on GitHub - 1 maintainer
knotty-lib
A domain-specific language for knitting patterns. Implementation only: no documentation.Latest release: 4 days ago - 4 stars on GitHub - 1 maintainer
require-typed-check
require/typed, but skips contracts on already-typed importsLatest release: 8 days ago - 3 stars on GitHub - 1 maintainer
bnf
Concise Typed Racket syntax for declaring recursive data in BNFLatest release: 9 days ago - 0 stars on GitHub - 1 maintainer
Top 9.5% on pkgs.racket-lang.org
Latest release: 10 days ago - 3 stars on GitHub - 1 maintainer
digimon
The (typed) core to construct the digital worldLatest release: 10 days ago - 3 stars on GitHub - 1 maintainer
irc-client
A higher-level, typed wrapper around the irc packageLatest release: 11 days ago - 3 stars on GitHub - 1 maintainer
Top 7.5% on pkgs.racket-lang.org
Latest release: 15 days ago - 4 stars on GitHub - 1 maintainer
typed-racket-stream
Streams for typed racketLatest release: 15 days ago - 4 stars on GitHub - 1 maintainer
data-type
data type syntax for typed/racketLatest release: 16 days ago - 0 stars on GitHub - 1 maintainer
typed-graph
Typed interface for the generic graph library.Latest release: 19 days ago - 1 maintainer
typed-compose
Utilities for composing functions in Typed Racket.Latest release: 19 days ago - 1 maintainer
gtp-checkup
Test correctness of typed/untyped interaction.Latest release: 20 days ago - 1 maintainer
Top 9.5% on pkgs.racket-lang.org
Latest release: 20 days ago - 1 stars on GitHub - 1 maintainer
alexis-util
Various utilities and helper functions I've found usefulLatest release: 20 days ago - 1 stars on GitHub - 1 maintainer
xlist
Fancy lists, with bounded or unbounded repetition of elements. Can be used as a type or match pat...Latest release: 21 days ago - 0 stars on GitHub - 1 maintainer
type-expander
Type expanders for typed/racket, which work like match expanders for matchLatest release: 21 days ago - 15 stars on GitHub - 1 maintainer
schema
A data modeling tool for Typed RacketLatest release: 21 days ago - 5 stars on GitHub - 1 maintainer
delay-pure
Non-cached promises for Typed/Racket, like delay/name. Should be sound for occurrence typing (unl...Latest release: 21 days ago - 1 stars on GitHub - 1 maintainer
typed-racket-datatype
Algebraic Datatypes for Typed Racket (tests and docs)Latest release: 21 days ago - 1 stars on GitHub - 1 maintainer
psd
Read (and will write) Photoshop DocumentsLatest release: 21 days ago - 1 stars on GitHub - 1 maintainer
json-type-provider
A well-typed JSON parser for Typed Racket inspired by Type ProviderLatest release: 21 days ago - 15 stars on GitHub - 1 maintainer
typed-racket-datatype-lib
Algebraic Datatypes for Typed Racket (implementation)Latest release: 21 days ago - 1 stars on GitHub - 1 maintainer
phc-adt
Algebraic Data Types for Typed/Racket, with features tailored to compiler writing. The data types...Latest release: 21 days ago - 2 stars on GitHub - 1 maintainer
Top 8.8% on pkgs.racket-lang.org
Latest release: 21 days ago - 6 stars on GitHub - 1 maintainer
typed-stack
A simple stack library written in TR.Latest release: 21 days ago - 6 stars on GitHub - 1 maintainer
typed-map
Type inference helper for map with Typed/Racket. Supports afl (rather the unhygienic variant, afu...Latest release: 21 days ago - 1 stars on GitHub - 1 maintainer
openapi-type-provider
Type provider for OpenAPI schemas. Generate well-typed client libraries in Typed Racket.Latest release: 21 days ago - 5 stars on GitHub - 1 maintainer
typed-minikanren
An implementation of miniKanren in typed racket.Latest release: 21 days ago - 2 stars on GitHub - 1 maintainer
tr-immutable
Helpers to write macros using typed/racket at phase 1. Heavily unstable, WIP, experimental, not d...Latest release: 21 days ago - 2 stars on GitHub - 1 maintainer
clang
Toolbox for C family in Typed RacketLatest release: 21 days ago - 4 stars on GitHub - 1 maintainer
Top 9.0% on pkgs.racket-lang.org
Latest release: 21 days ago - 5 stars on GitHub - 1 maintainer
compact-annotations
Function type annotation syntax for Typed Racket similar to HaskellLatest release: 21 days ago - 5 stars on GitHub - 1 maintainer
typed-racket-hacks
Various workarounds for Typed Racket, most of which are expected to be eventually obsoleteLatest release: 21 days ago - 1 stars on GitHub - 1 maintainer
Top 7.5% on pkgs.racket-lang.org
Latest release: 21 days ago - 6 stars on GitHub - 1 maintainer
type-conventions
Forms for giving specific argument names implicit typesLatest release: 21 days ago - 6 stars on GitHub - 1 maintainer
typed-worklist
A Typed Racket implementation of a general-purpose worklist, with multiple worklists of different...Latest release: 21 days ago - 0 stars on GitHub - 1 maintainer
typed-struct-props
Some struct type properties in Typed/Racket, in a more type-safe way. The API should hopefully...Latest release: 21 days ago - 2 stars on GitHub - 1 maintainer
prefab-predicate-compat
Provides `define-backwards-compatible-flat-prefab-predicate`which is like `define-predicate` but ...Latest release: 21 days ago - 1 stars on GitHub - 1 maintainer
Top 5.8% on pkgs.racket-lang.org
Latest release: 21 days ago - 8 stars on GitHub - 1 maintainer
2htdp-typed
A partial version of 2htdp for Typed RacketLatest release: 21 days ago - 8 stars on GitHub - 1 maintainer
intern
Type-safe interning of datatype in Typed Racket as a new sub-type of IndexLatest release: 23 days ago - 0 stars on GitHub - 1 maintainer
x64asm
a simple x64 assembler written in Typed RacketLatest release: 23 days ago - 18 stars on GitHub - 1 maintainer
x64asm-lib
a simple x64 assembler written in Typed RacketLatest release: 23 days ago - 18 stars on GitHub - 1 maintainer
Top 7.8% on pkgs.racket-lang.org
Latest release: 23 days ago - 6 stars on GitHub - 1 maintainer
set-extras
Some conveniences for set, including fancy unicode aliases and more comprehension formsLatest release: 23 days ago - 6 stars on GitHub - 1 maintainer
trivial
type-tailored standard library functionsLatest release: 29 days ago - 8 stars on GitHub - 1 maintainer
knotty-doc removed
A domain-specific language for knitting patterns. Documentation only.Latest release: about 1 year ago - 4 stars on GitHub - 1 maintainer
knotty-test removed
A domain-specific language for knitting patterns. Tests only.Latest release: about 1 year ago - 4 stars on GitHub - 1 maintainer
knitscheme removed
A domain-specific language for knitting patternsLatest release: about 1 year ago - 3 stars on GitHub - 1 maintainer
Related Keywords
racket
10
racket-library
8
unstable
8
parser
5
knitting-patterns
5
dsl
5
knitting
5
language
5
knitting-pattern
5
experimental
2
syntax
2
utility
2
data
2
json
2
xml
2
struct
2
assembler
2
psd
1
algebraic-data-types
1
stack
1
racket-lang
1
functional
1
api
1
parsing-library
1
openapi
1
type-provider
1
miniKanren
1
minikanren
1
photoshop
1
file
1
immutable
1
C
1
ffi
1
unsafe
1
c
1
sugar
1
types
1
hacks
1
shorthand
1
structs
1
prefab
1
2htdp
1
big-bang
1
gui
1
set
1
unicode
1
grammar
1
bnf
1
require
1
contracts
1
computer-graphics
1
graphics
1
colorspace
1
office
1
rackunit
1
main-distribution
1
w3
1
svg
1
css
1
typed
1
parse
1
gentoo
1
bitmap
1
pure
1
immutability
1
xlsx
1
sqlite3
1
schema
1
database
1
csv
1
macros
1
match
1
tests
1
compose
1
graph
1
stream
1
net
1
irc
1