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/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/FishFight
Fish Fight is a tactical 2D shooter. Made with Rust-lang and Macroquad 🦀🌶
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/kindaro.github.io
Clouds.
kindaro/lean_study
kindaro/music-suite
Music in Haskell
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/recursion
A study in recursion schemes.
kindaro/sequence-intersperse
kindaro/simple-sql-parser
SQL parser in Haskell
kindaro/smallcheck-series
Orphan Series/CoSeries instances for common types
kindaro/snakes
kindaro/vulkan-notes