Wooble = (circle, wobble)
β15Feb 14, 2019Updated 7 years ago
Alternatives and similar repositories for woobles
Users that are interested in woobles are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- it's a guitar jammerβ18Mar 2, 2016Updated 10 years ago
- π€³ ignore the differences between `a` and `Identity a`β25Aug 23, 2019Updated 6 years ago
- an arrowized category-forward languageβ19Oct 14, 2025Updated 9 months ago
- a search engine for humansβ19Nov 6, 2022Updated 3 years ago
- Category theory concepts in type classes and instances.β23Jun 27, 2026Updated 3 weeks ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Type safe JSON PostgreSQL queries using bidirectional serializersβ21Nov 27, 2020Updated 5 years ago
- I/O utilities and datasets for algebraic-graphsβ14Aug 29, 2022Updated 3 years ago
- A monadic interface for DAG construction.β24May 11, 2021Updated 5 years ago
- Boring and Absurd typesβ18May 10, 2026Updated 2 months ago
- do-notation for Category and "Arrow without arr"β63Mar 17, 2017Updated 9 years ago
- Δ (Edh) - The next-big-things ought to happen with Haskell not C/C++β29Jun 4, 2024Updated 2 years ago
- it's a starcraft clone but with a dope typesystemβ51Apr 7, 2020Updated 6 years ago
- The implementation of tic-tac-toe using an operadic comonadβ11Mar 7, 2021Updated 5 years ago
- Code to go along with the blog post "Are Mutable References in HaskellΒ Fast?"β10Jun 1, 2017Updated 9 years ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Automatically finds dependencies and runs a Haskell file with stack (no cabal manifest, no stack.yaml, no project, no friction)β32Aug 11, 2016Updated 9 years ago
- Tool to convert literate code between styles or to code.β11Jun 4, 2019Updated 7 years ago
- Emacs major mode for Uiua, a stack-based array language, powered by tree-sitterβ12Jun 19, 2026Updated last month
- A tiny language for teaching and experimenting with Refinement Typesβ49Jun 22, 2021Updated 5 years ago
- Deep-embedded combinators for strategic rewriting.β15Nov 24, 2021Updated 4 years ago
- join and meet semilattices, lower and upper bounds.β48Sep 22, 2025Updated 9 months ago
- your friendly pangenome graph genotyperβ10Feb 6, 2023Updated 3 years ago
- β50Apr 29, 2026Updated 2 months ago
- Set monadβ19Jun 11, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI β’ AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Beseder: make impossible state transitions impossibleβ31Mar 21, 2020Updated 6 years ago
- My personal dot filesβ10Sep 13, 2022Updated 3 years ago
- β13Apr 5, 2020Updated 6 years ago
- cross-platform Rust API for memory mapped IOβ10Sep 25, 2020Updated 5 years ago
- A varitation graph toolβ10Dec 23, 2019Updated 6 years ago
- There are many category theory implementations, but this one is mineβ16Aug 22, 2024Updated last year
- Synthesized models for PHOG to make the results reproducible by the research communityβ11Jan 23, 2020Updated 6 years ago
- Code for the ICCV 2017 paper "Introspective Neural Networks for Generative Modeling"β11Oct 24, 2017Updated 8 years ago
- Thrive is an ETL framework that runs single-row transformations on HDFS data and makes the data available in relational databases (Hive aβ¦β10Aug 4, 2017Updated 8 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer β’ AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Create command line interfaces with easeβ42Jan 21, 2023Updated 3 years ago
- DLPack safe Rust bindingβ15Sep 20, 2022Updated 3 years ago
- Examples of Haskell versions of Numpy usageβ18Mar 23, 2017Updated 9 years ago
- Composable monadic short-circuiting streaming foldsβ19Mar 28, 2018Updated 8 years ago
- A principal solution to ghost threads and silent exceptionsβ24Oct 17, 2023Updated 2 years ago
- Playing around with multicategories and operadsβ16Jun 13, 2015Updated 11 years ago
- Reverse-mode automatic differentiation with delimited continuationsβ17Jul 3, 2023Updated 3 years ago