Alternatives and similar repositories for COMPSCI3MI3-F2023

Users that are interested in COMPSCI3MI3-F2023 are comparing it to the libraries listed below

• bgoodri / GR5065_2022
  ☆12Updated 3 years ago
• fredrikNordvallForsberg / CS410-22
  being the teaching materials and exercises for CS410 Advanced Functional Programming at the University of Strathclyde, 2022/23 session
  ☆19Updated 3 years ago
• Apress / practical-haskell-3e
  Source Code for 'Practical Haskell, 3rd Edition' by Alejandro Serrano Mena
  ☆13Updated 3 years ago
• DSC-McMaster-U / Canadian-Internships
  A community-sourced repo used to find internships located in Canada or offering sponsorships (2023/2024)
  ☆87Updated last year
• uroboros / haskell_design_patterns
  Code bundle for "Haskell Design Patterns" book
  ☆18Updated 10 years ago
• chowdhaj / McMaster
  Some courses, mostly Computer Science, at McMaster. For more information, that is not in the README, please contact me.
  ☆22Updated 2 years ago
• lair001 / lehman-math-cs
  Resources for Mathematics for Computer Science by Lehman, Leighton and Meyer and its corresponding course on MIT Open Library.
  ☆44Updated 3 years ago
• anurudhp / CPHaskell
  A collection of templates and solutions for Competitive Programming in Haskell
  ☆29Updated 4 years ago
• HoodPanther / Machine-Learning-CSMM102x-John-Paisley-Columbia-University-EdX
  Machine Learning CSMM102x John Paisley Columbia University EdX
  ☆15Updated 7 years ago
• Person314159 / cs221bot
  ☆33Updated 3 years ago
• effectfully-ou / haskell-challenges
  Code challenges to solve with Haskell
  ☆183Updated 3 months ago
• mniip / discord-eval
  A discord frontend for an interactive interpreter bot
  ☆22Updated 4 months ago
• InitialTypes / Club
  Organization and planning for the Initial Types Club
  ☆75Updated 3 years ago
• anuyts / agda-sessions
  Learn the Agda basics in three 2-hour sessions.
  ☆60Updated 3 months ago
• jihoonog / School-Notes-Public
  This is the public repository of all my school notes from the University of Alberta (and some from the University of Lethbridge)
  ☆121Updated last year
• johnchandlerburnham / hpfp
  Exercises and Projects for Haskell Programming from First Principles by Allen & Moronuki
  ☆34Updated 5 years ago
• emilyriehl / 721
  Course website for Math 721: Homotopy Type Theory, taught at Johns Hopkins in Fall 2021
  ☆50Updated 4 years ago
• isovector / certainty-by-construction
  Source material for Certainty by Construction
  ☆47Updated last year
• freeman42x / awesome-agda-programming
  Awesome Agda Programming
  ☆18Updated 3 months ago
• uwcsc / 2023-internships
  2023 Internship Repository
  ☆246Updated 2 years ago
• mstksg / advent-of-code
  🎅🌟❄️☃️🎄🎁 Advent of Code Mega Repo
  ☆49Updated last week
• yhiumy / New-Grad-2023
  ☆91Updated 2 years ago
• TheoWinterhalter / phd-thesis
  Phd Thesis of Théo Winterhalter. Look at releases to get the latest PDF.
  ☆42Updated 5 years ago
• blanchette / logical_verification_2022
  Logical Verification 2022-2023 course at VU Amsterdam
  ☆18Updated last year
• carlosfrodrigues / silkscreen
  Generate FullPage HTML slides with Markdown
  ☆21Updated 4 years ago
• jespercockx / agda-lecture-notes
  Agda lecture notes for the Functional Programming course at TU Delft
  ☆132Updated 5 months ago
• lazyppl-team / lazyppl
  A Haskell probabilistic programming library.
  ☆21Updated 2 weeks ago
• TorontoTechCommunity / CanadaJobSearch2023
  Canadian Job Postings for Winter 2023 Internships, Summer 2023 Internships, Fall 2023 Internships, and 2023 Start New Grad
  ☆155Updated 3 years ago
• 4ndrelim / data-structures-and-algorithms
  This repository contains design and implementation of fundamental data structures and algorithms.
  ☆75Updated last year
• bsovs / Fall2025-Internships
  Collection of Fall 2025 tech internships!
  ☆1,303Updated 7 months ago