Pinned Repositories
ghc
Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with the newcomers info (https://gitlab.haskell.org/ghc/ghc/wikis/contributing).
singletons
Fake dependent types in Haskell using singletons
caps
Monadic capabilities with late binding
ether
Monad Transformers and Classes
kalium
Translate Pascal into Haskell
mirea-haskell-lectures
Код по Haskell-лекциям в МИРЭА
sdam
Source Data Model
slay
Source Layouting Engine
source
Source Code Editor
union
Extensible type-safe unions for Haskell
int-index's Repositories
int-index/ether
Monad Transformers and Classes
int-index/mirea-haskell-lectures
Код по Haskell-лекциям в МИРЭА
int-index/eff
int-index/haslex-guard
int-index/hectic
Haskell Exercise Collection
int-index/ihdf
int-index/inj
A class for injective (one-to-one) functions
int-index/jschema
int-index/ntype
int-index/num-non-negative
Non-negative numbers
int-index/transformers-lift
Ad-hoc type classes for lifting transformers operations
int-index/unwrapped-functors
Unwrapping sums/products lifted to functors
int-index/binary
Efficient, pure binary serialisation using ByteStrings in Haskell.
int-index/capability
Extensional capabilities and deriving combinators
int-index/cardanodocs.com
Cardano Settlement Layer Documentation
int-index/cryptonite
lowlevel set of cryptographic primitives for haskell
int-index/dependent-sum
Dependent sums and supporting typeclasses for comparing and displaying them
int-index/megaparsec
Industrial-strength monadic parser combinator library
int-index/parser-combinators
Lightweight package providing commonly useful parser combinators
int-index/purescript
A small strongly typed language that compiles to Javascript
int-index/rio
A standard library for Haskell
int-index/safe-exceptions
Safe, consistent, and easy exception handling
int-index/singletons
The repo for the singletons Haskell library
int-index/spacemacs-coq
A very simple coq layer for spacemacs
int-index/stackage
"Stable Hackage," tools for creating a vetted set of packages from Hackage.
int-index/tdesktop
Telegram Desktop messaging app
int-index/trackit
A command-line tool for live monitoring
int-index/writer-cps-mtl
Stricter drop in replacements for WriterT and RWST
int-index/writer-cps-transformers
Stricter drop in replacements for WriterT and RWST
int-index/zurihac-2017-website