disco-lang

@disco-lang

Pinned Loading

Functional teaching language for use in a discrete mathematics course

TeX 181 26

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
disco-lang/disco-live’s past year of commit activity

Haskell
1
0
1 0
Updated Jan 26, 2026
disco-lang/polysemy’s past year of commit activity

Haskell 0 BSD-3-Clause
82 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/disco_lang_kernel’s past year of commit activity

Python
1
0
0 0
Updated Jul 29, 2021

Loading…