Skip to content
@disco-lang

disco-lang

Pinned Loading

  1. disco disco Public

    Functional teaching language for use in a discrete mathematics course

    TeX 165 23

Repositories

Showing 3 of 3 repositories
  • disco Public

    Functional teaching language for use in a discrete mathematics course

    disco-lang/disco’s past year of commit activity
    TeX 165 23 50 0 Updated Dec 12, 2024
  • Omega Public

    Updated fork of the Haskell Omega library

    disco-lang/Omega’s past year of commit activity
    Haskell 1 0 0 0 Updated Jun 6, 2024
  • disco_lang_kernel Public

    Jupyter kernel for the Disco language.

    disco-lang/disco_lang_kernel’s past year of commit activity
    Python 1 0 0 0 Updated Jul 29, 2021

Top languages

Loading…

Most used topics

Loading…