Discover @phadej Open Source projects

Oleg Grenrus (@phadej)

phadej

Stars
1,713
Global Rank 17,311 (Top 0.7 %)
Followers 577
Registered about 15 years ago
Most used languages

Haskell
76.2 %

JavaScript
11.2 %

C
4.2 %

Agda 2.1 %

HTML
1.4 %

Dockerfile
1.4 %

Makefile 1.4 %

Others 2.1 %
Location 🇫🇮 Finland
Country Total Rank 102
Country Ranking

Agda 1

Coq 1

Haskell
1

JetBrains MPS 1

Dockerfile
7

Makefile 14

C
28

JavaScript
62

Shell
140

HTML
365

igbinary

Igbinary is a drop in replacement for the standard php serializer. Check https://github.com/igbinary/igbinary for the freshest version

optika

Optics library for JavaScript

cabal-fmt

An experiment of formatting .cabal files

typify

Runtime type checking for JavaScript

relaxed-json

Relaxed JSON is strict superset JSON, relaxing strictness of vanilla JSON

cabal-extras

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

write-yourself-a-typed-functional-language

Write yourself a typed functional language

menrva

Ambitious data-flow library

kleene

Kleene algebra, regular expressions

docker-haskell-example

How to build Docker image for Haskell web app?

tdigest

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

overloaded

Overloaded plugin

idioms-plugins

Hack idiom-brackets using GHC Source Plugin (8.6+)

vec

git-badc0de

Make git commits with pretty hashes

topograph

Directed Acyclic Graphs

graafi

cycle.js expirement

latex-svg

Render LaTeX math to SVG mages

acme-kmett

A collection of Edward Kmett's packages in a single repository

staged

Staged Streams and other stuff

boring

Boring and Absurd types

trampa

Trampolines, to emulate tail-recursion.

bound-extras

ScopeT and ScopeH

kleene-type

Regular expressions of types

trustee

Hackage Trustee helper tool

heroku-docker-haskell-test

Heroku + docker + haskell = ?

preload-trick

"Preload" Haskell packages to override them

language-pts

Pure Type Systems

docker-ghc

GHC + Cabal docker image

aws-lambda-haskell-runtime

Build AWS Lambda's with Haskell

hooglite

Alternative and lite implementation of Hoogle

insert-ordered-containers

Associative containers retating insertion order for traversals

saison

Stream Aeson, fruity, spicy, well carbonated.

typify-parser

Type signature parser for typify

gists

ljs

Generate docs from your source

lens-laws

Existential Optics: discovering correct lens laws

zinza

Typed templates with jinja like syntax. Docs on Hackage.

cabal-refact

Refactoring tool for .cabal files

jsstana

s-expression match patterns for Mozilla Parser AST

npm-freeze

Freeze the node dependencies

generic-lens-lite

Lite version of generic-lens

file-embed-lzma

Use Template Haskell to embed (LZMA compressed) data.

aeson-optics

Law-abiding optics for aeson

base64-bytestring-type

A newtype around ByteString, for base64 encoding.

singleton-bool

Type level booleans

vec-backpack

travis-meta-yaml

.travis.yml preprocessor

minicsv

Very minimal csv library

sasha

A staged lexer generator

docker-stackage

Docker image with stackage config

lazy-seq

Lazy sequence for JavaScript

regression-simple

Simple linear and quadratic regression

JuicyPixels-scale-dct

Scale JuicyPixels images with DCT

rc4

RC4 random number generator

binary-tagged

Tagged binary serialisation

ncill

Agda mechanization of cut elimination in Non-Commutative Intuitionistic Linear Logic

dlist-nonempty

Non-empty difference lists

spdx

SPDX license expression language - Haskell implementation

range-set-list

Memory efficient sets with continuous ranges of elements. List based implementation.

rere

recursive regular expressions

haskell-monad-http

A MonadHTTP type class

minicurl

Minimal bindings to libcurl

servant-tiny

A tiny servant version, to learn and experiment

libperf

Bindings to Linux perf_event_open functionality

time-parsers

Date & time parsers

sa

Simulated annealing

aeson-compat

Compatibility package for aeson

aeson-extra

Extra goodies for aeson

hkd

"higher-kinded data"

regex-applicative-text

regex-applicative on text

staged-gg

Staged GHC.Generics

generics-sop-lens

Lenses for types in generics-sop

dec

Decidable propositions

cabal-env

What cabal-install install --lib could be DEVELOPMENT MOVE TO https://github.com/phadej/cabal-extras

mixfix

Mixfix espression parser

nucpp

NuCPP is non-standard not-C preprocessor

servant-universe

Megarepository for most servant packages

changelog-d

Changelog from the directory of entries

representable-fd

Representable functors with FunctionalDependencies

end

Evolving non-determinism

unsatisfiable

Unsatisfiable type-class

ansi-pretty

AnsiPretty type-class for ansi-wl-pprint

ghcjs-ubuntu

Packaging GHCJS for Ubuntu

th-letrec

Implicit (recursive) let insertion

crypt-sha512

Pure Haskell implelementation for GNU SHA512 crypt algorithm

gentle-introduction

This is not a prelude, this is gentle introduction

servant-blaze

http://hackage.haskell.org/package/servant-blaze

helhug-types

Presentation hold at Helsinki Haskell User Group, 2015-03-04

symbolic

Symbolic Floating

agda-np

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

postgresql-simple-url

Heroku helpers for pulmurice server

servant-record

Servant API from a record

transformers-quantified

How much stuff breaks?

boolean-normal-forms

Boolean normal forms: NNF, DNF & CNF

metametapost

A Haskell EDSL to write MetaPost programs

step-function

Step functions, staircase functions or piecewise constant functions.

servant-cassava

Servant CSV content-type for cassava

stackage-extras

Currently: packdeps for everything on Stackage

acme-operators

Operators of Haskell, all in one place!