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 maintainers: [email protected]
racket-llvm
racket llvm C-API bindingsLatest release: 20 days ago - 12 stars on GitHub - 1 maintainer
mathler
terminal version of mathler game, and its solverLatest release: 20 days ago - 0 stars on GitHub - 1 maintainer
formatted-string
Extends racket string to formatted stringLatest release: 20 days ago - 3 stars on GitHub - 1 maintainer
data-type
data type syntax for typed/racketLatest release: 20 days ago - 0 stars on GitHub - 1 maintainer
syntax-extension
A helper collection of syntaxLatest release: 20 days ago - 0 stars on GitHub - 1 maintainer
cover-badge
A badge generator for coverageLatest release: 20 days ago - 6 stars on GitHub - 1 maintainer
drracket-wakatime
wakatime support on DrRacketLatest release: 20 days ago - 2 stars on GitHub - 2 maintainers
Top 3.9% on pkgs.racket-lang.org
Latest release: 20 days ago - 48 stars on GitHub - 1 maintainer
sauron
A DrRacket plugin to make it experience like an IDELatest release: 20 days ago - 48 stars on GitHub - 1 maintainer
racket-tree-sitter
racket binding to tree-sitterLatest release: 20 days ago - 9 stars on GitHub - 1 maintainer
reporter
A util toolbox for compiler error reportingLatest release: 20 days ago - 4 stars on GitHub - 1 maintainer
Top 7.6% on pkgs.racket-lang.org
Latest release: 25 days ago - 11 stars on GitHub - 3 maintainers
k
k theorem proverLatest release: 25 days ago - 11 stars on GitHub - 3 maintainers
Top 7.6% on pkgs.racket-lang.org
Latest release: 25 days ago - 11 stars on GitHub - 2 maintainers
k-example
examples of using k theorem proverLatest release: 25 days ago - 11 stars on GitHub - 2 maintainers
Top 7.6% on pkgs.racket-lang.org
Latest release: 25 days ago - 11 stars on GitHub - 2 maintainers
k-test
Test of kLatest release: 25 days ago - 11 stars on GitHub - 2 maintainers
raco-watch
An extension of raco command that watching files and re-executing subcommandLatest release: 25 days ago - 0 stars on GitHub - 1 maintainer
Top 7.6% on pkgs.racket-lang.org
Latest release: 25 days ago - 11 stars on GitHub - 2 maintainers
k-lib
libraries of k theorem proverLatest release: 25 days ago - 11 stars on GitHub - 2 maintainers
Top 7.6% on pkgs.racket-lang.org
Latest release: 25 days ago - 11 stars on GitHub - 2 maintainers
k-doc
documentation of k theorem proverLatest release: 25 days ago - 11 stars on GitHub - 2 maintainers
Top 7.6% on pkgs.racket-lang.org
Latest release: 27 days ago - 11 stars on GitHub - 2 maintainers
k-core
core of k theorem proverLatest release: 27 days ago - 11 stars on GitHub - 2 maintainers