disco-lang

Pinned Loading

disco disco Public

Functional teaching language for use in a discrete mathematics course

TeX 176 24

Repositories

disco-live Public
Disco web UI

disco-lang/disco-live’s past year of commit activity

Haskell 1 0 2 0 Updated Dec 12, 2025
disco Public
Functional teaching language for use in a discrete mathematics course

disco-lang/disco’s past year of commit activity

TeX 176 24 46 0 Updated Dec 6, 2025
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 80 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 1 0 0 0 Updated Jul 29, 2021

People

Top languages

Loading…

Most used topics

Loading…