konn Goto Github PK

.emacs.d

.emacs.d

accelerate-neural-net

Experimenting around Accelerate to implement Neural Networks

ad

Automatic Differentiation

ad-delcont-primop

aeson

A fast Haskell JSON library

agda

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

algebra

constructive abstract algebra

algebra-extras

Implementation of Algorithms described in "Modern Computer Algebra"

amazon-scraper

arithmoi

arithmoi is currently maintained here

atom-latex-shape-completion

YaTeX-like latex completion for Atom

attojson

ByteString based lightweight JSON Parser

authenticate

Authentication methods for Haskell web applications.

backpack-conditional-demo

backpack-seq

Backpack libraries for sequential data-types

backpack-typenats

Typenaturals and backpack in haskell

backprop

Heterogeneous automatic differentiation ("backpropagation") in Haskell

biblatex-math

AMS-like styles for BibLaTeX

bijutsukan

bottlestory

A Simple Relay Novel Writing System

bound

Combinators for manipulating locally-nameless generalized de Bruijn terms

brittany-vscode-extension

VSCode formatting extension for the brittany Haskell code formatter

cabal-dev

A wrapper program around cabal and cabal-install that maintains sandboxed build environments.

cabal-plan

Library and utility for processing cabal's plan.json file

cabal-scaffold

Scaffolding Tool for Cabal-based project with Stackage Snapshots

cabal2ghci

A tool to automatically generate `.ghci` and `.stylish-haskell.yaml` file from `cabal` file.

category-agda

Category Theory in Agda

catex

YaTeX-like completions for LaTeX in VSCode

cdcl-sat-solvers-slides

checkerz

High-level interface to write GHC's type-checker plugin compatible with multiple version of GHC