Skip to content
@disco-lang

disco-lang

Pinned Loading

  1. disco disco Public

    Functional teaching language for use in a discrete mathematics course

    TeX 181 26

Repositories

Showing 5 of 5 repositories
  • disco Public

    Functional teaching language for use in a discrete mathematics course

    disco-lang/disco's past year of commit activity
    TeX 181 26 49 0 Updated Mar 24, 2026
  • disco-live Public

    Disco web UI

    disco-lang/disco-live's past year of commit activity
    Haskell 1 0 1 0 Updated Jan 26, 2026
  • polysemy Public Forked from polysemy-research/polysemy

    Fork of polysemy to build with WASM

    disco-lang/polysemy's past year of commit activity
    Haskell 0 BSD-3-Clause 83 0 0 Updated Nov 26, 2025
  • 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 0 0 0 0 Updated Jul 29, 2021

Top languages

Loading…

Most used topics

Loading…