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 3 weeks ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆45Updated last year
• LarsAstrom / EDAF05-labs-public
  Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.
  ☆13Updated 3 years ago
• bjornregnell / lth-eda016-2015
  Public files of EDA016 "Programming, First Course" given at Lund University, LTH.
  ☆9Updated 7 years ago
• exoji2e / hashcode-template
  ☆16Updated 3 years ago
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/
  ☆141Updated 2 months ago
• datateknik-lth / datateknik-lth
  Extentor, sammanfattningar och dylikt för Civilingenjörsprogrammet Datateknik vid LTH.
  ☆122Updated 2 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆370Updated last week
• statebox / idris-ct
  formally verified category theory library
  ☆262Updated 4 years ago
• mbovel / presentation-template
  ☆10Updated 9 months ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆258Updated 3 years ago
• Martomate / Hexacraft
  A game with hexagonal blocks on a cylindrical world inspired by Minecraft
  ☆12Updated last week
• precog / matryoshka
  Generalized recursion schemes and traversals for Scala.
  ☆814Updated 5 years ago
• davidrusu / MonadSweeper
  Minesweeper writtin in Haskell
  ☆39Updated 10 years ago
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆145Updated 2 weeks ago
• mfine / heroku-buildpack-stack
  Haskell Stack support for Heroku
  ☆230Updated 8 months ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆367Updated 10 months ago
• scala-munich / meetup
  Meetup organization for Munich Scala User Group
  ☆10Updated 5 years ago
• rainbyte / haskell-ide-chart
  Haskell state of editor/IDE support
  ☆247Updated 4 years ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆899Updated 4 years ago
• travisbrown / dhallj
  Dhall for Java
  ☆173Updated 7 months ago
• oleg-py / better-monadic-for
  Desugaring scala `for` without implicit `withFilter`s
  ☆707Updated 10 months ago
• scalacenter / scalajs-bundler
  ☆238Updated 3 weeks ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆186Updated 4 years ago
• typelevel / typelevel-nix
  Development tools for Typelevel projects
  ☆114Updated last week
• snowleopard / alga-paper
  A minimalistic, elegant and powerful approach to working with graphs in a functional programming language
  ☆196Updated 3 years ago
• ipfs-shipyard / scala-ipfs-api
  A wrapper of the IPFS Client HTTP-API for Scala.
  ☆34Updated 5 years ago
• underscoreio / scalaxhack-2016
  Topic and project suggestions for ScalaxHack 2016.
  ☆9Updated 8 years ago