cofree-bot
stepmania
| cofree-bot | stepmania | |
|---|---|---|
| 1 | 73 | |
| 39 | 1,812 | |
| - | 0.6% | |
| 5.0 | 0.0 | |
| 4 months ago | 4 months ago | |
| Haskell | C++ | |
| - | - |
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.
stepmania
- Ask HN: What side projects landed you a job?
- How to use data in stepmania files
-
Nintendo Switch as the "PC" for Stepmania with L4S Linux
Check here and here for instructions.
-
Unsure how to start, community seems fractured, wanting to setup songs and characters
Stepmania 5.1 beta 2
-
Problems to play some songs ports made by MrThatKid4
It means the lowest version you could use to play those files is the last build stepmania, stepmania 5.1b2 (https://github.com/stepmania/stepmania/releases/tag/v5.1.0-b2)
- Does anyone know why StepMania is lagging so much for? Is there a way fix this problem? My frame rate is so low. Outfox runs fine, but StepMania doesn’t which makes no sense.
- need help finding rock and/guitar hero to help with my OT
-
You step away from the scene for ~7-8years... How would one catch back up?
Original StepMania is still around, I recommend using version 5.1-b2: https://github.com/stepmania/stepmania/releases/tag/v5.1.0-b2
- Song creation help
-
Ok I did it, I took the dive into an L-Tek, whats new?
I would recommend grabbing 5.1 from here: https://github.com/stepmania/stepmania/releases/tag/v5.1.0-b2 Don't worry about the "beta" label, this version is very stable but it never got a proper release because the development team sort of fell apart after that.
What are some alternatives?
govuk-components - Lightweight Ruby on Rails components for developing with the GOV.UK Design System.
etterna - Advanced cross-platform rhythm game focused on keyboard play
pakhi-bhasha - Dynamically typed bangla programming language written in rust
OutFoxWeb - Language files for the OutFox website
bc - An implementation of the POSIX bc calculator with GNU extensions and dc, moved away from GitHub. Finished, but well-maintained.
SQLite - Official Git mirror of the SQLite source tree
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
AutoStepper - Java tool to automate StepMania SM generation. Complete generation with banner & background art, all difficulty levels, multiple beat detection methods etc.
Picnic CSS - :handbag: A beautiful CSS library to kickstart your projects
JKPS - A keys-per-second meter for rhythm games, useful for streaming and making videos
backgroundremover - Background Remover lets you Remove Background from images and video using AI with a simple command line interface that is free and open source.
FStar - A Proof-oriented Programming Language