Alternatives and similar repositories for Website-prev

Users that are interested in Website-prev are comparing it to the libraries listed below

• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated this week
• lunduniversity / schoolprog
  Programming exercises for primary and secondary education, in Swedish.
  ☆15Updated 3 years ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆46Updated 2 years ago
• exoji2e / hashcode-template
  ☆17Updated 3 years ago
• rossabaker / abolish-ice-graphiti
  migrated to Codeberg
  ☆16Updated last month
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH.
  ☆142Updated this week
• katychuang / CleanMagic-hakyll
  medium inspired theme for hakyll
  ☆11Updated 4 years ago
• snowdriftcoop / snowdrift
  An **OUTDATED** mirror of Snowdrift.coop codebase. The active development is now at https://codeberg.org/snowdrift/snowdrift
  ☆91Updated 8 months ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆384Updated 3 weeks ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆260Updated 4 months ago
• exoji2e / Sugartop
  ☆18Updated 2 years ago
• curry-club-aux / curry-club-augsburg.de
  Our Website
  ☆17Updated 2 years ago
• j-mie6 / parsley
  A fast and modern parser combinator library for Scala
  ☆200Updated 2 months ago
• epfl-lara / inox
  Solver for higher-order functional programs, used by Stainless
  ☆92Updated last month
• meraymond2 / idris-vscode
  Idris front-end for VS Code
  ☆60Updated 2 years ago
• mfine / heroku-buildpack-stack
  Haskell Stack support for Heroku
  ☆228Updated last year
• Kha / electrolysis
  Simple verification of Rust programs via functional purification in Lean 2(!)
  ☆339Updated 8 years ago
• almost / hubbub
  Comments as GitHub pull requests for Jekyll (and other static site generator) websites.
  ☆16Updated 6 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆167Updated last year
• JBakouny / Scallina
  A Coq-based synthesis of Scala programs which are correct-by-construction
  ☆79Updated 3 years ago
• kcsongor / generic-lens
  Generically derive traversals, lenses, and prisms.
  ☆440Updated last month
• nuttycom / aftok
  Companies for anarchists. A system for people who want to work together, but don't want hierarchy or central control.
  ☆31Updated last year
• mbovel / presentation-template
  ☆10Updated this week
• inkytonik / kiama
  A Scala library for language processing.
  ☆47Updated last year
• travisbrown / dhallj
  Dhall for Java
  ☆178Updated last year
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆350Updated 2 months ago
• regb / cafesat
  The CafeSat SMT solver for Scala
  ☆50Updated 3 years ago
• alcestes / lchannels
  Session programming in Scala
  ☆59Updated 4 years ago
• ipfs-shipyard / scala-ipfs-api
  A wrapper of the IPFS Client HTTP-API for Scala.
  ☆34Updated 5 months ago
• scala-munich / meetup
  Meetup organization for Munich Scala User Group
  ☆10Updated 6 years ago