ashwinbhaskar / functional-way

Related projects: ⓘ

• sellout / recursion-scheme-talk
  A talk on using recursion schemes in FP.
  ☆216Updated 5 months ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated 2 years ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆197Updated 4 years ago
• debasishg / frdomain-extras
  Additional accompaniment to Functional and Reactive Domain Modeling
  ☆109Updated 3 months ago
• vil1 / recursion-schemes-cookbook
  A friendly guide for leveraging the power of recursion schemes in real-world applications
  ☆107Updated 3 years ago
• HaskellChamber / Haskell-University
  Portfolio-based approach to learning Haskell
  ☆104Updated 6 years ago
• jdegoes / scalaworld-2015
  Supporting material for ScalaWorld 2015.
  ☆99Updated 8 years ago
• EncodePanda / papers_i_love
  Papers I love :)
  ☆155Updated 4 years ago
• dotty-staging / dotty
  Research platform for new language concepts and compiler technologies for Scala.
  ☆85Updated this week
• jdegoes / lambdaconf-2014-introgame
  Online material for the Introduction to Functional Game Programming with Scala workshop.
  ☆162Updated 5 years ago
• melvic-ybanez / chi
  A function code generator and an isomorphism analyzer
  ☆37Updated 2 years ago
• fommil / fpmortals
  source and examples to Functional Programming for Mortals with Scalaz
  ☆126Updated 3 years ago
• channingwalton / typeclassopedia
  My tinkering to understand the typeclassopedia.
  ☆102Updated 4 months ago
• neko-kai / fp-dictionary
  FP category theory jargon explained on a single A4 page
  ☆60Updated 6 years ago
• nau / lasca-compiler
  Lasca is Scala shifted towards Haskell.
  ☆127Updated 5 years ago
• notxcain / onion-architecure
  An onion architecture example
  ☆70Updated 7 years ago
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆144Updated this week
• cb372 / scala-typed-holes
  ☆187Updated 2 months ago
• gkossakowski / kentuckymule
  Limits of Scala typechecking speed
  ☆156Updated 3 years ago
• spartanz / schemaz
  A purely-functional library for defining type-safe schemas for algebraic data types, providing free generators, SQL queries, JSON codecs,…
  ☆164Updated 4 years ago
• lemastero / scala_typeclassopedia
  Abstractions from Category theory with simple description & implementation, links to further resources.
  ☆379Updated last month
• pheymann / typedapi
  Build your web API on the type level.
  ☆161Updated 5 years ago
• spartanz / parserz
  A purely-functional library for creating both parsers, pretty-printers, and grammar definitions from a single, type-safe specification of…
  ☆70Updated 4 years ago
• tindzk / seed
  Build tool for Scala projects
  ☆238Updated 3 years ago
• scalaz / testz
  The pure testing library by scalaz.
  ☆90Updated 4 years ago
• travisbrown / dhallj
  Dhall for Java
  ☆174Updated last month
• djspiewak / shims
  Seamless interop layer between cats and scalaz
  ☆174Updated 3 years ago
• parapet-io / parapet
  A purely functional library to build distributed and event-driven systems
  ☆138Updated last year
• higherkindness / droste
  recursion schemes for cats; to iterate is human, to recurse, divine
  ☆388Updated last month
• typelevel / CT_from_Programmers.scala
  Scala sample code for Bartosz Milewski's CT for Programmers
  ☆278Updated 5 years ago