Popular repositories Loading

1. haskell-language-server haskell-language-server Public

   Forked from haskell/haskell-language-server

   Successor of ghcide & haskell-ide-engine. One IDE to rule them all.

   Haskell 2 1

2. cabal-fmt cabal-fmt Public

   Forked from phadej/cabal-fmt

   An experiment of formatting .cabal files

   Haskell 1

3. stylish-haskell stylish-haskell Public

   Forked from haskell/stylish-haskell

   Haskell code prettifier

   Haskell 1

4. discrete-maths-collection discrete-maths-collection Public

   TeX 1 1

5. Aligator.jl Aligator.jl Public

   Forked from ahumenberger/Aligator.jl

   Julia package for loop invariant generation

   Julia

6. ContinuedFractions.jl ContinuedFractions.jl Public

   Forked from johnmyleswhite/ContinuedFractions.jl

   Types and functions for working with continued fractions in Julia

   Julia