robrix
Follow
-
Either Public
Swift µframework of Either, which represents two alternatives.
-
Prelude Public
Swift µframework of simple functional programming tools
-
deterministic-parsing Public
An experiment in deterministic parsing of LL(1) grammars
-
freer-cofreer Public
freer monads and cofreer comonads.
-
effects-sequences Public
Extensible effects à la Oleg, but with fancier effect sets.
-
semirings-modules Public
Semirings, with and without additive/multiplicative identities, and R-modules.
-
type-aligned Public
Forked from atzeus/type-alignedVarious type-aligned sequence data structures.
-
higher-order Public
Higher-order (type-indexed) analogues of various typeclasses, and machinery over them.
-
surface Public
Dependently-typed language w/ little to say for itself
-
-
haskell-lsp Public
Forked from haskell/lspHaskell library for the Microsoft Language Server Protocol
Haskell MIT License UpdatedMar 19, 2018 -
ghc-mod Public
Forked from DanielG/ghc-modHappy Haskell Hacking for editors. CI: https://gitlab.com/dxld/ghc-mod/pipelines
Haskell Other UpdatedMar 18, 2018 -
superrecord Public
Forked from agrafix/superrecordHaskell: Supercharged anonymous records
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 25, 2017 -
Madness Public
Recursive Descent Into Madness
-
haskell-ide-engine Public
Forked from haskell/haskell-ide-engineThe engine for haskell ide-integration. Not an IDE
Haskell BSD 3-Clause "New" or "Revised" License UpdatedOct 20, 2017 -
complexity-analysis Public
Sized type elaboration, eventually via abstract interpretation.
-
abstract-interpretation Public
Experiments in abstracting definitional interpreters
-
prettyprinter Public
Forked from quchen/prettyprinterA modern, extensible and well-documented prettyprinter.
Haskell BSD 2-Clause "Simplified" License UpdatedOct 11, 2017 -
ghc-dump-tree Public
Forked from edsko/ghc-dump-treeDump GHC's abstract syntax trees
Haskell BSD 3-Clause "New" or "Revised" License UpdatedSep 27, 2017 -
haskell-ide Public
Forked from joshvera/ide-haskellHaskell language support for Atom
JavaScript MIT License UpdatedSep 20, 2017 -
cabal-helper Public
Forked from DanielG/cabal-helperSimple interface to some of Cabal's configuration state, used by ghc-mod. CI: https://gitlab.com/dxld/cabal-helper/pipelines
Haskell GNU Affero General Public License v3.0 UpdatedAug 20, 2017 -
-
brittany Public
Forked from lspitzner/brittanyhaskell source code formatter
Haskell GNU Affero General Public License v3.0 UpdatedAug 19, 2017 -
cabal-dependency-licenses Public
Forked from jaspervdj/cabal-dependency-licensesCompose a list of a project's transitive dependencies with their licenses
Haskell Other UpdatedAug 10, 2017 -
cabal Public
Forked from haskell/cabalOfficial upstream development repository for Cabal and cabal-install
Haskell Other UpdatedAug 7, 2017 -
proficiency Public
Haskell profile visualization tools.
-
hp2any Public
Forked from cobbpg/hp2anyHaskell space profiling toolset
Haskell UpdatedJun 19, 2017 -
ghc-events-parallel Public
Forked from jberthold/ghc-events-parallelDrop-in replacement for ghc-events, enabling eventlogs for the parallel Haskell runtime
Haskell Other UpdatedJun 19, 2017 -
ui-effects Public
An experiment towards a UI programming model inspired by algebraic effects.
-
hspec-expectations-pretty-diff Public
Forked from rewinfrey/hspec-expectations-pretty-diffCatchy combinators for HUnit +++ colored pretty-printed diffs
Haskell MIT License UpdatedMay 11, 2017