encounter
cofree-bot
| encounter | cofree-bot | |
|---|---|---|
| 2 | 1 | |
| 49 | 39 | |
| - | - | |
| 3.9 | 5.0 | |
| about 2 years ago | 4 months ago | |
| JavaScript | Haskell | |
| - | - |
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.
encounter
-
Ask HN: What side projects landed you a job?
I'm working at Meta to this day!
Check it out at https://github.com/air/encounter
-
In-browser retro-futuristic tank game
Wow this has a ton in common with my port of the C64 game ENCOUNTER, https://github.com/air/encounter
Great job on the aesthetics!
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.
What are some alternatives?
pipes - 💿 Classic 3D Pipes screensaver remake (web-based)
govuk-components - Lightweight Ruby on Rails components for developing with the GOV.UK Design System.
scikit-clean - A collection of algorithms for detecting and handling label noise
pakhi-bhasha - Dynamically typed bangla programming language written in rust
janitorial-android - Detailed LEGO Junkbot remake and fancy level editor
bc - An implementation of the POSIX bc calculator with GNU extensions and dc, moved away from GitHub. Finished, but well-maintained.
slay
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
Pion WebRTC - Pure Go implementation of the WebRTC API
Picnic CSS - :handbag: A beautiful CSS library to kickstart your projects
equinox - Elegant easy-to-use neural networks + scientific computing in JAX. https://docs.kidger.site/equinox/
stepmania - Advanced rhythm game for Windows, Linux and OS X. Designed for both home and arcade use.