Mikolaj Konarski's repositories

horde-ad

Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically efficient, higher-order reverse-mode automatic differentiation"

Language:HaskellLicense:BSD-3-ClauseStargazers:22Issues:8Issues:83

enummapset

IntMap and IntSet with Enum keys/elements.

Language:HaskellLicense:BSD-3-ClauseStargazers:11Issues:3Issues:10

miniutter

simple English clause creation from arbitrary words in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:3Issues:6

funktory.com

The website of my Funktory start-up

Language:HTMLStargazers:3Issues:3Issues:0

assert-failure

syntactic sugar that improves the usability of 'assert' and 'error' in Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:2Issues:3Issues:0

mydotflies

my old trusty .emacs, .bashrc, etc.

Language:Emacs LispStargazers:2Issues:3Issues:0

ghc-tcplugins-extra

Utilities for writing GHC type-checker plugins

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:1Issues:0

ghcup-metadata

GHCup metadata repository

Language:HaskellStargazers:1Issues:1Issues:0

haskell-mode

Emacs mode for Haskell

Language:Emacs LispStargazers:1Issues:1Issues:0

minimorph

English spelling functions with an emphasis on simplicity. Originally by https://github.com/kowey.

Language:HaskellLicense:NOASSERTIONStargazers:1Issues:4Issues:1
Language:HaskellLicense:MITStargazers:0Issues:1Issues:0

awesome-ttygames

Unix ASCII games

Language:HTMLStargazers:0Issues:2Issues:0

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:3Issues:0

cabal-website

The http://www.haskell.org/cabal/ website

Language:HTMLStargazers:0Issues:2Issues:0

FAangband

First Age Angband

Language:CStargazers:0Issues:1Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:0Issues:1Issues:0

ghc-typelits-knownnat

Derive KnownNat constraints from other KnownNat constraints

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:1Issues:0

ghc-typelits-natnormalise

Normalise GHC.TypeLits.Nat equations

License:NOASSERTIONStargazers:0Issues:0Issues:0

hackage-security

Hackage security framework based on TUF (The Update Framework)

Language:HaskellStargazers:0Issues:2Issues:0

hmatrix

Linear algebra and numerical computation

Language:HaskellStargazers:0Issues:0Issues:0

inspection-testing

Inspection Testing for Haskell

License:MITStargazers:0Issues:0Issues:0

knossos-ksc

Compiler with automatic differentiation

Language:PythonLicense:NOASSERTIONStargazers:0Issues:2Issues:0

mnist-idx

Read and write data in the IDX format used in e.g. the MNIST database

Language:HaskellLicense:LGPL-3.0Stargazers:0Issues:1Issues:0

mostly-harmless

Seriously, no reason to worry.

Language:HTMLLicense:AGPL-3.0Stargazers:0Issues:7Issues:2
Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

overloaded

Overloaded plugin

Language:HaskellLicense:BSD-3-ClauseStargazers:0Issues:2Issues:0
Language:HaskellLicense:MITStargazers:0Issues:0Issues:0

shine

The Shine compiler for the RISE language

License:MITStargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:1Issues:0

UQM-MegaMod

A fork of The Ur-Quan Masters that remasters the HD mod with a veritable smorgasbord of extra features and options

Language:CLicense:GPL-2.0Stargazers:0Issues:1Issues:0