declarative-programming-streams
copilot
| declarative-programming-streams | copilot | |
|---|---|---|
| 3 | 3 | |
| 67 | 5,036 | |
| - | 1.0% | |
| 5.3 | 9.9 | |
| 10 months ago | 1 day ago | |
| Haskell | TypeScript | |
| - | MIT License |
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.
declarative-programming-streams
- Suggestions for Haskell (live) coding channels or streams
-
Twitch Streamers?
Expanding a bit. Consider checking out https://declarative.tv, when anyone on that list is live it will show up there. There is also a link to our community Discord.
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?
What are some alternatives?
copilot - A stream-based runtime-verification framework for generating hard real-time C code.
OpenChat - LLMs custom-chatbots console âš¡
infinite-list - Infinite lists aka streams
C-structs - C-Struct Types for Haskell
median-stream - Haskell data structure for constant-time queries for the median of a stream of numeric data
voidstar-lang - voidstar systems programming language
shell-conduit - Write shell scripts with Conduit
fret - A framework for the elicitation, specification, formalization and understanding of requirements.
postgrest - REST API for any Postgres database
bnfc - BNF Converter
ogma
fauxpilot - FauxPilot - an open-source alternative to GitHub Copilot server