cofree-bot
goby
cofree-bot | goby | |
---|---|---|
1 | 2 | |
39 | 3,466 | |
- | 0.0% | |
5.0 | 0.0 | |
4 months ago | about 1 year ago | |
Haskell | Go | |
- | 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.
cofree-bot
-
Ask HN: What side projects landed you a job?
Not a job per se, but some friends and I wrote a library for building compositional chatbots (like for IRC not LLMs necessarily) encoded as Mealy Machines: https://github.com/cofree-coffee/cofree-bot/
That project then has since led to a long term collaboration with the Topos Institute where we are building type theory for Polynomial Functors: https://github.com/toposInstitute/polytt
Polynomial Functors are a really powerful abstraction from Category Theory which subsumes the co-algebraic approach to finite state machines used in `cofree-bot` and which can also be used to encode wiring diagrams, tactics engines, game semantics, neural networks, and dynamical systems in general.
goby
-
Ask HN: What side projects landed you a job?
In 2017, I wrote a toy language called Goby[1] to learn how Ruby works. A few folks contributed quite a bit to it and one of them later referred me to my previous job (as a backend developer).
Fast-forward to 2021, I got interested in debugging tools so I started contributing to the then newly created Ruby debugger[2]. In less than a year I opened more than a hundred PRs and became the 2nd biggest contributor of it. And that eventually landed me a job to work on Ruby's development tools, like LSP servers, REPLs, and of course, the debugger :-)
[1] https://github.com/goby-lang/goby
[2] https://github.com/ruby/debug
- Goby – Ruby-inspired language written in Go
What are some alternatives?
govuk-components - Lightweight Ruby on Rails components for developing with the GOV.UK Design System.
yaegi - Yaegi is Another Elegant Go Interpreter
pakhi-bhasha - Dynamically typed bangla programming language written in rust
flash - Flash Restful API framework in Golang, Created over gin-gonic.
bc - An implementation of the POSIX bc calculator with GNU extensions and dc, moved away from GitHub. Finished, but well-maintained.
fiber-go-template - 📝 Production-ready backend template with Fiber Go Web Framework for Create Go App CLI.
albumentations - Fast image augmentation library and an easy-to-use wrapper around other libraries. Documentation: https://albumentations.ai/docs/ Paper about the library: https://www.mdpi.com/2078-2489/11/2/125
rest-template-go - Template go lang service to showcase REST best practices. Built by the Speakeasy team.
Picnic CSS - :handbag: A beautiful CSS library to kickstart your projects
WebGo - A microframework to build web apps; with handler chaining, middleware support, and most of all; standard library compliant HTTP handlers(i.e. http.HandlerFunc).
stepmania - Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.
go-sdk - A composable toolbox of libraries to build everything from CLIs to enterprise applications.