Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
---|---|---|---|---|---|---|---|---|---|---|
Tlaplus | 2,154 | 3 months ago | 241 | mit | Java | |||||
TLC is a model checker for specifications written in TLA+. The TLA+Toolbox is an IDE for TLA+. | ||||||||||
Algo Phantoms Android | 42 | 3 years ago | 12 | apache-2.0 | Kotlin | |||||
📱 Algo-Phantoms-Android App is an Android Application that provides a code editor along with pathways and quizzes to help you towards your DSA journey.📰🔥 | ||||||||||
Yad Studio | 34 | 10 years ago | 1 | mit | C++ | |||||
Yad Studio - Markov algorithms IDE and interpreter | ||||||||||
Singular Spectrum Transformation | 24 | 6 years ago | 4 | May 20, 2018 | mit | Jupyter Notebook | ||||
fast implementation of singular spectrum transformation (change point detection algorithm) | ||||||||||
Codingame Scala Kit | 22 | 4 years ago | 4 | Scala | ||||||
Create Better CG Bot in Scala | ||||||||||
Rocs | 20 | 3 months ago | other | C++ | ||||||
An educational Graph Theory IDE | ||||||||||
R4f Pro | 11 | 7 years ago | other | Clojure | ||||||
IDE for rete4frames based on Protege-3.5 | ||||||||||
Ide | 10 | 9 years ago | Scala | |||||||
Interprocedural Distributive Environment algorithm implementation | ||||||||||
Code Snippets | 8 | 2 years ago | JavaScript | |||||||
📋 Runnable snippets for my Interview practice (algorithms and frontend) ☁️ | ||||||||||
Imxrt_iarflashloader | 6 | 6 years ago | mit | C | ||||||
a project that builds flashloader as IMX.RT downloading algorithm on IAR Embedded Workbench IDE. |