Alternatives and similar repositories for lectureDL:

Users that are interested in lectureDL are comparing it to the libraries listed below

• algorithms-are-fun / amoffat-fan-page
  Alistair Moffat fan page
  ☆16Updated 2 years ago
• andyzg / classprofile
  UWaterloo Software Engineering 2018 Class Profile
  ☆15Updated last year
• samuel-x / unimelb-notes
  Notes that I've taken over my Computer Systems and Software course at The University of Melbourne
  ☆131Updated 4 years ago
• vEnhance / oly-geoguessr
  Olympiad GeoGuessr
  ☆16Updated last week
• uclapi / uclapi
  An API for University College London, created for and by students!
  ☆46Updated last month
• anhvir / c207
  ☆7Updated this week
• Dakkers / UW-Course-Notes
  some lecture notes from the University of Waterloo.
  ☆89Updated 9 years ago
• Dih5 / TgBot
  Package to implement bots in Mathematica using the Telegram API.
  ☆11Updated 8 years ago
• kirel / detexify-hs-backend
  Detexify Backend written in Haskell
  ☆899Updated 8 years ago
• matomatical / UoM-WAM-Spam
  Scraper for the UoM results page which detects transcript updates and notifies the user.
  ☆59Updated 3 years ago
• yxliang01 / UnimelbSharedFiles
  ☆18Updated 7 years ago
• ImperialCollegeLondon / Example-Lean-Projects
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆22Updated 3 years ago
• vincentsimard / dmitlichess
  Adds the soothing voice of Dmitri Komarov and other great chess masters to lichess.org (Google Chrome extension / Firefox Add-on)
  ☆65Updated 4 months ago
• thehottgame / TheHoTTGame
  Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
  ☆125Updated 11 months ago
• hfaran / piazza-api
  Unofficial Client for Piazza's Internal API
  ☆194Updated 5 months ago
• kbuzzard / xena
  Lean Library currently studying for a degree at Imperial College
  ☆225Updated last month
• awodey / math
  Mathematical notes and papers
  ☆26Updated 2 months ago
• CornellCSWiki / CornellCSWiki
  Student-run wiki for students interested in computer science at Cornell University
  ☆92Updated last year
• pschachte / wybe
  A programming language supporting most of both declarative and imperative programming
  ☆51Updated last month
• disco-lang / disco
  Functional teaching language for use in a discrete mathematics course
  ☆168Updated 2 months ago
• sorear / smm
  sorear's Metamath system engine
  ☆13Updated 8 years ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆173Updated this week
• Bodigrim / arithmoi
  Number theory: primes, arithmetic functions, modular computations, special sequences
  ☆152Updated last month
• Soonad / Whitepaper
  Moonad: a Peer-to-Peer Operating System
  ☆102Updated 5 years ago
• superpermutators / superperm
  ☆127Updated last year
• ImperialCollegeLondon / real-number-game
  A gamification of the theorems in MATH40002 Analysis 1
  ☆81Updated 2 years ago
• holdenlee / number-theory
  Open-source number theory textbook
  ☆57Updated 7 months ago
• jordanspooner / haskell-tests
  My past paper solutions for the Haskell final test at Imperial College London
  ☆7Updated 7 years ago
• UQComputingSociety / uqcsbot-slack
  UQCSbot: our friendly little Slack bot
  ☆55Updated last year
• kokic / UniTeX
  A transpiler that converts TeX into Unicode (as possible).
  ☆19Updated 2 weeks ago