Pinned Repositories
cabal-prettify
hpack-convert
hpack-convert: Convert Cabal manifests into hpack's package.yamls
import-test
Check if importing integerValue13 from Lib actually works.
integerValue13
A haskell module Lib that exports integer value 13.
io-mem
Exploring memory, IO, evaluation and execution.
primes-type
Type-safe prime numbers.
spd-test
Check if System.Plugins.DynamicLoader actually works.
sph-test
Check if System.Plugins.Hotswap actually works.
spl-test
Check if System.Plugins.Load.load actually works.
xgrep
Cut through your XML with CSS selectors!
kindaro's Repositories
kindaro/cabal-prettify
kindaro/xgrep
Cut through your XML with CSS selectors!
kindaro/SourceGraph
Static code analysis using graph-theoretic techniques
kindaro/agda-nice-base
kindaro/arithmetics
An exercise in arithmetics.
kindaro/bespoke
I shall guess the types of columns in your CSV file and output Haskell code tailored to work with it.
kindaro/blockchain-examples
kindaro/description-lists
Description Lists for Obsidian
kindaro/fancy
A predule for Fancy Haskell.
kindaro/finance
kindaro/fourmolu
A fourk of ormolu that uses four space indentation and allows arbitrary configuration. Don't like it? PRs welcome!
kindaro/frp-zoo
Comparing many FRP implementations by reimplementing the same toy app in each.
kindaro/ghc-proposals
Proposed compiler and language changes for GHC and GHC/Haskell
kindaro/ghci-pretty
tiny hack for colored pretty-printing within ghci
kindaro/Graphalyze
Graph-Theoretic Analysis library
kindaro/learning-agda
kindaro/learning-temporal-logic
Here be exercises from «Specifying Systems», «Practical TLA+», and attemts at my own algorithm ideas.
kindaro/llvm-hs
Haskell bindings for LLVM
kindaro/pixels
Trying stuff with SDL.
kindaro/purescript-fancy-overlap
Fancy overlapping instances in PureScript.
kindaro/purescript-pux
A PureScript interface to React.
kindaro/release
Generate a GitHub workflow that automatically makes releases for your Haskell project.
kindaro/rubik
Solving the Rubik cube.
kindaro/selectors
CSS selector axes for XML DOM in Haskell
kindaro/text
Haskell library for space- and time-efficient operations over Unicode text.
kindaro/text-display
A Typeclass for user-facing output
kindaro/tiny-games-hs
Rules for & examples of tiny haskell games
kindaro/tongues
kindaro/trickle
trickle — a handheld BitTorrent tracker diagnostic tool
kindaro/vector
An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .