Alternatives and similar repositories for Website-prev

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

• lunduniversity / schoolprog
  Programming exercises for primary and secondary education, in Swedish.
  ☆15Updated 2 years ago
• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated 2 months ago
• bjornregnell / lth-eda016-2015
  Public files of EDA016 "Programming, First Course" given at Lund University, LTH.
  ☆9Updated 7 years ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆45Updated last year
• exoji2e / notebook
  ☆16Updated 6 months ago
• exoji2e / Sugartop
  ☆18Updated last year
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/
  ☆141Updated this week
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆374Updated last week
• marconilanna / NEScala2015
  Slides and code for my "F-Bounded Polymorphism" talk
  ☆17Updated 7 years ago
• LarsAstrom / EDAF05-labs-public
  Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.
  ☆13Updated 3 years ago
• zainab-ali / sbt-sammy
  A floating threshold for compiler warnings
  ☆27Updated last year
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated 3 years ago
• pheymann / typedapi
  Build your web API on the type level.
  ☆159Updated 5 years ago
• eli-jordan / tagless-final-jam
  Workshop On Tagless Final Interpreters
  ☆39Updated 6 years ago
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 3 years ago
• travisbrown / dhallj
  Dhall for Java
  ☆174Updated 9 months ago
• datateknik-lth / datateknik-lth
  Extentor, sammanfattningar och dylikt för Civilingenjörsprogrammet Datateknik vid LTH.
  ☆122Updated 2 years ago
• mbovel / presentation-template
  ☆10Updated 10 months ago
• wolfendale / scalacheck-gen-regexp
  A library for creating Scalacheck generators from regular expressions
  ☆23Updated 2 years ago
• Martomate / Hexacraft
  A game with hexagonal blocks on a cylindrical world inspired by Minecraft
  ☆13Updated last week
• scalawithcats / cats-seed.g8
  Quick start template for Advanced Scala with Cats.
  ☆14Updated last year
• jfkelley / argyle
  Scala command-line arguments parser
  ☆63Updated 7 years ago
• ChocPanda / scalacheck-magnolia
  Scalacheck Arbitrary type class derivation using magnolia
  ☆10Updated 2 years ago
• typelevel / paiges
  an implementation of Wadler's a prettier printer
  ☆188Updated last week
• cb372 / scala-typed-holes
  ☆188Updated 5 months ago
• permutive-engineering / prometheus4cats
  Functional Prometheus Metrics API for Scala
  ☆20Updated 2 weeks ago
• typelevel / cats-parse
  A parsing library for the cats ecosystem
  ☆240Updated last week
• pjrt / stags
  Scala tags generator
  ☆57Updated 2 years ago
• marcesquerra / moonads
  Monad composition for Cats
  ☆17Updated 7 years ago
• vil1 / recursion-schemes-cookbook
  A friendly guide for leveraging the power of recursion schemes in real-world applications
  ☆107Updated 4 years ago