Ignat Insarov's repositories

xgrep

Cut through your XML with CSS selectors!

Language:HaskellLicense:ISCStargazers:3Issues:3Issues:1
Language:AgdaStargazers:0Issues:1Issues:0

arithmetics

An exercise in arithmetics.

Language:HaskellStargazers:0Issues:1Issues:0

bespoke

I shall guess the types of columns in your CSV file and output Haskell code tailored to work with it.

Language:HaskellStargazers:0Issues:1Issues:0
Language:JavaScriptStargazers:0Issues:1Issues:0

fancy

A predule for Fancy Haskell.

Language:HaskellStargazers:0Issues:1Issues:0
Language:HaskellStargazers:0Issues:2Issues:0

fourmolu

A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

frp-zoo

Comparing many FRP implementations by reimplementing the same toy app in each.

Language:HaskellStargazers:0Issues:0Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:0Issues:1Issues:0

ghci-pretty

tiny hack for colored pretty-printing within ghci

Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

Graphalyze

Graph-Theoretic Analysis library

Language:HaskellLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0
Language:AgdaStargazers:0Issues:2Issues:0

learning-temporal-logic

Here be exercises from «Specifying Systems», «Practical TLA+», and attemts at my own algorithm ideas.

Language:TLAStargazers:0Issues:1Issues:0

llvm-hs

Haskell bindings for LLVM

Language:LLVMStargazers:0Issues:0Issues:0

music-suite

Music in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:1Issues:0

pixels

Trying stuff with SDL.

Language:HaskellStargazers:0Issues:1Issues:0

purescript-fancy-overlap

Fancy overlapping instances in PureScript.

Language:PureScriptStargazers:0Issues:1Issues:0

purescript-pux

A PureScript interface to React.

License:NOASSERTIONStargazers:0Issues:0Issues:0

release

Generate a GitHub workflow that automatically makes releases for your Haskell project.

Language:ShellStargazers:0Issues:1Issues:1

rubik

Solving the Rubik cube.

Language:HaskellStargazers:0Issues:1Issues:0

selectors

CSS selector axes for XML DOM in Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:2Issues:0

SourceGraph

Static code analysis using graph-theoretic techniques

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0

text

Haskell library for space- and time-efficient operations over Unicode text.

License:BSD-2-ClauseStargazers:0Issues:0Issues:0

text-display

A Typeclass for user-facing output

Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

tiny-games-hs

Rules for & examples of tiny haskell games

Language:HaskellStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:0Issues:0

trickle

trickle — a handheld BitTorrent tracker diagnostic tool

Language:HaskellStargazers:0Issues:0Issues:0

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0