Ignat Insarov's repositories
arithmetics
An exercise in arithmetics.
fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
frp-zoo
Comparing many FRP implementations by reimplementing the same toy app in each.
ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
ghci-pretty
tiny hack for colored pretty-printing within ghci
Graphalyze
Graph-Theoretic Analysis library
learning-temporal-logic
Here be exercises from «Specifying Systems», «Practical TLA+», and attemts at my own algorithm ideas.
llvm-hs
Haskell bindings for LLVM
music-suite
Music in Haskell
purescript-fancy-overlap
Fancy overlapping instances in PureScript.
purescript-pux
A PureScript interface to React.
SourceGraph
Static code analysis using graph-theoretic techniques
text
Haskell library for space- and time-efficient operations over Unicode text.
text-display
A Typeclass for user-facing output
tiny-games-hs
Rules for & examples of tiny haskell games
trickle
trickle — a handheld BitTorrent tracker diagnostic tool
vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .