Alternatives and similar repositories for AiSD

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

• iiuni / projektzapisy
  System Zapisów na zajęcia w Instytucie Informatyki Uniwersytetu Wrocławskiego
  ☆31Updated 3 weeks ago
• janchorowski / ml_uwr
  Materials for my Machine Learning course at University of Wroclaw
  ☆37Updated 4 years ago
• wesolyfoton / aisd-skrypt
  Skrypt do przedmiotu "Algorytmy i Struktury Danych"
  ☆14Updated 6 years ago
• KimLoanSA / mimuw
  2018-2021 mimuw by marcin abramowicz
  ☆34Updated 3 years ago
• przemub / polinux
  Polonizacja komunikatów jądra
  ☆102Updated 7 years ago
• sio2project / oioioi
  ☆174Updated this week
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆464Updated 4 years ago
• agelastic / eudyptula
  www.eudyptula-challenge.org
  ☆1,165Updated 11 years ago
• PaulFurtado / NUwave-Linux
  Script for connecting to NUwave from linux
  ☆21Updated 11 years ago
• cohomolo-gy / haskell-resources
  A List of Foundational Haskell Papers
  ☆879Updated 9 months ago
• Krejdom / school_notes
  Notes from courses at FI MUNI.
  ☆72Updated 3 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆301Updated last year
• ArturB / WUT-Thesis
  LaTeX template for engineer and master thesis for Warsaw University of Technology.
  ☆222Updated 2 years ago
• cpitclaudel / company-coq
  A Coq IDE build on top of Proof General's Coq mode
  ☆357Updated this week
• sio2project / sio2jail
  A tool for supervising execution of programs submitted in algorithmic competitions
  ☆35Updated 7 months ago
• math-comp / math-comp
  Mathematical Components
  ☆633Updated 2 weeks ago
• plfa / plfa.github.io
  An introduction to programming language theory in Agda
  ☆1,449Updated 2 weeks ago
• google / haskell-trainings
  Haskell 101 and 102: slides and codelabs
  ☆1,404Updated 2 years ago
• srcreigh / aluffi
  Solutions to Paolo Aluffi's "Algebra: Chapter 0".
  ☆57Updated 7 years ago
• rocq-community / rocq-tricks
  Tricks you wish the Coq manual told you [maintainer=@tchajed]
  ☆523Updated 2 months ago
• agda / cubical
  An experimental library for Cubical Agda
  ☆497Updated last week
• takenobu-hs / haskell-symbol-search-cheatsheet
  Haskell/GHC symbol search cheatsheet
  ☆323Updated last year
• ProofGeneral / PG
  This repo is the new home of Proof General
  ☆528Updated 3 weeks ago
• tssm / up-to-date-real-world-haskell
  I'm trying to update the Real World Haskell book
  ☆790Updated 2 years ago
• shd / logic2011
  ☆16Updated last year
• waymonad / waymonad
  A wayland compositor based on ideas from and inspired by xmonad
  ☆851Updated 6 years ago
• opqdonut / haskell-exercises
  Haskell exercises with automatic tests
  ☆158Updated 4 years ago
• sugakandrey / Functional-analysis
  ☆11Updated 8 years ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆373Updated 5 years ago
• RobertHarper / hott-notes
  15-819 (Homotopy Type Theory) Lecture Notes
  ☆55Updated 5 years ago