kindaro Goto Github PK

abstract-parser

adjunctions-and-profunctors

agda-nice-base

algebra

Evaluating things.

aria2c-reset

Restart aria2c when download speed falls below set threshold.

arithmetics

An exercise in arithmetics.

ats-vim

Vim plugin for ATS

benchmarking-sieves

bespoke

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

blockchain-examples

board

Navigating a two-dimensional surface in 3-d space.

boxes

A pretty-printing library for laying out text in two dimensions, using a simple box model.

braval

Do your parentheses match?

bum-guard

Search vk communitites.

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

cabal

Official upstream development repository for Cabal and cabal-install

cabal-prettify

circuitry

the missing haskell circuit diagram library

cis194

Exercises from "CIS 194: Introduction to Haskell".

class-instance-overlap

Construct a class and some instances that match upon Ingeger but not Maybe Integer.

classify-benchmark

codebreaker

This puzzle is also known as Mastermind.

coexistence

compute-root

An attempt at approaching roots of equations defined as haskell functions.

continuations

Explorations of continuation passing in Haskell and JavaScript.

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.

coq-nice-base

coqide.vim

CoqIDE in Vim

criterion

A powerful but simple library for measuring the performance of Haskell code.

criterion-wut

Exploring `criterion` issues.