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 bindings
Latest release: 20 days ago - 12 stars on GitHub - 1 maintainer
mathler
terminal version of mathler game, and its solver
Latest release: 20 days ago - 0 stars on GitHub - 1 maintainer
formatted-string
Extends racket string to formatted string
Latest release: 20 days ago - 3 stars on GitHub - 1 maintainer
mini-theme
A minimal DrRacket theme
Latest release: 20 days ago - 0 stars on GitHub - 1 maintainer
data-type
data type syntax for typed/racket
Latest release: 20 days ago - 0 stars on GitHub - 1 maintainer
syntax-extension
A helper collection of syntax
Latest release: 20 days ago - 0 stars on GitHub - 1 maintainer
cover-badge
A badge generator for coverage
Latest release: 20 days ago - 6 stars on GitHub - 1 maintainer
drracket-wakatime
wakatime support on DrRacket
Latest release: 20 days ago - 2 stars on GitHub - 2 maintainers
Top 3.9% on pkgs.racket-lang.org
sauron
A DrRacket plugin to make it experience like an IDE
Latest release: 20 days ago - 48 stars on GitHub - 1 maintainer
racket-tree-sitter
racket binding to tree-sitter
Latest release: 20 days ago - 9 stars on GitHub - 1 maintainer
reporter
A util toolbox for compiler error reporting
Latest release: 20 days ago - 4 stars on GitHub - 1 maintainer
Top 7.6% on pkgs.racket-lang.org
k
k theorem prover
Latest release: 25 days ago - 11 stars on GitHub - 3 maintainers
Top 7.6% on pkgs.racket-lang.org
k-example
examples of using k theorem prover
Latest release: 25 days ago - 11 stars on GitHub - 2 maintainers
Top 7.6% on pkgs.racket-lang.org
k-test
Test of k
Latest release: 25 days ago - 11 stars on GitHub - 2 maintainers
raco-watch
An extension of raco command that watching files and re-executing subcommand
Latest release: 25 days ago - 0 stars on GitHub - 1 maintainer
Top 7.6% on pkgs.racket-lang.org
k-lib
libraries of k theorem prover
Latest release: 25 days ago - 11 stars on GitHub - 2 maintainers
Top 7.6% on pkgs.racket-lang.org
k-doc
documentation of k theorem prover
Latest release: 25 days ago - 11 stars on GitHub - 2 maintainers
Top 7.6% on pkgs.racket-lang.org
k-core
core of k theorem prover
Latest release: 27 days ago - 11 stars on GitHub - 2 maintainers