jrp2014 Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

ale

Check syntax in Vim asynchronously and fix files, with Language Server Protocol (LSP) support

aoc2018

Advent of Code 2018, in Haskell

aoc2019

Advent of Code 2019

aoc2020

aoc2020-1

My solutions for the AOC

aoc2020-2

Haskell Solutions to Advent of Code 2020

aoc2021

Advent of Code 2021 in Haskell

aoc2022

aoc2023

Advent of Code 2023 in Haskell

applicativeex

An exercise in Traversable / Applicative functors from Conor McBride

arrows

Code for Bartosz Milewski - Arrows are strong profunctors

bf

Experiments with implementing the BrainFuck language in Haskell

bird

Pearls of Functional Algorithm Design

cofun

Cofun with Cofree Comonads

concat

Constrained categories

convolution

Experiments in convolution in haskell

dotfiles

Various config files for setting up a Haskell development environment

fasta

Local Sequence Alignment Against a Database Problem

fib

Performance Benchmark of top Github languages

fptest

IEEE754 floating point conformance testing in Haskell

ftree

Depth-typed functor-based trees, both top-down and bottom-up

generic-fft

FFTs for functor combinators

generic-traverse

Demonstration for how to build "traverse" using GHC.Generics efficiently

git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

grenade

Deep Learning in Haskell

grids

Arbitrary dimension type-safe grids

guanxi

Playing around with minikanrenish thoughts

haskell

Exercism exercises in Haskell.

haskell-ide-engine

The engine for haskell ide-integration. Not an IDE