Giters
Oleg Grenrus (phadej)

phadej

Geek Repo

579

followers

0

following

155

stars

Company:Well-Typed LLP

Location:Helsinki, Finland

Home Page:https://oleg.fi/

Github PK Tool:Github PK Tool

Organizations
baconjs
haskell-infra
haskhel
igbinary
jsverify
osakunta

Oleg Grenrus's repositories

cabal-fmt

An experiment of formatting .cabal files

Language:HaskellLicense:GPL-3.0Stargazers:104Issues:7Issues:28

cabal-extras

A tool suite to aid Haskell development using `cabal-install`

Language:HaskellStargazers:79Issues:6Issues:50

tdigest

On-line accumulation of rank-based statistics such as quantiles and trimmed means

Language:HaskellStargazers:30Issues:3Issues:9

topograph

Directed Acyclic Graphs

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

latex-svg

Render LaTeX math to SVG mages

Language:HaskellLicense:BSD-3-ClauseStargazers:16Issues:2Issues:5

trustee

Hackage Trustee helper tool

Language:HaskellLicense:GPL-3.0Stargazers:13Issues:6Issues:8

hooglite

Alternative and lite implementation of Hoogle

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

gists

Oleg's gists

Language:JetBrains MPSLicense:BSD-3-ClauseStargazers:9Issues:3Issues:0

zinza

Typed templates with jinja like syntax. Docs on Hackage.

Language:HaskellLicense:GPL-2.0Stargazers:9Issues:3Issues:6

aeson-optics

Law-abiding optics for aeson

Language:HaskellLicense:MITStargazers:7Issues:3Issues:1

base64-bytestring-type

A newtype around ByteString, for base64 encoding.

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

defun

Defunctionalization helpers

Language:HaskellLicense:NOASSERTIONStargazers:5Issues:2Issues:1

JuicyPixels-scale-dct

Scale JuicyPixels images with DCT

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:2Issues:4

aeson-extra

Extra goodies for aeson

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

rere

recursive regular expressions

Language:HaskellLicense:BSD-3-ClauseStargazers:4Issues:2Issues:9

time-parsers

Date & time parsers

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

cabal-solver-sat

cabal-install solver using sat-simple

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

debruijn

de Bruijn indices and levels for well-scoped terms

Language:HaskellStargazers:3Issues:0Issues:0

gentle-introduction

This is not a prelude, this is gentle introduction

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

th-letrec

Implicit (recursive) let insertion

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

agda-np

More programming suited version of All and Any, and other tools I keep reimplementing.

Language:AgdaStargazers:2Issues:1Issues:0

codet

CodeT

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

constraints

Tools for programming with ConstraintKinds in GHC

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

crc32c

Haskell bindings for crc32c

License:BSD-3-ClauseStargazers:0Issues:0Issues:0

generics-sop

Generic Programming using True Sums of Products

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

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Stargazers:0Issues:2Issues:0

phadej-universe

Some of my packages in a monorepository

Language:MakefileStargazers:0Issues:2Issues:2

prettyprinter

A modern, extensible and well-documented prettyprinter.

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

sat-simple

Higher-level Haskell interface to minisat

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

version-sat

SAT with support for VersionRange

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