☆36Nov 24, 2017Updated 8 years ago
Alternatives and similar repositories for tagless-webgl
Users that are interested in tagless-webgl are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Comparison between different patterns☆26Sep 29, 2017Updated 9 years ago
- A http client for Idris based on libcurl☆10Mar 18, 2016Updated 10 years ago
- An opinionated PureScript wrapper for RxJS, complete with a Monad Transformer ObservableT☆20Oct 8, 2023Updated 3 years ago
- Unique Functional Values for Scala☆16Sep 3, 2024Updated 2 years ago
- Sonic reducer - Hierarchical reducer for arbitrary scala sequences☆14Dec 1, 2022Updated 3 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.
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆72Jun 15, 2019Updated 7 years ago
- Cats instances for fastparse☆18May 6, 2018Updated 8 years ago
- Library for counting and enumerating things.☆48Jul 20, 2021Updated 5 years ago
- Keyed Semaphore Implementation☆11Sep 26, 2026Updated last month
- ☆12Mar 3, 2023Updated 3 years ago
- Parsers for various configuration files written in Idris.☆19Nov 8, 2017Updated 8 years ago
- Code samples of advanced features of Http4s in combination with some features of Fs2 not often seen.☆141Jan 5, 2019Updated 7 years ago
- ☆57Jul 13, 2017Updated 9 years ago
- Build minimalist distroless docker images for your java applications using Mill☆15Jul 15, 2025Updated last year
- 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.
- An effect monad for Scalaz 7.2☆55Jun 29, 2018Updated 8 years ago
- An experimental HTTP framework for Idris☆14Mar 4, 2020Updated 6 years ago
- Purely functional data structures in Idris☆11Sep 24, 2017Updated 9 years ago
- Port of Scala/Haskell Refined library to Idris☆17Apr 25, 2021Updated 5 years ago
- just an example of how simple ADTs should have JSON serialization and deserialization automatically derived☆12Jan 22, 2017Updated 9 years ago
- IO Type for Android + modern, functional UI language☆21Mar 28, 2017Updated 9 years ago
- Multisets for Scala☆87Jul 23, 2021Updated 5 years ago
- A functional and reactive UI framework based on Rx and VirtualDom☆33Sep 16, 2019Updated 7 years ago
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆40May 2, 2019Updated 7 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Simple streaming interface for FS2 queries☆13Oct 25, 2018Updated 8 years ago
- Library that provides those stupid little IO utility methods you always end up needing.☆26Jan 17, 2018Updated 8 years ago
- A project exemplifying client / server communications with Monix.☆98Apr 3, 2017Updated 9 years ago
- Elysium - any place or state of perfect happiness; paradise.☆21Dec 27, 2017Updated 8 years ago
- Build your web API on the type level.☆161May 22, 2019Updated 7 years ago
- van Laarhoven lenses for Idris☆20Sep 25, 2017Updated 9 years ago
- An exploration of purely functional library design in Scala.☆104May 10, 2016Updated 10 years ago
- Provides a type-safe way of working with permutations in Idris☆38Oct 3, 2021Updated 5 years ago
- A type safe, purely functional configuration library for Scala☆29Jul 16, 2021Updated 5 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.
- Boilerplate-free, zero-overhead Tagless Final / typed-final / Finally Tagless DSLs in Scala☆113May 24, 2017Updated 9 years ago
- ☆26Jun 2, 2020Updated 6 years ago
- Alternative to Free monads☆33Oct 15, 2016Updated 10 years ago
- Akka streams extension☆13Apr 25, 2021Updated 5 years ago
- Distributed Concurrent State Machines with Rediculous/Redis☆23Sep 26, 2026Updated last month
- A tiny and principled library for type-safe IDs☆30Sep 20, 2019Updated 7 years ago
- Recursion schemes for Idris☆64Aug 23, 2018Updated 8 years ago