rudogma / scala-superquantsView external linksLinks
Scala: Typelevel unboxed compile time dimensional analysis over tagged types. Intellij Idea compatible 100%
☆17Jun 23, 2017Updated 8 years ago
Alternatives and similar repositories for scala-superquants
Users that are interested in scala-superquants are comparing it to the libraries listed below
Sorting:
- ☆12Jul 28, 2017Updated 8 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- Prototype of the Libling concept. Libling is a way to add source dependencies to your sbt project.☆13Aug 18, 2017Updated 8 years ago
- Generic records for Scala☆16Mar 7, 2022Updated 3 years ago
- Unboxed (multi-nested-)tagged + unboxed newtypes. Better and much friendlier alternative to AnyVals.☆99Nov 23, 2022Updated 3 years ago
- Functional dataflow through composable computations☆18Apr 21, 2021Updated 4 years ago
- Flexible data structures in Scala☆16Jan 6, 2016Updated 10 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 3 years ago
- Telegramium or F[ Tg ] - pure functional Telegram Bot API implementation for Scala.☆88Updated this week
- sbt plugin to run Pamflet (and Pamflet plugin to run sbt)☆11Jan 15, 2017Updated 9 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- ☆22Nov 8, 2017Updated 8 years ago
- Automatic implicit conversions and extensions functions for the Android framework in Scala☆11Jul 13, 2016Updated 9 years ago
- Companion repository for 'No More Orphans'☆14Oct 13, 2022Updated 3 years ago
- Some benchmarks for Idris☆12Aug 12, 2017Updated 8 years ago
- A TUI to manipulate the Jujutsu DAG.☆28Updated this week
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 3 years ago
- Zero-dependency boilerplate-free tagged types for Scala☆37Apr 9, 2021Updated 4 years ago
- A library to provide building blocks for stateful stream processing with FS2 over Kafka☆25Oct 4, 2018Updated 7 years ago
- ☆12Nov 12, 2021Updated 4 years ago
- A minimal example of the Idris C FFI☆14May 15, 2015Updated 10 years ago
- ☆13Feb 18, 2021Updated 4 years ago
- ☆14Jul 26, 2019Updated 6 years ago
- Typelevel http service definition DSL☆151Aug 19, 2024Updated last year
- A library which is not recognized as citizen of any infrastructure.☆26Dec 13, 2019Updated 6 years ago
- A scala library for flexible JSON interfaces☆13Oct 7, 2016Updated 9 years ago
- Making the execution of system processes easier in Scala☆13Feb 11, 2025Updated last year
- Final tagless talk sources.☆15May 4, 2017Updated 8 years ago
- Invertible syntax for Scala.☆13Oct 17, 2016Updated 9 years ago
- ☆12Apr 6, 2023Updated 2 years ago
- A Scala Collection for Multiple Access Patterns☆12Oct 22, 2016Updated 9 years ago
- unified slash syntax for both shell and build.sbt☆29Jun 26, 2017Updated 8 years ago
- A native binding generator for the Scala language.☆35Jul 17, 2017Updated 8 years ago
- Invertible syntax and partial isomorphisms for Scala☆31Nov 28, 2017Updated 8 years ago
- A priliminary backend for Idris that compiles to Clean.☆15Apr 3, 2017Updated 8 years ago
- Your kind censor of telegram chats☆12Jul 29, 2018Updated 7 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Slides from my lightning talk on Dependency Injection at Scala Central #5.☆14Feb 18, 2017Updated 8 years ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆15Jul 7, 2017Updated 8 years ago