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]

Top 4.5% on pkgs.racket-lang.org
sexp-diff
Diffs s-expressions based on Levenshtein-like edit distance.
Latest release: about 4 hours ago - 18 stars on GitHub - 2 maintainers
Top 4.5% on pkgs.racket-lang.org
sexp-diff-test
Tests for sexp-diff-lib
Latest release: about 5 hours ago - 18 stars on GitHub - 2 maintainers
Top 4.5% on pkgs.racket-lang.org
sexp-diff-lib
Diffs s-expressions based on Levenshtein-like edit distance, library only.
Latest release: about 7 hours ago - 18 stars on GitHub - 2 maintainers
Top 0.7% on pkgs.racket-lang.org
cur
Dependent types and meta-programming
Latest release: 4 days ago - 212 stars on GitHub - 1 maintainer
Top 0.7% on pkgs.racket-lang.org
cur-test
A less devious proof assistant
Latest release: 4 days ago - 212 stars on GitHub - 1 maintainer
Top 0.7% on pkgs.racket-lang.org
cur-doc
A less devious proof assistant
Latest release: 4 days ago - 212 stars on GitHub - 1 maintainer
Top 6.9% on pkgs.racket-lang.org
scribble-minted-doc
Documentation for scribble-minted.
Latest release: 13 days ago - 17 stars on GitHub - 1 maintainer
Top 6.9% on pkgs.racket-lang.org
scribble-minted
A scribble library for using pygmentize.
Latest release: 13 days ago - 17 stars on GitHub - 1 maintainer
Top 6.9% on pkgs.racket-lang.org
scribble-minted-lib
A scribble library for using pygmentize (library only).
Latest release: 13 days ago - 17 stars on GitHub - 1 maintainer
scribble-coq
A library for typesetting Coq and coqtop interactions in Scribble.
Latest release: 24 days ago - 10 stars on GitHub - 1 maintainer
rackpgmp
A library for profile-guided meta-programming
Latest release: 25 days ago - 2 stars on GitHub - 1 maintainer
Top 9.5% on pkgs.racket-lang.org
scribble-bettergrammar-doc
Documentation for scribble-bettergrammar-lib, a Scribble library for typesetting grammars with an...
Latest release: 27 days ago - 15 stars on GitHub - 1 maintainer
Top 9.5% on pkgs.racket-lang.org
scribble-bettergrammar-lib
A Scribble library for typesetting grammars with annotations, in particular, differences between ...
Latest release: 27 days ago - 15 stars on GitHub - 1 maintainer
Top 9.5% on pkgs.racket-lang.org
scribble-bettergrammar
A Scribble library for typesetting grammars with annotations, in particular, differences between ...
Latest release: 27 days ago - 15 stars on GitHub - 1 maintainer
Top 0.7% on pkgs.racket-lang.org
cur-lib
A less devious proof assistant
Latest release: 28 days ago - 212 stars on GitHub - 1 maintainer
Top 4.5% on pkgs.racket-lang.org
sexp-diff-doc
Diffs s-expressions based on Levenshtein-like edit distance, documentation.
Latest release: about 1 month ago - 18 stars on GitHub - 2 maintainers