EncodePanda / haskell-starter-kit

Related projects: ⓘ

• charleso / sbt2nix
  Generate Nix build instructions from a SBT project
  ☆38Updated 7 years ago
• symphony-org / frost
  Frost
  ☆19Updated 4 years ago
• runarorama / conway
  Conway's Game of Life using a memoized Store comonad
  ☆11Updated 6 years ago
• vil1 / recursion-schemes-lc2018
  Rrecursion schemes without the barbed wire
  ☆24Updated 6 years ago
• cb372 / cats-selective
  ☆28Updated 4 years ago
• nightkr / Sbtix
  Generates Nix definitions for your SBT builds
  ☆42Updated 6 years ago
• puffnfresh / language-scala
  Pretty printer of Scala
  ☆20Updated 3 years ago
• puffnfresh / free-graphs
  Generate GraphViz graphs by interpretting free monads.
  ☆52Updated 10 years ago
• Jyothsnasrinivas / eta-spark-core
  eta-spark is a library that provides complete bindings for Apache Spark
  ☆21Updated 6 years ago
• amarpotghan / dhall-scala
  dhall-scala is a Scala library for consuming dhall configuration files from Scala programming language.
  ☆39Updated 5 years ago
• jdegoes / sbtb-2016
  Streams for (Co)Free! — The supporting repository for a 2016 Scala By The Bay presentation
  ☆14Updated 7 years ago
• cohomolo-gy / Isomorphic-Reasoning
  Isomorphic Reasoning: Counting with Types
  ☆37Updated 4 years ago
• ibizaman / hs-template-project
  Template haskell project to bootstrap a haskell project
  ☆11Updated 4 years ago
• gvolpe / exchange-rates
  Querying a rate-limited currency exchange API using Redis as a cache
  ☆41Updated 4 years ago
• earldouglas / linear-scala
  Linear types in Scala
  ☆40Updated 3 weeks ago
• tpolecat / cofree
  Fun and Games with Fix, Cofree, and Doobie
  ☆39Updated 7 years ago
• mbrc12 / etanol
  A purity and nullability analysis tool for Java.
  ☆25Updated 6 years ago
• sellout / category-parametric-talk
  Talks on category-parametric programming.
  ☆22Updated 9 months ago
• lucasdicioccio / warp-grpc
  A Warp-based gRPC server for Haskell
  ☆23Updated 4 years ago
• djspiewak / smock
  A utility harness for testing free programs (built on specs2)
  ☆29Updated 3 years ago
• fommil / stalactite
  ☆18Updated this week
• gclaramunt / scala-reggen
  Generic programming experiment in Scala
  ☆19Updated 2 years ago
• carymrobbins / scala-adt
  Haskell-style Algebraic Data Types for Scala
  ☆13Updated 8 years ago
• radusw / tagless-free-monix-sample
  A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad
  ☆16Updated 7 years ago
• optics-dev / Monocly
  Optics experimentation for Dotty
  ☆32Updated 2 years ago
• aaronvargo / scalaFP
  Functional experiments in Scala
  ☆21Updated 7 years ago
• haskell-works / eta-kafka-client
  Eta bindings to Kafka
  ☆15Updated 7 years ago
• ocharles / rio-effect
  An effect system similar to mtl with explicit dictionary passing.
  ☆17Updated 5 years ago
• ArturGajowy / ghc-clippy-plugin
  A helpful companion to GHC. Overrides GHC messages, to the user's liking.
  ☆33Updated 4 years ago
• eta-lang / eta-nix
  Nix expressions to build Eta
  ☆17Updated 5 years ago