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 3 years ago
• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated last month
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆47Updated 2 years ago
• exoji2e / hashcode-template
  ☆17Updated 3 years ago
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH.
  ☆142Updated 2 months ago
• exoji2e / notebook
  ☆18Updated last year
• LarsAstrom / EDAF05-labs-public
  Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.
  ☆13Updated 4 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆391Updated 2 weeks ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 3 years ago
• ipfs-shipyard / scala-ipfs-api
  A wrapper of the IPFS Client HTTP-API for Scala.
  ☆34Updated 9 months ago
• rossabaker / abolish-ice-graphiti
  migrated to Codeberg
  ☆16Updated 5 months ago
• mbovel / presentation-template
  ☆10Updated 4 months ago
• curry-club-aux / curry-club-augsburg.de
  Our Website
  ☆17Updated 3 years ago
• mfine / heroku-buildpack-stack
  Haskell Stack support for Heroku
  ☆228Updated last year
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆262Updated 8 months ago
• exoji2e / Sugartop
  ☆19Updated 2 years ago
• snowdriftcoop / snowdrift
  An **OUTDATED** mirror of Snowdrift.coop codebase. The active development is now at https://codeberg.org/snowdrift/snowdrift
  ☆91Updated last year
• katychuang / CleanMagic-hakyll
  medium inspired theme for hakyll
  ☆11Updated 4 years ago
• edwinb / Blodwen
  A prototype successor to Idris
  ☆541Updated 6 years ago
• precog / matryoshka
  Generalized recursion schemes and traversals for Scala.
  ☆820Updated 5 years ago
• Lit0r / pusheen-push
  Why push when you can Pusheen?
  ☆22Updated 10 years ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆209Updated this week
• djspiewak / parseback
  A Scala implementation of parsing with derivatives
  ☆201Updated 6 years ago
• tfausak / octane
  Parse Rocket League replays.
  ☆39Updated 8 years ago
• almost / hubbub
  Comments as GitHub pull requests for Jekyll (and other static site generator) websites.
  ☆16Updated 7 years ago
• DimaSamoz / mezzo
  A Haskell library for typesafe music composition
  ☆366Updated 6 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆352Updated last month
• Kha / electrolysis
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆339Updated 8 years ago
• gcmalloc / epfl-moodle
  Sane interface to moodle
  ☆14Updated 8 years ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆900Updated 5 years ago