Twitch/Discord Chat Bot that works for KGB monkaS
☆17Nov 18, 2020Updated 5 years ago
Alternatives and similar repositories for kgbotka
Users that are interested in kgbotka are comparing it to the libraries listed below
Sorting:
- Total Surveillance Automatic Ban Machine for Twitch and Discord☆148Oct 19, 2020Updated 5 years ago
- ☆13Nov 16, 2018Updated 7 years ago
- Reasonable Haskell default import☆27Mar 13, 2026Updated last week
- Snakes game demo.☆15Feb 14, 2017Updated 9 years ago
- Deploying your application with NixOS☆29Oct 7, 2020Updated 5 years ago
- a simple BitPerfect player☆30Dec 27, 2025Updated 2 months ago
- ☆29Oct 23, 2019Updated 6 years ago
- An application that lets you search for anything on Hackage☆25Dec 19, 2025Updated 3 months ago
- Intuitionistic Programming Language☆12Dec 28, 2013Updated 12 years ago
- ☆32May 27, 2018Updated 7 years ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 5 years ago
- Twitch VOD chat renderer☆45Dec 2, 2020Updated 5 years ago
- Correctness proof of the Huffman coding algorithm in Coq [maintainer=@palmskog]☆13Oct 31, 2025Updated 4 months ago
- reproducible dev+test+production environments for java+javascript+clojure(script)☆13Feb 2, 2021Updated 5 years ago
- A hobby implementation of an ncurses binding for Idris 2☆16Dec 9, 2024Updated last year
- Type definitions and low level interface implementations for the W3C WebSocket API☆11Apr 27, 2022Updated 3 years ago
- GHCJS FFI bindings to the Electron API (WIP).☆10May 21, 2017Updated 8 years ago
- Scala Eventstore Client☆11Mar 13, 2026Updated last week
- Within's Discord Bot☆18Apr 19, 2023Updated 2 years ago
- An example of an "isomorphic" Miso server set up with stack☆43Sep 1, 2020Updated 5 years ago
- Functional, tagless and lens-based, global state management. With scalajs-react fs2.Stream integrations.☆12Updated this week
- Contravariant functors☆10Oct 27, 2022Updated 3 years ago
- Http4s Caching Implementation☆13Jul 15, 2024Updated last year
- Keyed Semaphore Implementation☆11Jul 8, 2024Updated last year
- Demo/Hand-On: Sealed Secrets☆11Nov 21, 2019Updated 6 years ago
- ☆15Oct 22, 2023Updated 2 years ago
- Coq code accompanying several articles on semantics of functional programming languages☆11Oct 15, 2018Updated 7 years ago
- Liquid Haskell: How to turn Haskell into a Theorem Prover☆13Dec 6, 2016Updated 9 years ago
- ☆13Apr 23, 2022Updated 3 years ago
- Run a raffle among the 🌟 stargazers 🌟 of a Github project!☆11Mar 23, 2023Updated 2 years ago
- WebAssembly module signing & signature verification☆15Sep 29, 2022Updated 3 years ago
- Helping you keep your workstation nice and tidy☆31Sep 29, 2020Updated 5 years ago
- 🏎️ Animation for sprites☆11Oct 29, 2019Updated 6 years ago
- An example GHCJS + Miso single page application. 🍜☆46Jun 22, 2018Updated 7 years ago
- ☆14Oct 4, 2021Updated 4 years ago
- A list reordering component for Halogen. Named by @justinwoo. (GitHub suggested "verbose-chainsaw".)☆15Aug 16, 2019Updated 6 years ago
- Servant based API and server for token based authorisation☆14Sep 21, 2019Updated 6 years ago
- Combinators for manipulating dependently-typed predicates.☆14Jul 5, 2024Updated last year
- Language definition and parser for AVRO (.avdl) files.☆16Jan 21, 2022Updated 4 years ago