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 "types" keyword

typed-racket-more
Types for various libraries
Latest release: about 5 hours ago - 469 stars on GitHub - 2 maintainers
source-syntax
find mappings from expanded to source syntax
Latest release: 1 day ago - 469 stars on GitHub - 3 maintainers
typed-racket
The implementation of the Typed Racket language
Latest release: 1 day ago - 469 stars on GitHub - 2 maintainers
Top 0.3% on pkgs.racket-lang.org
pie
The Pie language, used in The Little Typer
Latest release: 1 day ago - 640 stars on GitHub - 2 maintainers
Top 9.0% on pkgs.racket-lang.org
compact-annotations
Function type annotation syntax for Typed Racket similar to Haskell
Latest release: 1 day ago - 5 stars on GitHub - 1 maintainer
Top 0.7% on pkgs.racket-lang.org
cur
Dependent types and meta-programming
Latest release: 2 days ago - 212 stars on GitHub - 1 maintainer
typed-racket-compatibility
compatibility library for older Typed Racket-based languages
Latest release: 3 days ago - 469 stars on GitHub - 2 maintainers
typed-racket-lib
implementation (no documentation) part of "typed-racket"
Latest release: 3 days ago - 469 stars on GitHub - 2 maintainers
typed-racket-test
tests for "typed-racket"
Latest release: 3 days ago - 469 stars on GitHub - 2 maintainers
Top 5.8% on pkgs.racket-lang.org
wort
A tiny concatenative language with polymorphic type inference
Latest release: 4 days ago - 24 stars on GitHub - 1 maintainer
Top 10.0% on pkgs.racket-lang.org
social-contract
High-level, composable syntax for describing contracts.
Latest release: 22 days ago - 3 stars on GitHub - 1 maintainer
pie-a-let-mode
A little fork of the Pie language (adds `let` and `equal`).
Latest release: 23 days ago - 2 stars on GitHub - 1 maintainer
typed-racket-doc removed
documentation part of "typed-racket"
Latest release: 4 months ago - 469 stars on GitHub - 2 maintainers
Related Keywords
racket 8 main-distribution 6 lang 3 language 2 syntax 1 standards 1 dsl 1 contracts 1 type-inference 1 racket-lang 1 concatenative 1 unification 1 inference 1 main-tests 1 proofs 1 typed-racket 1 sugar 1 experimental 1