Taneb

aoc2018

Solutions to Advent of Code 2018

advent-of-code

Solutions to the 2017 advent of code

failt

Monad transformer for MonadFail instance

mlp

Toy neural network library

texteditor

aoc2019

My solutions from Advent of Code 2019

arithmoi

arithmoi is currently maintained here

assoc

swap and assoc: Symmetric and Semigroupy Bifunctors

cborg

Binary serialisation in the CBOR format

clash-compiler

CAES Language for Synchronous Hardware

core

Elm's core libraries

generics-sop

Generic Programming using True Sums of Products

ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list (ghc-devs@haskell.org). First time contributors are encouraged to get started by just sending a Pull Request.

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

ghc-typelits-extra

Extra type-level operations on GHC.TypeLits.Nat and a custom solver

guanxi

Relational programming in Haskell. Mostly developed on twitch.

hail

A service for pull-based continuous deployment based on hydra.

metamath

Mirror of metamath program http://us.metamath.org

nix

Nix, the purely functional package manager

nix-overlays

My personal nix overlays

nixops

NixOps, the NixOS-based cloud deployment tool

ofborg

@grahamcofborg tooling automation https://monitoring.nix.ci/dashboard/db/ofborg

onnx

Open Neural Network Exchange

onnxruntime

ONNX Runtime: cross-platform, high performance scoring engine for ML models

perhaps

A monad, perhaps.

proto-lens

API for protocol buffers using modern Haskell language and library patterns.

rust-numpy

Rust binding of NumPy C-API

servant-blaze

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

suma

SAT solver I'm writing