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/draw-graph
kindaro/adjunctions-and-profunctors
kindaro/benchmarking-sieves
kindaro/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
kindaro/classify-benchmark
kindaro/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
kindaro/coq-nice-base
kindaro/cute-interpolation
kindaro/DigitalPlumber.hs
Forked from https://gist.github.com/IronGremlin/0d915285603b66d027da3b6babc7d9b6
kindaro/dotfiles
kindaro/exports-and-internal-libraries
Are explicit exports necessary if dangerous definitions are only found in named libraries?
kindaro/fold
kindaro/GladTeX
embed LaTeX formulas into LaTeX
kindaro/glfw
Exercises in Vulkan and C.
kindaro/heterocephalus
A type safe template engine for collaborating with front end development tools
kindaro/hode
rslt, take five-ish
kindaro/interval-functor
General purpose intervals of functors.
kindaro/io-streams
Simple, composable, and easy-to-use stream I/O for Haskell
kindaro/kindaro.github.io
Clouds.
kindaro/not-too-extensible-records
kindaro/notes
kindaro/paths-in-cube
Enumerate the paths that visit every node in a discrete cube.
kindaro/prisma
kindaro/sequence-intersperse
kindaro/simple-sql-parser
SQL parser in Haskell
kindaro/smallcheck-series
Orphan Series/CoSeries instances for common types
kindaro/snakes
kindaro/snap
Top-level package for the official Snap Framework libraries, includes the snaplets API as well as infrastructure for sessions, auth, and templates.
kindaro/snaplet-postgresql-simple
kindaro/vulkan-notes