Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Lfortran | 817 | 3 months ago | 12 | October 18, 2022 | 1,009 | other | C++ | |||
Official main repository for LFortran | ||||||||||
Arend | 672 | 3 months ago | 47 | apache-2.0 | Java | |||||
The Arend Proof Assistant | ||||||||||
Riposte | 539 | 1 | 3 | 4 months ago | 5 | October 11, 2020 | 7 | mit | Python | |
Python package for wrapping applications inside a tailored interactive shell | ||||||||||
Readme | 142 | 3 years ago | 7 | October 14, 2020 | 1 | epl-1.0 | Clojure | |||
A testing library that turns your README into executable Clojure tests! | ||||||||||
Alchemy | 132 | 4 | 3 years ago | 20 | April 27, 2021 | 22 | mit | Elixir | ||
A discord library for Elixir | ||||||||||
Shake | 121 | 3 | 9 years ago | 8 | October 05, 2015 | 1 | Java | |||
clojure library that shakes your shell | ||||||||||
Node In Browser | 117 | 2 years ago | 3 | TypeScript | ||||||
Attempt to bootstrap Node.js in the browser in order to run Node apps or npm libraries unmodified. | ||||||||||
Capsule | 111 | 2 years ago | 14 | other | R | |||||
An inversion of renv for low effort reproducible R package libraries | ||||||||||
Deps Try | 104 | 4 months ago | 13 | mit | Clojure | |||||
Try out Clojure libraries via rebel-readline | ||||||||||
Robotframework Debuglibrary | 98 | 36 | 5 | 4 months ago | 33 | June 07, 2022 | 7 | other | Python | |
A debug library for RobotFramework, which can be used as an interactive shell(REPL) also. |