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 4 months ago
• bjornregnell / lth-eda016-2015
  Public files of EDA016 "Programming, First Course" given at Lund University, LTH.
  ☆9Updated 7 years ago
• exoji2e / notebook
  ☆16Updated 4 months ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆46Updated last year
• exoji2e / Sugartop
  ☆18Updated last year
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/
  ☆142Updated 3 weeks ago
• LarsAstrom / EDAF05-labs-public
  Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.
  ☆13Updated 3 years ago
• mbovel / presentation-template
  ☆9Updated 8 months ago
• curry-club-aux / curry-club-augsburg.de
  Our Website
  ☆17Updated 2 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆366Updated 3 weeks ago
• bitcoin-0 / btc0
  ☆157Updated 2 years ago
• ipfs-shipyard / scala-ipfs-api
  A wrapper of the IPFS Client HTTP-API for Scala.
  ☆34Updated 4 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆162Updated 2 years ago
• Martomate / Hexacraft
  A game with hexagonal blocks on a cylindrical world inspired by Minecraft
  ☆12Updated last month
• cemulate / the-mlab
  A wiki for collaborative work on totally legitimate "category theory"
  ☆104Updated 8 months ago
• andimiller / decline-completion
  A module for the decline command line parser to enable bash and zsh autocomplete
  ☆11Updated last year
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 9 years ago
• sondr3 / git-anger-management
  Ever wanted to know just how angry your commits are? Look no further
  ☆60Updated 10 months ago
• b-studios / scala-effekt
  Extensible algebraic effects with handlers
  ☆145Updated 2 weeks ago
• larsrh / libisabelle
  A Scala library which talks to Isabelle (DISCONTINUED)
  ☆38Updated 4 years ago
• scalacenter / GoogleSummerOfCode2021
  ☆16Updated 3 years ago
• clovellytech / outwatch-router
  Router for outwatch
  ☆12Updated 3 years ago
• Metaburn / dreams
  A platform for planning and crowdfunding co-created events.
  ☆14Updated 5 years ago
• retronym / scalac-survival-guide
  ☆83Updated 4 years ago
• wolfendale / scalacheck-gen-regexp
  A library for creating Scalacheck generators from regular expressions
  ☆23Updated 2 years ago
• zainab-ali / sbt-sammy
  A floating threshold for compiler warnings
  ☆27Updated 11 months ago
• djspiewak / sbt-github-packages
  A simple sbt plugin for publishing to GitHub Packages, in the style of sbt-sonatype and sbt-bintray
  ☆175Updated last year
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆48Updated 3 years ago
• densh / joyquote
  A tutorial on how to embed subset of Joy into Scala via extensible string interpolation and macros
  ☆33Updated 5 years ago