Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / disco-lang / disco
Functional teaching language for use in a discrete mathematics course
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/disco-lang%2Fdisco
Stars: 157
Forks: 21
Open Issues: 50
License: other
Language: Haskell
Repo Size: 20.6 MB
Dependencies:
90
Created: almost 8 years ago
Updated: 3 days ago
Last pushed: 2 days ago
Last synced: 2 days ago
Topics: discrete-mathematics, functional-programming, programming-language, teaching
Files
Loading...
Readme
Loading...
Dependencies
.github/workflows/ci.yml
actions
- actions/cache v1 composite
- actions/checkout v2 composite
- haskell/actions/setup v1 composite
.github/workflows/irc.yml.save
actions
- rectalogic/notify-irc v1 composite
disco.cabal
hackage
- QuickCheck >=2.9 && <2.15
- algebraic-graphs >=0.5
- arithmoi >=0.10 && <0.14
- base *
- base >=4.8 && <4.18
- containers >=0.5 && <0.7
- directory *
- disco *
- exact-combinatorics ==0.2.*
- exceptions ==0.10.*
- fgl >=5.5 && <5.9
- filepath *
- haskeline ==0.8.*
- integer-logarithms ==1.0.*
- lens >=4.14 && <5.3
- megaparsec >=6.1.1 && <9.6
- mtl >=2.2 && <2.4
- optparse-applicative >=0.12 && <0.19
- parser-combinators >=1.0.0 && <1.4
- polysemy >=1.6.0.0 && <1.10
- polysemy-plugin ==0.4.*
- polysemy-zoo >=0.7 && <0.9
- pretty ==1.1.*
- pretty-show >=1.10
- simple-enumeration ==0.2.*
- split ==0.2.*
- splitmix ==0.1.*
- transformers >=0.4 && <0.7
- unbound-generics >=0.3 && <0.4.3
- base >=4.7 && <4.18 test
- bytestring >=0.9 && <0.13 test
- directory >=1.2 && <1.4 test
- disco * test
- filepath ==1.4.* test
- process >=1.4 && <1.7 test
- tasty >=0.10 && <1.6 test
- tasty-golden ==2.3.* test
- base >=4.9 && <4.12
- containers ==0.5.*
- fgl *
- haskeline *
- lens *
- mtl ==2.2.*
- parsec ==3.1.*
- unbound-generics ==0.3.*
explore/poly-sub/poly-sub.cabal
hackage
explore/sub/sub.cabal
hackage
- base ==4.9.*
- containers ==0.5.*
- equivalence *
- lens *
- mtl ==2.2.*
- parsec *
- split *
- unbound-generics *
explore/sub+qual/sub-qual.cabal
hackage
- base >=4.9 && <4.12
- containers ==0.5.*
- mtl ==2.2.*
- parsec ==3.1.*
- unbound-generics ==0.3.*
explore/sub2/sub2.cabal
hackage
- base ==4.9.*
- containers ==0.5.*
- fgl *
- haskeline *
- lens *
- mtl ==2.2.*
- parsec *
- split *
- unbound-generics *
explore/system-f/system-f.cabal
hackage
- base >=4.14.1.0 && <4.15
- containers *
- lens *
- mtl *
- parsec *
notes/multirec-test/test.cabal
hackage