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 this week
• exoji2e / hashcode-template
  ☆17Updated 3 years ago
• thorehusfeldt / algdes-labs
  Programming exercises for algorithm design
  ☆47Updated 2 years ago
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH.
  ☆142Updated 2 weeks ago
• exoji2e / Sugartop
  ☆18Updated 2 years ago
• nuclearpidgeon / UoM-Timetable-to-iCal
  Chrome Extension that converts the University of Melbourne student timetable page into an iCal file
  ☆19Updated 6 years ago
• curry-club-aux / curry-club-augsburg.de
  Our Website
  ☆17Updated 3 years ago
• Lit0r / pusheen-push
  Why push when you can Pusheen?
  ☆22Updated 10 years ago
• edwinb / Blodwen
  A prototype successor to Idris
  ☆541Updated 6 years ago
• katychuang / CleanMagic-hakyll
  medium inspired theme for hakyll
  ☆11Updated 4 years ago
• mfine / heroku-buildpack-stack
  Haskell Stack support for Heroku
  ☆228Updated last year
• evm-lang-design / evm-lang-design
  Language Design Community for the EVM: Intro and Resources
  ☆134Updated 8 years ago
• madjar / howoldis
  Little web app displaying the age of the last NixOS channels
  ☆45Updated 5 years ago
• nuttycom / aftok
  Companies without centralization. A system for people who want to work together to build things, but don't want hierarchy or central cont…
  ☆31Updated last year
• rossabaker / abolish-ice-graphiti
  migrated to Codeberg
  ☆16Updated 3 months ago
• edwinb / Idris2-boot
  A dependently typed programming language, a successor to Idris
  ☆901Updated 5 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆387Updated 3 weeks ago
• Chymyst / curryhoward
  Automatic code generation for Scala functions and expressions via the Curry-Howard isomorphism
  ☆262Updated 7 months ago
• LarsAstrom / EDAF05-labs-public
  Laborations for EDAF05 Algorithms, Data Structures and Complexity, held at LTH.
  ☆13Updated 4 years ago
• Kuska-ssb / ssb
  Secure Scuttlebut library
  ☆44Updated 2 years ago
• recursion-schemes / recursion-schemes
  Generalized bananas, lenses and barbed wire
  ☆351Updated 4 months ago
• alangpierce / TheProofIsTrivial
  Math-themed single-serving site
  ☆46Updated 4 years ago
• polysemy-research / polysemy
  higher-order, no-boilerplate monads
  ☆1,070Updated 9 months ago
• epfl-lara / stainless
  Verification framework and tool for higher-order Scala programs
  ☆390Updated this week
• kcsongor / generic-lens
  Generically derive traversals, lenses, and prisms.
  ☆440Updated 4 months ago
• scala-munich / meetup
  Meetup organization for Munich Scala User Group
  ☆10Updated 6 years ago
• Gabriella439 / Haskell-Morte-Library
  A bare-bones calculus-of-constructions
  ☆382Updated 3 years ago
• hasura / eff
  🚧 a work in progress effect system for Haskell 🚧
  ☆560Updated 2 years ago
• A1kmm / proofsweeper
  Play Minesweeper by formally proving your moves in Idris
  ☆168Updated last year