mxxun Goto Github PK

base-noprelude

All of `base` without the `Prelude` module

brittany

haskell source code formatter

coq-drabbles

error-message-index

A community-driven collection of documentation for Haskell error messages and warnings

fluxgui

Better lighting for Linux. Open source GUI for xflux

geniplate

Use TH to generate uniplate-like functions.

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

ghc-source-gen

Library for generating Haskell source files and code fragments.

harmonizer

haskell-language-server

Official haskell ide support via language server (LSP). Successor of ghcide & haskell-ide-engine.

hnix

A Haskell re-implementation of the Nix expression language

klac

KL Agda course

lalambda-2021-coq-freestyle

markdown-custom

nixpkgs

Nix Packages collection

pytudes

redshift

Redshift adjusts the color temperature of your screen according to your surroundings. This may help your eyes hurt less if you are working in front of the screen at night.

sat-and-propagate

seqtrace

Automatically exported from code.google.com/p/seqtrace

smol-haskell

tidal-env

vector

An efficient implementation of Int-indexed arrays (both mutable and immutable), with a powerful loop optimisation framework .

vscode-markdown-notes

Install from: https://ark.dance/md-notes

xgboost

Scalable, Portable and Distributed Gradient Boosting (GBDT, GBRT or GBM) Library, for Python, R, Java, Scala, C++ and more. Runs on single machine, Hadoop, Spark, Flink and DataFlow

xgboost-ai.github.io

xgboost website

yellowpaper

The "Yellow Paper": Ethereum's formal specification