curry-club-aux / curry-club-augsburg.deView external linksLinks
Our Website
☆17Oct 19, 2022Updated 3 years ago
Alternatives and similar repositories for curry-club-augsburg.de
Users that are interested in curry-club-augsburg.de are comparing it to the libraries listed below
Sorting:
- ☆10Feb 18, 2016Updated 9 years ago
- Comments as GitHub pull requests for Jekyll (and other static site generator) websites.☆16Dec 15, 2018Updated 7 years ago
- Chinese Checkers Haskell library, GUI application and Telegram bot☆16Jul 4, 2025Updated 7 months ago
- todo-backend implementation using the Typelevel stack☆14Sep 5, 2019Updated 6 years ago
- tagless final macro☆18Sep 14, 2015Updated 10 years ago
- Proof and Code Presentation Framework☆22Jul 17, 2019Updated 6 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Feb 3, 2018Updated 8 years ago
- Generic encoders / decoders for the various kantan libraries.☆12Apr 10, 2025Updated 10 months ago
- Jolokia support for any artifacts built with sbt-native-packager☆12Mar 19, 2019Updated 6 years ago
- Meetup organization for Munich Scala User Group☆10Oct 6, 2019Updated 6 years ago
- A Type-Level Encoding of Natural Numbers as a Linked List of Bits☆11Oct 26, 2016Updated 9 years ago
- 🤖Github bot for checking code formatting with scalafmt☆16Jun 3, 2018Updated 7 years ago
- Scala Exercises' lessons for the Shapeless library☆24Mar 31, 2023Updated 2 years ago
- SBT Auto Plugin to manage client side git hooks☆17Jan 4, 2024Updated 2 years ago
- Painless general-purpose sampling.☆24Nov 9, 2024Updated last year
- ☆15Mar 17, 2016Updated 9 years ago
- A Conflict-Free Replicated JSON Datatype for Haskell☆34Jul 14, 2018Updated 7 years ago
- Getting started in the Scala REPL☆28Mar 28, 2016Updated 9 years ago
- Scripts to automatically fetch Sonatype statistics☆15Nov 4, 2022Updated 3 years ago
- support for using refinement types with slick☆19Aug 12, 2024Updated last year
- Typeclass-based HashSet/HashMap for Scala☆31Apr 2, 2017Updated 8 years ago
- A simple directory-like tree datatype, with useful IO functions, for Haskell☆26Apr 28, 2024Updated last year
- ☆20Jan 12, 2019Updated 7 years ago
- A Scala library which talks to Isabelle (DISCONTINUED)☆38Sep 25, 2020Updated 5 years ago
- An integration library for using refined types with Play framework☆18Aug 12, 2024Updated last year
- An extension to the core Scala library for functional programming.☆17Nov 9, 2018Updated 7 years ago
- A collection of Edward Kmett's packages in a single repository☆17Mar 14, 2021Updated 4 years ago
- sbt plugin adding support for source code formatting using Scalariform☆39Jan 13, 2016Updated 10 years ago
- Use conduit to process/manipulate/convert audio☆18Jan 16, 2020Updated 6 years ago
- Library for counting and enumerating things.☆47Jul 20, 2021Updated 4 years ago
- base library for GHCJS for JavaScript interaction and marshalling, used by higher level libraries like JSC☆46Jun 30, 2025Updated 7 months ago
- A simple Play application with Frege☆20Nov 23, 2015Updated 10 years ago
- An sbt plugin to integrate with Travis CI☆45May 5, 2024Updated last year
- An SBT plugin to let you know when you mess up☆21Aug 30, 2016Updated 9 years ago
- Play JSON Reads/Writes instances for refined types☆24Feb 5, 2026Updated last week
- Type-level API for standard collections☆33Jun 6, 2016Updated 9 years ago
- Refined types☆57Sep 25, 2018Updated 7 years ago
- Formal verification of parts of the Stacks Project in Lean☆22Sep 24, 2021Updated 4 years ago
- Easy and powerful typeful logging without monad towers, in Haskell.☆26May 7, 2024Updated last year