Alternatives and similar repositories for algdes-labs:

Users that are interested in algdes-labs are comparing it to the libraries listed below

• Code-at-LTH / code-at-lth.github.io
  The official website of Code@LTH
  ☆17Updated 4 months ago
• Dsek-LTH / Website-prev
  This is the (soon) official website of the computer science guilds webbpage, commit to make a difference!
  ☆12Updated 7 years ago
• exoji2e / notebook
  ☆16Updated 3 months ago
• datateknik-lth / datateknik-lth
  Extentor, sammanfattningar och dylikt för Civilingenjörsprogrammet Datateknik vid LTH.
  ☆123Updated 2 years ago
• lunduniversity / introprog
  Teaching material for "Introduction to Programming using Scala" at Lund University, LTH. http://cs.lth.se/pgk/
  ☆143Updated last week
• itu-devops / lecture_notes
  Material for the elective "DevOps, Software Evolution and Software Maintenance" at IT University of Copenhagen, spring 2023
  ☆75Updated this week
• marcbezem / INF102
  Lecture notes and other material for the course INF102, Algorithms and Data Structures, at the University of Bergen.
  ☆21Updated 6 years ago
• Courseography / courseography
  Courseography is a tool created by David Liu and Ian Stewart-Binks to guide students through their undergraduate careers.
  ☆60Updated this week
• lunduniversity / introprog-scalalib
  Scala library with simple-to-use utilites for students of introductory programming. http://cs.lth.se/pgk/api
  ☆62Updated 2 months ago
• mscroggs / Logic-Bot
  @mathslogicbot
  ☆20Updated last year
• PermutaTriangle / Permuta
  A native Python library for permutation pattern research
  ☆16Updated 5 months ago
• superpermutators / superperm
  ☆124Updated last year
• sinedied / codingame-ts-starter
  Typescript starter template for CodinGame challenges
  ☆12Updated 4 years ago
• klarna-incubator / mleko
  Simplify and accelerate your machine learning development with mleko. Designed with modularity and customization in mind, it seamlessly i…
  ☆11Updated 4 months ago
• bjornregnell / muntabot
  A robot for generating questions at an oral exam in introductory programming.
  ☆42Updated this week
• leanprover / lean3
  Lean Theorem Prover
  ☆2,149Updated last year
• bjornregnell / kapten-alloc-web
  Find your slot in space and time.
  ☆39Updated last month
• mbovel / presentation-template
  ☆9Updated 7 months ago
• nd / bird
  Exercises from "Introduction to Functional Programming using Haskell" by Richard Bird
  ☆15Updated 12 years ago
• mikeizbicki / HLearn
  Homomorphic machine learning
  ☆1,622Updated 8 years ago
• TrevorEdwards / bigredapp-android
  Informational Android app for Cornell University.
  ☆14Updated 6 years ago
• yqh / SE350
  University of Waterloo SE350 Operating Systems RTX Project Starter Files and Documentation
  ☆58Updated 2 years ago
• uWaterloo / Datasets
  Datasets powering the Open Data API
  ☆62Updated 3 months ago
• Dakkers / UW-Course-Notes
  some lecture notes from the University of Waterloo.
  ☆87Updated 9 years ago
• snario / course_notes
  Course notes for the University of Waterloo
  ☆28Updated 6 years ago
• formalabstracts / formalabstracts
  ☆161Updated 5 years ago
• OpenHackC4H / OpenhackC4H
  Main place to find anything related to Openhack - Challenges, Solutions, Resources, and our Openhack manual
  ☆9Updated 2 years ago
• UniMath / UniMath
  This coq library aims to formalize a substantial body of mathematics using the univalent point of view.
  ☆970Updated this week
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆53Updated 4 years ago
• nomeata / incredible
  The Incredible Proof Machine
  ☆367Updated last year