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 last month
• exoji2e / notebook
  ☆16Updated 6 months 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
• 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
• LarsAstrom / EDAF05-labs-public
  Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.
  ☆13Updated 3 years ago
• datateknik-lth / datateknik-lth
  Extentor, sammanfattningar och dylikt för Civilingenjörsprogrammet Datateknik vid LTH.
  ☆122Updated 2 years ago
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 9 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆372Updated this week
• plaidfinch / ComonadSheet
  A library for expressing "spreadsheet-like" computations with absolute and relative references, using fixed-points of n-dimensional comon…
  ☆156Updated 4 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆163Updated 2 years ago
• tfausak / octane
  Parse Rocket League replays.
  ☆39Updated 7 years ago
• intolerable / reddit
  reddit api for haskell
  ☆77Updated 2 years ago
• curry-club-aux / curry-club-augsburg.de
  Our Website
  ☆17Updated 2 years ago
• harpocrates / inline-rust
  Use snippets of Rust inline in your Haskell programs
  ☆226Updated 3 years ago
• Gabriella439 / Haskell-Annah-Library
  Distributed programming language that desugars to Morte
  ☆92Updated 2 years ago
• lexi-lambda / freer-simple
  A friendly effect system for Haskell
  ☆231Updated 11 months ago
• Martomate / Hexacraft
  A game with hexagonal blocks on a cylindrical world inspired by Minecraft
  ☆12Updated last week
• travisbrown / dhallj
  Dhall for Java
  ☆173Updated 8 months ago
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆197Updated 5 years ago
• harpocrates / language-rust
  Parser and pretty-printer for the Rust language
  ☆86Updated last year
• polysemy-research / polysemy-zoo
  Experimental, user-contributed effects and interpreters for polysemy
  ☆72Updated last year
• glguy / advent2017
  Advent of Code 2017 solutions
  ☆27Updated 4 years ago
• lexi-lambda / mtl-style-example
  A small example of using mtl style to unit test effectful code
  ☆106Updated 7 years ago
• wolfendale / scalacheck-gen-regexp
  A library for creating Scalacheck generators from regular expressions
  ☆23Updated 2 years ago
• haskell / actions
  Github actions for Haskell CI
  ☆148Updated last year
• tfausak / wuss
  Secure WebSocket (WSS) clients in Haskell.
  ☆69Updated 2 months ago
• mstksg / advent-of-code-2017
  Advent of Code 2017 (Warning: Spoilers)
  ☆49Updated 5 months ago