just a place to throw some coding experiements while i re-re-re-learn rust
☆15Jul 31, 2022Updated 4 years ago
Alternatives and similar repositories for kanso
Users that are interested in kanso are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Right Kan extension transformers covering the entire MTL, IO, ST s, and STM in Haskell in a generalization of continuation passing style☆14Feb 10, 2024Updated 2 years ago
- Lens of Aeson☆13Feb 14, 2013Updated 13 years ago
- scraps and bits and bobs☆14Jul 28, 2022Updated 4 years ago
- the ever-shifting depths of the Underworld are not as once they were...☆18Updated this week
- Compensated floating-point arithmetic☆13Oct 18, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- fast utf-8 character sets☆14Mar 3, 2025Updated last year
- Components and libraries for BlueEyes☆12Sep 4, 2013Updated 13 years ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆22Nov 20, 2025Updated 11 months ago
- Playing around with multicategories and operads☆16Jun 13, 2015Updated 11 years ago
- Leibnizian type equality☆13Mar 12, 2023Updated 3 years ago
- variance-aware functional-programming in scala☆12Dec 30, 2010Updated 15 years ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- c++26 simd and native instructions☆12Oct 15, 2026Updated 3 weeks ago
- A tiny wiki engine. (Fossil Export)☆13Jul 16, 2026Updated 3 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A port of Bryan O'Sullivan's attoparsec from Haskell to Scala☆15Dec 21, 2010Updated 15 years ago
- ☆17Apr 20, 2012Updated 14 years ago
- Haskell 98 comonad transformers - as of 4.0 these have merged into the comonad package.☆12Oct 13, 2013Updated 13 years ago
- Obsolete. See http://github.com/greedy/scala☆11Jul 18, 2011Updated 15 years ago
- pointed and copointed data☆24Mar 3, 2025Updated last year
- Type-Level Programming in Rust☆30Dec 29, 2021Updated 4 years ago
- Home of the KOLOS Linux distribution.☆19May 29, 2024Updated 2 years ago
- the EitherT monad transformer☆60Sep 19, 2026Updated last month
- A tool for keeping a personal log☆16Jan 1, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Haskell 2010 stream comonads☆25Dec 6, 2024Updated last year
- Small core of Roc, for experiments☆26Dec 21, 2024Updated last year
- Tomatoes or something☆13Apr 7, 2018Updated 8 years ago
- A fast globally unique variable supply with a pure API☆21Jun 26, 2023Updated 3 years ago
- keyed functors☆23Jan 10, 2026Updated 9 months ago
- Fingertrees of Bytestrings☆20Dec 3, 2018Updated 7 years ago
- WAI Request Throttling Middleware☆17Oct 11, 2024Updated 2 years ago
- Scala reflection and serialization library☆17Oct 13, 2020Updated 6 years ago
- Provides Data.Void, which is in base since ghc 7.8 or so☆20Sep 4, 2026Updated 2 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- category-theoretic goodness for Haskell☆18Jun 23, 2010Updated 16 years ago
- Clipboard synchronization tool☆14Jul 2, 2026Updated 4 months ago
- a tracing jit for c++ based on tracing and compiling from x86-64 assembly to x86-64 assembly☆20Oct 9, 2026Updated 3 weeks ago
- Make your Hibernate Search more Elastic ! WARNING : project suspended !☆16Apr 24, 2011Updated 15 years ago
- Neural Network implementation from scratch for MNIST using Cairo 1.0☆10Apr 1, 2023Updated 3 years ago
- A project which aim to help engineers to make proves easily☆14Mar 3, 2022Updated 4 years ago
- Very late bitcode and data binder☆19Feb 5, 2022Updated 4 years ago