skyfold Goto Github PK

attic

quick Language that compiles to LLVM

aws_sorter

bfinterpreter

charts

Curated applications for Kubernetes

clay

A CSS preprocessor as embedded Haskell.

codeanalyzer

Automated proof assistant for pseudocode

course

Functional Programming Course

dash-haskell

dash docset builder for Haskell packages and cabal project dependencies

distributed_max

Threads concurrently determine max number among peers

doc-browser-nix

Lets you build doc-browser with Nix

dogeshell

Basic C shell that prints a Doge at startup

easyjson

Haskell JSON parser with good errors

fcf-containers

fcf-containers add tools that can be used with first-class-families

first-class-families

First-class type families

gi-gtk-declarative

Declarative GTK+ programming in Haskell

github.io

gotham

A flexible web framework that promotes stability, safety, security and speed.

haddocset

Generate docset of Dash by Haddock haskell documentation tool

hakyll_blog

Generates https://github.skyfold.io

haskell-hedgehog

Release with confidence, state-of-the-art property testing for Haskell.

haskell-style-guide

A style guide for Haskell code.

haskell-xss-sanitize

prevent XSS attacks by sanitizing html (this is different then escaping!)

hfmt

Format Haskell programs. Inspired by the gofmt utility.

honors-main

My Bachelor's Honor's project: Using Your Data Structure to Generate Your Web API

hs-nix-template

A Haskell project template that can be built with nix and developed by ghcid and cabal-install.

http-client

An HTTP client engine, intended as a base layer for more user-friendly packages.

idris2

A purely functional programming language with first class types

idris2-pkgs

An unofficial Idris2 package repository for Nix

infer

A static analyzer for Java, C and Objective-C

karabinersettings

My private.xml for Karabiner