scala-russian / scala_ru_stickersView external linksLinks
☆15Oct 20, 2018Updated 7 years ago
Alternatives and similar repositories for scala_ru_stickers
Users that are interested in scala_ru_stickers are comparing it to the libraries listed below
Sorting:
- Scalalaz podcast website generator☆10Dec 25, 2024Updated last year
- Effectful Streaming for Idris☆15Dec 13, 2020Updated 5 years ago
- A path to Recursion Schemes☆10Apr 20, 2020Updated 5 years ago
- Zero-dependency boilerplate-free tagged types for Scala☆37Apr 9, 2021Updated 4 years ago
- Interpreter for λ̅μμ̃-calculus of Herbelin and Curien (for educational purposes).☆20Oct 8, 2020Updated 5 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- Exercises from http://neuralnetworksanddeeplearning.com rewritten in Scala☆15Jul 7, 2017Updated 8 years ago
- OCaml backend for Idris2☆20Oct 12, 2020Updated 5 years ago
- ☆16Aug 20, 2018Updated 7 years ago
- Typecoin: Massively Multiplayer Online Linear Logic☆18May 5, 2017Updated 8 years ago
- ☆16Feb 10, 2025Updated last year
- ☆17May 18, 2019Updated 6 years ago
- ITT: quantified dependent calculus with inference of all modalities, implemented in Idris 2☆23Dec 5, 2024Updated last year
- Scala port of Paolo Capriotti's optparse-applicative library. This repository is no longer maintained; newer versions exist in this fork:…☆71Apr 4, 2018Updated 7 years ago
- Coq Lecture Notes (WIP)☆56Oct 17, 2020Updated 5 years ago
- BSON library for Scala☆57Mar 21, 2025Updated 10 months ago
- Concise syntax for polymorphic values in Scala 2.x.☆55Apr 26, 2022Updated 3 years ago
- Type Theory with Indexed Equality☆26Apr 7, 2017Updated 8 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆26Nov 7, 2017Updated 8 years ago
- Introduces macro/meta annotations @ aux, @ self, @ instance, @ apply, @ delegated, @ syntax and String-based type class LabelledGeneric☆29Jul 4, 2020Updated 5 years ago
- A well-typed symmetric-monoidal category of concurrent processes☆25Nov 12, 2018Updated 7 years ago
- Comparison between different patterns☆27Sep 29, 2017Updated 8 years ago
- An experiment running http4s as native image with Graal (+ Substrate)☆26Mar 30, 2019Updated 6 years ago
- A library to provide building blocks for stateful stream processing with FS2 over Kafka☆25Oct 4, 2018Updated 7 years ago
- A utility harness for testing free programs (built on specs2)☆29May 4, 2021Updated 4 years ago
- Functional Pearl: Certified Binary Search in a Read-Only Array☆29May 26, 2021Updated 4 years ago
- A native binding generator for the Scala language.☆35Jul 17, 2017Updated 8 years ago
- ☆42Nov 2, 2018Updated 7 years ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆35Feb 3, 2026Updated 2 weeks ago
- SPSC: A Small Positive Supercompiler☆39Updated this week
- dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.☆39May 2, 2019Updated 6 years ago
- Comprehensive framework to build network actors and distributed applications☆44Mar 14, 2019Updated 6 years ago
- Extensible effects for Scala☆37Jun 29, 2022Updated 3 years ago
- Leibniz equivalence and Liskov substitutability library for Scala.☆37Mar 28, 2022Updated 3 years ago
- VERified asSembler for cryptographic primitives☆12Jul 15, 2023Updated 2 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- FFI-based byte buffers for Idris☆10Jun 21, 2019Updated 6 years ago
- Higher-kinded data in Scala☆35Jun 2, 2019Updated 6 years ago
- Web "framework" for Scala Native with the power of RFC 3875: The Common Gateway Interface☆40Sep 29, 2017Updated 8 years ago