Alternatives and similar repositories for Website-prev

Users that are interested in Website-prev are comparing it to the libraries listed below

• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated last month
• lunduniversity / schoolprog
  Programming exercises for primary and secondary education, in Swedish.
  ☆15Updated 3 years ago
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH.
  ☆142Updated last month
• mbovel / presentation-template
  ☆10Updated 3 months ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆391Updated last week
• exoji2e / Sugartop
  ☆19Updated 2 years ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆47Updated 2 years ago
• oleg-py / better-monadic-for
  Desugaring scala `for` without implicit `withFilter`s
  ☆713Updated last year
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆262Updated 8 months ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆207Updated this week
• travisbrown / dhallj
  Dhall for Java
  ☆178Updated last year
• higherkindness / droste
  recursion schemes for cats; to iterate is human, to recurse, divine
  ☆395Updated 4 months ago
• lemastero / scala_typeclassopedia
  Abstractions from Category theory with simple description & implementation, links to further resources.
  ☆384Updated last year
• typelevel / CT_from_Programmers.scala
  Scala sample code for Bartosz Milewski's CT for Programmers
  ☆276Updated 7 years ago
• typelevel / cats-parse
  A parsing library for the cats ecosystem
  ☆245Updated last week
• OlivierBlanvillain / monadic-html
  Tiny DOM binding library for Scala.js
  ☆227Updated 3 years ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆201Updated 6 years ago
• LarsAstrom / EDAF05-labs-public
  Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.
  ☆13Updated 4 years ago
• andyscott / scala-whats-that-called
  What do you call that?... for Scala
  ☆169Updated 8 years ago
• clovellytech / outwatch-router
  Router for outwatch
  ☆12Updated 4 years ago
• scalacenter / GoogleSummerOfCode2021
  ☆16Updated 4 years ago
• precog / matryoshka
  Generalized recursion schemes and traversals for Scala.
  ☆820Updated 5 years ago
• softwaremill / magnolia
  Easy, fast, transparent generic derivation of typeclass instances
  ☆794Updated last week
• scala-munich / meetup
  Meetup organization for Munich Scala User Group
  ☆10Updated 6 years ago
• ghik / silencer
  Scala compiler plugin for warning suppression
  ☆256Updated last month
• scalameta / metals-feature-requests
  Issue tracker for Metals feature requests
  ☆39Updated 6 months ago
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆148Updated this week
• endpoints4s / endpoints4s
  Describe HTTP endpoints in Scala and derive clients, servers, and documentation
  ☆416Updated 10 months ago
• katychuang / CleanMagic-hakyll
  medium inspired theme for hakyll
  ☆11Updated 4 years ago
• tpolecat / cats-infographic
  typeclass diagram for cats
  ☆463Updated 4 years ago