Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
copilot
- GitHub - openchatai/OpenCopilot: 🤖 🔥 AI Copilot for your own SaaS product. Open source AI sidekick for everyone.
-
OpenCopilot – AI Copilot (sidekick) for your own SaaS product
I don't think this license https://github.com/openchatai/OpenCopilot/blob/main/LICENSE is compatible with the tagline "Open source AI sidekick for everyone".
"The Licensee may not distribute, sublicense, sell, or resell the Software, in whole or in part, without explicit written permission from the Licensor"
I have no problem at all with non-open-source licenses, provided they make it clear that they're not open source licenses.
Is that a known license? I couldn't tell where it came from - it ends with "please contact [Your Contact Information]" which suggests that it's a template from somewhere. But which template?
bnfc
-
[ANN] NASA's Ogma -- now with FPrime support
[7] https://github.com/BNFC/bnfc
What are some alternatives?
C-structs - C-Struct Types for Haskell
simplebnf - ⌥ Simple Backus–Naur form (BNF) LaTeX package
OpenChat - LLMs custom-chatbots console âš¡
copilot - A stream-based runtime-verification framework for generating hard real-time C code.
voidstar-lang - voidstar systems programming language
fret - A framework for the elicitation, specification, formalization and understanding of requirements.
ogma - Generator of runtime monitors for flight and robotics applications.
fprime - F´ - A flight software and embedded systems framework
declarative-programming-streams - Active streaming declarative programmers. See who's online at the following URL:
ROS - Core ROS packages