fare/fare-scripts
Scripts written Common Lisp
GitHub repository with 37 stars and 6 forks.
Language: Common Lisp
Scripts written Common Lisp
GitHub repository with 37 stars and 6 forks.
Language: Common Lisp
2026-06-05: 37 stars and 6 forks.
ACL2 System and Books as Maintained by the Community
GitHub repository with 436 stars and 124 forks.
Trending score: 0.55; stars gained: +1; forks gained: +0.
Language: Common Lisp
Topics: acl2, theorem-prover, theorem-proving, common-lisp, rewriting, formal-verification
General-purpose editor/IDE with high expansibility in Common Lisp
GitHub repository with 2,973 stars and 250 forks.
Trending score: 0.49; stars gained: +2; forks gained: +0.
Language: Common Lisp
Topics: common-lisp, editor, text-editor
clasp Common Lisp environment
GitHub repository with 2,766 stars and 155 forks.
Trending score: 0.40; stars gained: +1; forks gained: +0.
Language: Common Lisp
Topics: common-lisp, compiler, lisp
Reviving the language that brought us the Jak & Daxter Series
GitHub repository with 3,406 stars and 221 forks.
Trending score: 0.32; stars gained: -3; forks gained: +0.
Language: Common Lisp
Topics: lisp, scheme, jak, jak-and-daxter, ps2, reverse-engineering
PAX, the Common Lisp documentation system
GitHub repository with 89 stars and 16 forks.
Trending score: 0.17; stars gained: +0; forks gained: +0.
Language: Common Lisp
Topics: documentation-generator, documentation-tools, illiterate-programming, common-lisp, rubber-doc-development, untangled-lp
A sensible Common Lisp linter that catches real mistakes, not style
GitHub repository with 81 stars and 4 forks.
Trending score: 0.12; stars gained: +0; forks gained: +0.
Language: Common Lisp
Topics: common-lisp, linter
ACL2 System and Books as Maintained by the Community
GitHub repository with 436 stars and 124 forks.
Trending score: 0.55; stars gained: +1; forks gained: +0.
Language: Common Lisp
Topics: acl2, theorem-prover, theorem-proving, common-lisp, rewriting, formal-verification
General-purpose editor/IDE with high expansibility in Common Lisp
GitHub repository with 2,973 stars and 250 forks.
Trending score: 0.49; stars gained: +2; forks gained: +0.
Language: Common Lisp
Topics: common-lisp, editor, text-editor
clasp Common Lisp environment
GitHub repository with 2,766 stars and 155 forks.
Trending score: 0.40; stars gained: +1; forks gained: +0.
Language: Common Lisp
Topics: common-lisp, compiler, lisp
Reviving the language that brought us the Jak & Daxter Series
GitHub repository with 3,406 stars and 221 forks.
Trending score: 0.32; stars gained: -3; forks gained: +0.
Language: Common Lisp
Topics: lisp, scheme, jak, jak-and-daxter, ps2, reverse-engineering
PAX, the Common Lisp documentation system
GitHub repository with 89 stars and 16 forks.
Trending score: 0.17; stars gained: +0; forks gained: +0.
Language: Common Lisp
Topics: documentation-generator, documentation-tools, illiterate-programming, common-lisp, rubber-doc-development, untangled-lp
A sensible Common Lisp linter that catches real mistakes, not style
GitHub repository with 81 stars and 4 forks.
Trending score: 0.12; stars gained: +0; forks gained: +0.
Language: Common Lisp
Topics: common-lisp, linter