EncodePanda / my_emacs_d
My Emacs configuration, the way I like it
☆15Updated 10 months ago
Related projects: ⓘ
- Rrecursion schemes without the barbed wire☆24Updated 6 years ago
- Generate Nix build instructions from a SBT project☆38Updated 7 years ago
- Scala support for lsp-mode using metals☆49Updated 5 years ago
- Scalacheck Arbitrary type class derivation using magnolia☆10Updated last year
- Generate GraphViz graphs by interpretting free monads.☆52Updated 10 years ago
- Conway's Game of Life using a memoized Store comonad☆11Updated 6 years ago
- enforce the Scalazzi subset of Scala with scalafix☆82Updated 5 years ago
- Fun and Games with Fix, Cofree, and Doobie☆39Updated 7 years ago
- Scala layer for Spacemacs, using lsp + metals instead of ensime.☆17Updated 5 years ago
- Materials for workshop on Type-level programming with Shapeless☆39Updated 4 years ago
- ☆13Updated 6 months ago
- A microlibrary for Scala encodings of higher-rank quantifiers☆60Updated 4 years ago
- The pure testing library by scalaz.☆90Updated 4 years ago
- Brent Yorgey's Typeclassopedia, translated to Scala☆24Updated 6 years ago
- Getting started in the Scala REPL☆28Updated 8 years ago
- An extension to the core Scala library for functional programming.☆12Updated 6 years ago
- Examples of where functional programming, or a particular functional programming idiom, leads one to an antipattern. The goal is to effe…☆17Updated 5 years ago
- A utility harness for testing free programs (built on specs2)☆29Updated 3 years ago
- ☆28Updated 6 years ago
- Minimum boilerplate lib and pattern for Free/Coproduct/Inject based applications☆26Updated last week
- Functional experiments in Scala☆21Updated 7 years ago
- A small library for writing referentially transparent and stack-safe sequential programs☆40Updated 5 years ago
- ☆32Updated this week
- ☆48Updated 3 years ago
- ☆12Updated 3 years ago
- Finally Tagless Blocking Implementation☆94Updated 2 years ago
- ☆80Updated 3 years ago
- ☆53Updated 3 years ago
- Alternative to Free monads☆34Updated 7 years ago
- Get started with Nix in Scala☆116Updated 2 years ago