hmemcpy / cv

Related projects: ⓘ

• nau / lasca-compiler
  Lasca is Scala shifted towards Haskell.
  ☆127Updated 5 years ago
• tofu-tf / awesome-tagless-final
  Curated list of TF related stuff
  ☆26Updated last year
• edvmorango / event-driven-messenger
  ☆43Updated 5 years ago
• debasishg / frdomain-extras
  Additional accompaniment to Functional and Reactive Domain Modeling
  ☆109Updated 3 months ago
• sellout / category-parametric-talk
  Talks on category-parametric programming.
  ☆22Updated 9 months ago
• paidy / talks
  ☆35Updated this week
• eli-jordan / game-of-life-comonad
  ☆22Updated 2 years ago
• freskog / adventofcode2019
  My solutions to advent of code 2019
  ☆8Updated 4 years ago
• neko-kai / fp-dictionary
  FP category theory jargon explained on a single A4 page
  ☆60Updated 6 years ago
• eed3si9n / herding-cats
  ☆48Updated 3 years ago
• djspiewak / skolems
  A microlibrary for Scala encodings of higher-rank quantifiers
  ☆60Updated 4 years ago
• tel / scala-typeclassopedia
  Brent Yorgey's Typeclassopedia, translated to Scala
  ☆24Updated 6 years ago
• spf3000 / functional-hangman
  ☆9Updated 5 years ago
• vvviiimmm / scala-evolution
  The Evolution of a Scala Programmer
  ☆32Updated 5 years ago
• ashwinbhaskar / functional-way
  Write small programs (eg -algorithms) in a functional way.
  ☆128Updated 3 years ago
• vil1 / single_page_fp_book
  ☆21Updated 7 years ago
• wix-incubator / zorechka-bot
  Github bot for keeping your Bazel dependencies up-to-date and clean
  ☆27Updated 4 years ago
• jdegoes / fp-to-the-min
  Code for FP to the Min talk at Scala in the City Conference.
  ☆53Updated 4 years ago
• freskog / stm-partitioning
  All the code from the blog post about exploring STM in ZIO.
  ☆18Updated 4 years ago
• jdegoes / scalaua-2019
  The workspace for ScalaUA 2019 presentation, "Thinking Functionally"
  ☆57Updated 5 years ago
• kitlangton / zio-catechism
  Animated ZIO documentation and visualizations
  ☆58Updated 3 years ago
• notxcain / onion-architecure
  An onion architecture example
  ☆70Updated 7 years ago
• jdegoes / scalaworld-2015
  Supporting material for ScalaWorld 2015.
  ☆99Updated 8 years ago
• etorreborre / effects
  A brief exploration of the various approaches to modeling side effects in a purely functional programming language.
  ☆10Updated 5 years ago
• hablapps / tagless-final-tutorial
  Introducing tagless-final in Scala with an example of Language-Integrated Query
  ☆18Updated 4 years ago
• propensive / impromptu
  Lightweight and typesafe asynchronous computation graphs
  ☆41Updated 5 years ago
• alcestes / effpi
  Verified message-passing programs in Dotty
  ☆47Updated 3 years ago
• channingwalton / typeclassopedia
  My tinkering to understand the typeclassopedia.
  ☆102Updated 4 months ago
• jcouyang / dhall-generic
  Dhall generic decoder for Scala
  ☆45Updated this week
• 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