Data

Tools

Indexes

Applications

Experiments

Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

pkgs.racket-lang.org "types" keyword

typed-racket-more 💰
Types for various libraries
Latest release: less than a minute ago - 575 stars on GitHub - 2 maintainers
typed-racket-lib 💰
implementation (no documentation) part of "typed-racket"
Latest release: less than a minute ago - 575 stars on GitHub - 2 maintainers
typed-racket-doc 💰
documentation part of "typed-racket"
Latest release: less than a minute ago - 575 stars on GitHub - 2 maintainers
source-syntax 💰
find mappings from expanded to source syntax
Latest release: 1 minute ago - 575 stars on GitHub - 3 maintainers
typed-racket 💰
The implementation of the Typed Racket language
Latest release: less than a minute ago - 575 stars on GitHub - 2 maintainers
typed-racket-test 💰
tests for "typed-racket"
Latest release: less than a minute ago - 575 stars on GitHub - 2 maintainers
typed-racket-compatibility 💰
compatibility library for older Typed Racket-based languages
Latest release: less than a minute ago - 575 stars on GitHub - 2 maintainers
liquid-shplait
Refinement (liquid) types for Shplait, checked at compile time with Z3
Latest release: 1 minute ago - 1 maintainer
Top 0.3% on pkgs.racket-lang.org
pie
The Pie language, used in The Little Typer
Latest release: 2 days ago - 744 stars on GitHub - 2 maintainers
Top 5.8% on pkgs.racket-lang.org
wort
A tiny concatenative language with polymorphic type inference
Latest release: 5 days ago - 35 stars on GitHub - 1 maintainer
Top 0.7% on pkgs.racket-lang.org
cur
Dependent types and meta-programming
Latest release: 7 days ago - 232 stars on GitHub - 1 maintainer
pie-a-let-mode
A little fork of the Pie language (adds `let` and `equal`).
Latest release: 12 days ago - 3 stars on GitHub - 1 maintainer
Top 10.0% on pkgs.racket-lang.org
social-contract
High-level, composable syntax for describing contracts.
Latest release: 20 days ago - 3 stars on GitHub - 1 maintainer
Top 9.0% on pkgs.racket-lang.org
compact-annotations
Function type annotation syntax for Typed Racket similar to Haskell
Latest release: 20 days ago - 5 stars on GitHub - 1 maintainer
Related Keywords
racket 8 main-distribution 6 lang 3 language 3 syntax 1 standards 1 dsl 1 contracts 1 smt 1 shplait 1 rhombus 1 refinement-types 1 liquid-types 1 education 1 main-tests 1 proofs 1 type-inference 1 racket-lang 1 concatenative 1 unification 1 inference 1 typed-racket 1 sugar 1 experimental 1