EncodePanda / my_emacs_d
My Emacs configuration, the way I like it
☆15Updated last year
Alternatives and similar repositories for my_emacs_d:
Users that are interested in my_emacs_d are comparing it to the libraries listed below
- An Essential Scala case study using Finch and Scala.js☆9Updated 8 years ago
- Scala layer for Spacemacs, using lsp + metals instead of ensime.☆17Updated 5 years ago
- Toy project serving to illustrate that it's possible to write pure functional systems in Scala.☆42Updated 9 years ago
- Fun and Games with Fix, Cofree, and Doobie☆40Updated 8 years ago
- A utility harness for testing free programs (built on specs2)☆29Updated 3 years ago
- Get started with Nix in Scala☆116Updated 3 years ago
- Scala support for lsp-mode using metals☆48Updated 5 years ago
- Generate GraphViz graphs by interpretting free monads.☆52Updated 10 years ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆59Updated 4 years ago
- Functional experiments in Scala☆21Updated 7 years ago
- The pure testing library by scalaz.☆89Updated 5 years ago
- My tinkering to understand the typeclassopedia.☆102Updated 9 months ago
- enforce the Scalazzi subset of Scala with scalafix☆82Updated 5 years ago
- ☆46Updated 5 years ago
- Materials for workshop on Type-level programming with Shapeless☆39Updated 4 years ago
- Frege support for sbt☆53Updated last week
- A compiler plugin that will improve on the scala compiler on the assumption that the user is using the Scalazzi-safe subset of Scala.☆73Updated 5 years ago
- Rrecursion schemes without the barbed wire☆24Updated 6 years ago
- A small library for writing referentially transparent and stack-safe sequential programs☆40Updated 6 years ago
- Scalacheck Arbitrary type class derivation using magnolia☆10Updated 2 years ago
- Generate Nix build instructions from a SBT project☆39Updated 8 years ago
- Example usage of scalaz and uncommon Scala features.☆83Updated 8 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆24Updated 7 years ago
- Finally Tagless Blocking Implementation☆93Updated 2 years ago
- Generate bindings for Scala types in other programming languages.☆56Updated 3 months ago
- Workshop on typeclasses in scala☆26Updated 7 years ago
- ☆28Updated 7 years ago
- Scala Exercises' lessons for the Doobie library☆15Updated last year
- Generalized recursion schemes and traversals for Scala, using Cats.☆48Updated 5 years ago
- ☆25Updated 8 years ago