Skip to content
@disco-lang

disco-lang

Pinned Loading

  1. disco Public

    Functional teaching language for use in a discrete mathematics course

    TeX 168 24

Repositories

Showing 4 of 4 repositories
  • disco Public

    Functional teaching language for use in a discrete mathematics course

    TeX 168 24 47 1 Updated Apr 24, 2025
  • polysemy Public Forked from polysemy-research/polysemy

    Fork of polysemy to build with WASM

    Haskell 0 BSD-3-Clause 80 0 0 Updated Jan 6, 2025
  • Omega Public

    Updated fork of the Haskell Omega library

    Haskell 1 0 0 0 Updated Jun 6, 2024
  • disco_lang_kernel Public

    Jupyter kernel for the Disco language.

    Python 1 0 0 0 Updated Jul 29, 2021