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 5 months ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆46Updated 2 years ago
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH.
  ☆142Updated this week
• exoji2e / notebook
  ☆16Updated 10 months ago
• exoji2e / Sugartop
  ☆18Updated last year
• nomeata / incredible
  The Incredible Proof Machine
  ☆380Updated 6 months ago
• seductivegeese / softi.es
  A website for softies.
  ☆10Updated 3 years ago
• rossabaker / abolish-ice-graphiti
  Script to make your GitHub contribution graph read "abolish ice"
  ☆16Updated 4 years ago
• avieth / diplomacy
  The board game Diplomacy, spoken in Haskell
  ☆13Updated 3 years ago
• mfine / heroku-buildpack-stack
  Haskell Stack support for Heroku
  ☆228Updated last year
• curry-club-aux / curry-club-augsburg.de
  Our Website
  ☆17Updated 2 years ago
• AljoschaMeyer / hacky-art
  An ssb client for image sharing.
  ☆11Updated 6 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆350Updated last month
• DimaSamoz / mezzo
  A Haskell library for typesafe music composition
  ☆364Updated 6 years ago
• keathley / pointfree.io
  A web site for converting haskell code into pointfree haskell code
  ☆165Updated 2 years ago
• meraymond2 / idris-vscode
  Idris front-end for VS Code
  ☆60Updated 2 years ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆384Updated 2 months ago
• typedefs / typedefs
  Programming language agnostic type construction language based on polynomials.
  ☆369Updated last year
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆380Updated 3 years ago
• bkil-syslogng / haskell-scuttlebutt
  client/library/framework for the Scuttlebut.nz (SSB) network
  ☆13Updated 7 years ago
• katychuang / CleanMagic-hakyll
  medium inspired theme for hakyll
  ☆11Updated 4 years ago
• lukexi / rumpus
  A Livecoding Playground for Room-Scale VR
  ☆127Updated 8 years ago
• mbovel / presentation-template
  ☆10Updated last year
• mvr / cf
  "Exact" real arithmetic for Haskell using continued fractions (Not formally proven correct)
  ☆40Updated 10 years ago
• statebox / idris-ct
  formally verified category theory library
  ☆263Updated 5 years ago
• edwinb / Blodwen
  A prototype successor to Idris
  ☆541Updated 6 years ago
• Kha / electrolysis
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆338Updated 8 years ago
• the-lambda-church / coquille
  Interactive theorem proving with Coq in vim.
  ☆185Updated 4 years ago
• ipfs-shipyard / scala-ipfs-api
  A wrapper of the IPFS Client HTTP-API for Scala.
  ☆34Updated 4 months ago