Alternatives and similar repositories for CS316-18:

Users that are interested in CS316-18 are comparing it to the libraries listed below

• danelahman / haskell-coop
  An experimental Haskell library for programming with effectful runners.
  ☆29Updated 5 years ago
• pigworker / CS410-18
  being the teaching materials and exercises for CS410 in the 2018/19 session
  ☆56Updated 5 years ago
• bobatkey / CS316-2020
  The 2020-21 Edition of CS316 "Functional Programming" @ the University of Strathclyde
  ☆24Updated 3 years ago
• bobatkey / sott
  Simplified Observational Type Theory
  ☆81Updated last year
• andgate / type-theory-compiler
  Compiler for type theoretic lambda calculi equipped with system primtives which compiles side-effecting, strict expressions into efficien…
  ☆43Updated 5 years ago
• llelf / icfp2019-papers
  ICFP 2019 preprints/papers
  ☆44Updated 5 years ago
• ocharles / effect-zoo
  Comparing Haskell effect systems for ergonomics and speed
  ☆65Updated 3 years ago
• FreeProving / free-compiler
  A Haskell to Coq compiler that represents effectful programs with the free monad
  ☆44Updated 2 years ago
• nikivazou / EquationalReasoningInLiquidHaskell
  Derivation of Optimized Definitions Based on Specs
  ☆15Updated 5 years ago
• steshaw / lennart-lambda
  λλλλ Lennart Augustsson's λ-calculus cooked four ways
  ☆52Updated 7 years ago
• bkomuves / toy-language-server
  Example language server (LSP) implementation for a toy language
  ☆60Updated 3 years ago
• andorp / mini-grin
  ICFP tutorial
  ☆39Updated 3 years ago
• willtim / row-polymorphism
  Example row-polymorphism implementations
  ☆61Updated last year
• chiroptical / thinking-with-types
  Working through the Thinking with Types book in Haskell
  ☆35Updated 4 years ago
• ucsd-progsys / lh-plugin-demo
  A small package that demonstrates how to use LiquidHaskell as a GHC plugin
  ☆24Updated 6 months ago
• csabahruska / jhc-components
  JHC Haskell compiler split into reusable components
  ☆57Updated 6 years ago
• nomeata / haskell-for-readers
  Lecture notes for teaching Haskell to those who want to read it
  ☆55Updated 2 years ago
• bravit / tt-ghc-exercises
  ☆28Updated 6 years ago
• TOTBWF / tactic-haskell
  Tactic Metaprogramming in Haskell
  ☆56Updated 5 years ago
• devonhollowood / search-algorithms
  Haskell library containing common graph search algorithms
  ☆52Updated 3 months ago
• lukeg101 / lplzoo
  Fine-grain implementations of common lambda calculi in Haskell, tested with QuickCheck
  ☆36Updated 3 years ago
• haskell-perf / graphs
  ☆40Updated 5 years ago
• ekmett / linear-logic
  They see me rollin'. They're Heyting. -- Chamillionaire, 2005
  ☆83Updated 3 years ago
• bobatkey / CS316-19
  The 2019/2020 edition of Strathclyde's CS316 Functional Programming course
  ☆41Updated 4 years ago
• vmchale / recursion_schemes
  Recursion schemes for Idris
  ☆64Updated 6 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆56Updated last year
• conal / paper-2021-language-derivatives
  Paper and talk
  ☆50Updated last year
• kowainik / treap
  Efficient implementation of the implicit treap data structure
  ☆63Updated 3 years ago
• pedagand / typechecker-evolution
  The Evolution of a Typechecker
  ☆54Updated 6 years ago
• gallais / potpourri
  Where my everyday research happens
  ☆52Updated last week