Skip to content
@MaCS-Club

MaCS-Club

Popular repositories Loading

  1. lambda-calculus-lectures lambda-calculus-lectures Public

    TeX 1

  2. MaCS-Club.github.io MaCS-Club.github.io Public

    HTML

  3. macs-club-site macs-club-site Public

    Haskell

  4. http4s-rest-api-example http4s-rest-api-example Public

    Scala

  5. ScalaExercises ScalaExercises Public

    Scala

  6. ScalaLectures ScalaLectures Public

Repositories

Showing 10 of 13 repositories
  • plfa-ru Public Forked from plfa/plfa.github.io

    Введение в теорию языков программирования на Agda. Перевод книги: https://plfa.github.io

    MaCS-Club/plfa-ru’s past year of commit activity
    Agda 0 CC-BY-4.0 322 0 0 Updated Mar 20, 2024
  • agda-pfds Public
    MaCS-Club/agda-pfds’s past year of commit activity
    CSS 0 0 0 1 Updated Apr 17, 2023
  • agda-lectures Public
    MaCS-Club/agda-lectures’s past year of commit activity
    Agda 0 0 3 (1 issue needs help) 0 Updated Feb 22, 2023
  • MaCS-Club.github.io Public
    MaCS-Club/MaCS-Club.github.io’s past year of commit activity
    HTML 0 0 0 0 Updated Jan 31, 2023
  • macs-club-site Public
    MaCS-Club/macs-club-site’s past year of commit activity
    Haskell 0 0 8 0 Updated Aug 14, 2020
  • presentations Public
    MaCS-Club/presentations’s past year of commit activity
    0 0 0 0 Updated Mar 5, 2019
  • scala-from-scratch Public
    MaCS-Club/scala-from-scratch’s past year of commit activity
    Shell 0 0 11 1 Updated Feb 25, 2019
  • agda-lib Public
    MaCS-Club/agda-lib’s past year of commit activity
    Agda 0 0 0 0 Updated Jan 9, 2019
  • ScalaLectures Public
    MaCS-Club/ScalaLectures’s past year of commit activity
    0 0 0 0 Updated Jan 10, 2018
  • ScalaExercises Public
    MaCS-Club/ScalaExercises’s past year of commit activity
    Scala 0 0 0 0 Updated Dec 15, 2017
View all repositories

Top languages

Loading…

Most used topics

Loading…