adept Goto Github PK

attic

Deduplicating backup program

borg

Deduplicating archiver with compression and authenticated encryption.

briskett

A delicious Tezos wallet interface for Trezor.

c10k

Network server library to handle over 10,000 connections in Haskell

cubicaltt

Experimental implementation of Cubical Type Theory

docker-subsync

docker version of https://github.com/sc0ty/subsync

dotgen

A simple interface for building .dot graph files.

flow2dot

Tool to generate nice sequence (flow) diagrams from textual descriptions, written in Haskell.

full-fledged-hledger

Tutorial on Hledger setup with multi-year files, multi-source imports and a range of auto-generated reports

gmvault

gmail backup software

gph2020

gph2023

Code written during GPH 2023

graphtype

Graphing dependencies between Haskell types

greg

A scalable distributed logger with a high-precision global time axis

hagll

GLL Parsing as Haskell parsing combinators

haskell-decimal

haskell-mpi

MPI bindings for Haskell

helm

Emacs incremental completion and selection narrowing framework

hhgth

Hitchhikers Guide to Haskell

hledger

The hledger command-line and web-based accounting tool, a Haskell rewrite of ledger.

hledger-docker

Docker image for hledger, hledger-web, hledger-ui, hledger-diff, hledger-interest and hledger-iadd

hledger-interest

compute interest for hledger accounts

hledger-roi

Hledger Return-on-investment calucator. Does time-weighted (TWR) and money-weighted (IRR) computations

hledger-sankey

Python3 (pandas, plotly) script to plot income vs expense money flows from hledger ledger

hledger-snippets

Haskell snippets that use hledger-lib

hledger_site

The repo for hledger.org, the hledger project's website.

icfpc2010-futamura-rejection

Futamura Rejection ICFPC-2010 code

icfpc2020

icfpcontest2021.github.io

infinity

MLTT Core with ∞ Extensions