phadej/integer-conversion

Effecient conversion from text to Integer

Language: Haskell - Size: 23.4 KB - Last synced: about 17 hours ago - Pushed: 2 days ago - Stars: 5 - Forks: 0

phadej/trustee

Hackage Trustee helper tool

Language: Haskell - Size: 228 KB - Last synced: 2 days ago - Pushed: 3 days ago - Stars: 13 - Forks: 3

phadej/cabal-solver-sat

cabal-install solver using sat-simple

Language: Haskell - Size: 106 KB - Last synced: 10 days ago - Pushed: 10 days ago - Stars: 3 - Forks: 0

phadej/aeson-optics

Law-abiding optics for aeson

Language: Haskell - Size: 54.7 KB - Last synced: 12 days ago - Pushed: 13 days ago - Stars: 7 - Forks: 0

phadej/constraints Fork of ekmett/constraints

Tools for programming with ConstraintKinds in GHC

Language: Haskell - Size: 188 KB - Last synced: 16 days ago - Pushed: 16 days ago - Stars: 0 - Forks: 0

phadej/cabal-fmt

An experiment of formatting .cabal files

Language: Haskell - Size: 179 KB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 104 - Forks: 22

phadej/prettyprinter Fork of quchen/prettyprinter

A modern, extensible and well-documented prettyprinter.

Language: Haskell - Size: 624 KB - Last synced: 18 days ago - Pushed: 18 days ago - Stars: 0 - Forks: 0

phadej/crc32c Fork of leptonyu/crc32c

Haskell bindings for crc32c

Size: 63.5 KB - Last synced: 18 days ago - Pushed: 19 days ago - Stars: 0 - Forks: 0

phadej/spdx

SPDX license expression language - Haskell implementation

Language: Haskell - Size: 216 KB - Last synced: 19 days ago - Pushed: 6 months ago - Stars: 5 - Forks: 6

phadej/boring

Boring and Absurd types

Language: Haskell - Size: 64.5 KB - Last synced: 19 days ago - Pushed: 7 months ago - Stars: 15 - Forks: 6

phadej/file-embed-lzma

Use Template Haskell to embed (LZMA compressed) data.

Language: Haskell - Size: 38.1 KB - Last synced: 19 days ago - Pushed: 7 months ago - Stars: 7 - Forks: 0

phadej/cabal-extras

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

Language: Haskell - Size: 4.54 MB - Last synced: 24 days ago - Pushed: 24 days ago - Stars: 78 - Forks: 18

phadej/ghc-proposals Fork of ghc-proposals/ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Size: 2.69 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 0 - Forks: 1

phadej/relaxed-json

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

Language: JavaScript - Size: 1.27 MB - Last synced: 25 days ago - Pushed: about 5 years ago - Stars: 76 - Forks: 7

phadej/debruijn

de Bruijn indices and levels for well-scoped terms

Language: Haskell - Size: 38.1 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 0

phadej/typify

Runtime type checking for JavaScript

Language: JavaScript - Size: 230 KB - Last synced: 8 days ago - Pushed: about 5 years ago - Stars: 76 - Forks: 7

phadej/kleene

Kleene algebra, regular expressions

Language: Haskell - Size: 119 KB - Last synced: 19 days ago - Pushed: 6 months ago - Stars: 32 - Forks: 1

phadej/codet

CodeT

Language: Haskell - Size: 23.4 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 1 - Forks: 0

phadej/latex-svg

Render LaTeX math to SVG mages

Language: Haskell - Size: 69.3 KB - Last synced: 5 months ago - Pushed: over 3 years ago - Stars: 16 - Forks: 4

phadej/defun

Defunctionalization helpers

Language: Haskell - Size: 35.2 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 3 - Forks: 0

phadej/sasha

A staged lexer generator

Language: Haskell - Size: 37.1 KB - Last synced: 29 days ago - Pushed: 12 months ago - Stars: 8 - Forks: 0

phadej/confusing

Fuse VL lens and traversals

Language: Haskell - Size: 15.6 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 1 - Forks: 0

phadej/character-ps

Pattern synonyms for ASCII characters for Word8, Word16 etc

Language: Haskell - Size: 11.7 KB - Last synced: 20 days ago - Pushed: 7 months ago - Stars: 2 - Forks: 0

phadej/optika

Optics library for JavaScript

Language: JavaScript - Size: 67.4 KB - Last synced: 7 months ago - Pushed: over 5 years ago - Stars: 142 - Forks: 9

phadej/version-sat

SAT with support for VersionRange

Language: Haskell - Size: 34.2 KB - Last synced: 13 days ago - Pushed: 14 days ago - Stars: 0 - Forks: 0

phadej/sat-simple

Higher-level Haskell interface to minisat

Language: Haskell - Size: 19.5 KB - Last synced: 15 days ago - Pushed: 16 days ago - Stars: 0 - Forks: 0

phadej/skew-list

Random Access List: Skewed Binary

Language: Haskell - Size: 26.4 KB - Last synced: 2 months ago - Pushed: 6 months ago - Stars: 1 - Forks: 0

phadej/dlist-nonempty

Non-empty difference lists

Language: Haskell - Size: 63.5 KB - Last synced: 19 days ago - Pushed: 7 months ago - Stars: 4 - Forks: 1

phadej/aws-lambda-haskell-runtime

Build AWS Lambda's with Haskell

Language: Haskell - Size: 25.4 KB - Last synced: 24 days ago - Pushed: over 1 year ago - Stars: 11 - Forks: 3

phadej/igbinary

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

Language: C - Size: 683 KB - Last synced: 6 months ago - Pushed: over 9 years ago - Stars: 258 - Forks: 89

phadej/regex-tdfa Fork of haskell-hvr/regex-tdfa

Pure Haskell Tagged DFA Backend for "Text.Regex" (regex-base)

Size: 1.35 MB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 0 - Forks: 0

phadej/acme-cadadr

car, cdr, cadr, caddr etc.

Language: Haskell - Size: 5.86 KB - Last synced: 11 months ago - Pushed: 11 months ago - Stars: 1 - Forks: 0

phadej/word8set

Word8 set

Language: Haskell - Size: 12.7 KB - Last synced: 2 months ago - Pushed: 12 months ago - Stars: 1 - Forks: 0

phadej/tdigest

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

Language: Haskell - Size: 375 KB - Last synced: about 2 months ago - Pushed: 6 months ago - Stars: 30 - Forks: 7

phadej/regression-simple

Simple linear and quadratic regression

Language: Haskell - Size: 48.8 KB - Last synced: 24 days ago - Pushed: 6 months ago - Stars: 6 - Forks: 0

phadej/monad-time Fork of scrive/monad-time

MonadTime type class

Language: Haskell - Size: 1.95 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 0 - Forks: 0

phadej/uhc Fork of UU-ComputerScience/uhc

Language: Haskell - Size: 61.9 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

phadej/monoid-subclasses Fork of blamario/monoid-subclasses

Subclasses of Monoid with a solid thoretical foundation and practical purposes

Language: Haskell - Size: 117 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

phadej/overloaded

Overloaded plugin

Language: Haskell - Size: 255 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 28 - Forks: 3

phadej/transformers-compat Fork of ekmett/transformers-compat

transformers compatibility shim

Language: Haskell - Size: 180 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

phadej/lens Fork of ekmett/lens

Lenses, Folds, and Traversals - Join us on freenode #haskell-lens

Language: Haskell - Size: 27 MB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

phadej/bifunctors Fork of ekmett/bifunctors

Haskell 98 bifunctors, bifoldables and bitraversables

Language: Haskell - Size: 513 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 0 - Forks: 0

phadej/acme-kmett

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

Language: Makefile - Size: 149 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 15 - Forks: 0

phadej/semigroupoids Fork of ekmett/semigroupoids

Language: Haskell - Size: 456 KB - Last synced: about 1 year ago - Pushed: about 1 year ago - Stars: 1 - Forks: 0

phadej/topograph

Directed Acyclic Graphs

Language: Haskell - Size: 69.3 KB - Last synced: 17 days ago - Pushed: 6 months ago - Stars: 20 - Forks: 2

phadej/npm-freeze

Freeze the node dependencies

Language: JavaScript - Size: 345 KB - Last synced: 4 days ago - Pushed: almost 4 years ago - Stars: 8 - Forks: 0

phadej/vec

Nat, Fin, Vec

Language: Haskell - Size: 1.18 MB - Last synced: 15 days ago - Pushed: 7 months ago - Stars: 23 - Forks: 10

phadej/kleene-type

Regular expressions of types

Language: Haskell - Size: 26.4 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 13 - Forks: 0

phadej/docker-haskell-example

How to build Docker image for Haskell web app?

Language: Dockerfile - Size: 10.7 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 29 - Forks: 2

phadej/staged

Staged Streams and other stuff

Language: Haskell - Size: 271 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 14 - Forks: 1

phadej/minicsv

Very minimal csv library

Language: Haskell - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 6 - Forks: 0

phadej/libperf

Bindings to Linux perf_event_open functionality

Language: Haskell - Size: 54.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 4 - Forks: 0

phadej/minicurl

Minimal bindings to libcurl

Language: Haskell - Size: 6.84 KB - Last synced: about 22 hours ago - Pushed: over 1 year ago - Stars: 4 - Forks: 0

phadej/hooglite

Alternative and lite implementation of Hoogle

Language: Haskell - Size: 401 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 11 - Forks: 0

phadej/nucpp

NuCPP is non-standard not-C preprocessor

Language: Haskell - Size: 12.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 3 - Forks: 0

phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

Language: Haskell - Size: 1.3 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 65 - Forks: 0

phadej/cabal-env 📦

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

Language: Haskell - Size: 27.3 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 4 - Forks: 0

phadej/ghc-select 📦

Helper to switch hvr-ppa ghc and cabal versions

Language: Haskell - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

phadej/wide-word Fork of erikd/wide-word

A haskell library providing Word128 and Int128 types

Size: 111 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

phadej/cabal-plan Fork of haskell-hvr/cabal-plan

Language: Haskell - Size: 41 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

phadej/agda-np

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

Language: Agda - Size: 3.91 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 2 - Forks: 0

phadej/idioms-plugins

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

Language: Haskell - Size: 8.79 KB - Last synced: about 1 year ago - Pushed: almost 6 years ago - Stars: 24 - Forks: 3

phadej/agda-categories Fork of agda/agda-categories

A new Categories library for Agda

Size: 1.91 MB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

phadej/gists

Oleg's gists

Language: JetBrains MPS - Size: 20.3 MB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 9 - Forks: 1

phadej/rere

recursive regular expressions

Language: Haskell - Size: 98.6 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 4 - Forks: 4

phadej/ghc-symbol

A (slightly unsafe) term level implementation for Symbol

Language: Haskell - Size: 6.84 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

phadej/dec

Decidable propositions

Language: Haskell - Size: 12.7 KB - Last synced: 19 days ago - Pushed: 7 months ago - Stars: 4 - Forks: 3

phadej/generic-lens-lite

Lite version of generic-lens

Language: Haskell - Size: 32.2 KB - Last synced: 13 days ago - Pushed: 6 months ago - Stars: 7 - Forks: 0

phadej/bound-extras

ScopeT and ScopeH

Language: Haskell - Size: 78.1 KB - Last synced: about 2 months ago - Pushed: 7 months ago - Stars: 13 - Forks: 0

phadej/preload-trick

"Preload" Haskell packages to override them

Language: Haskell - Size: 1.18 MB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 12 - Forks: 0

phadej/th-letrec

Implicit (recursive) let insertion

Language: Haskell - Size: 21.5 KB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 3 - Forks: 0

phadej/servant-universe

Megarepository for most servant packages

Language: Makefile - Size: 16.9 MB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 3 - Forks: 1

phadej/ghcjs-ubuntu

Packaging GHCJS for Ubuntu

Language: Haskell - Size: 14.9 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 0

phadej/rc4

RC4 random number generator

Language: JavaScript - Size: 23.4 KB - Last synced: 6 days ago - Pushed: over 4 years ago - Stars: 5 - Forks: 1

phadej/th-compat Fork of haskell-compat/th-compat

Backward- (and forward-)compatible Quote and Code types

Size: 43.9 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

phadej/mixfix

Mixfix espression parser

Language: JavaScript - Size: 355 KB - Last synced: 11 days ago - Pushed: over 9 years ago - Stars: 4 - Forks: 0

phadej/hkd

"higher-kinded data"

Language: Haskell - Size: 52.7 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 4 - Forks: 0

phadej/base64-bytestring-type

A newtype around ByteString, for base64 encoding.

Language: Haskell - Size: 85 KB - Last synced: 19 days ago - Pushed: 6 months ago - Stars: 6 - Forks: 3

phadej/aeson-extra

Extra goodies for aeson

Language: Haskell - Size: 155 KB - Last synced: 19 days ago - Pushed: 6 months ago - Stars: 4 - Forks: 4

phadej/months

Month, YearMonth, Quarter, YearQuarter

Language: Haskell - Size: 40 KB - Last synced: 26 days ago - Pushed: 6 months ago - Stars: 2 - Forks: 0

phadej/lazy-seq

Lazy sequence for JavaScript

Language: JavaScript - Size: 26.4 KB - Last synced: 7 days ago - Pushed: over 4 years ago - Stars: 5 - Forks: 2

phadej/typify-parser

Type signature parser for typify

Language: JavaScript - Size: 5.84 MB - Last synced: about 1 month ago - Pushed: over 4 years ago - Stars: 9 - Forks: 2

phadej/plutus Fork of input-output-hk/plutus

The Plutus language implementation and tools

Size: 120 MB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 0

phadej/range-set-list

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

Language: Haskell - Size: 104 KB - Last synced: 19 days ago - Pushed: 6 months ago - Stars: 5 - Forks: 4

phadej/docker-ghc

GHC + Cabal docker image

Language: Dockerfile - Size: 160 KB - Last synced: 2 months ago - Pushed: over 2 years ago - Stars: 12 - Forks: 6

phadej/staged-gg

Staged GHC.Generics

Language: Haskell - Size: 57.6 KB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 4 - Forks: 1

phadej/tasty-bench Fork of Bodigrim/tasty-bench

Featherlight benchmark framework, drop-in replacement for criterion and gauge.

Size: 179 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

phadej/git-badc0de

Make git commits with pretty hashes

Language: C - Size: 31.3 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 22 - Forks: 0

phadej/JuicyPixels-scale-dct

Scale JuicyPixels images with DCT

Language: Haskell - Size: 5.87 MB - Last synced: 19 days ago - Pushed: 6 months ago - Stars: 5 - Forks: 1

phadej/phadej-universe

Some of my packages in a monorepository

Language: Makefile - Size: 106 MB - Last synced: 6 months ago - Pushed: 6 months ago - Stars: 0 - Forks: 0

phadej/regex-applicative-text

regex-applicative on text

Language: Haskell - Size: 34.2 KB - Last synced: 17 days ago - Pushed: over 1 year ago - Stars: 4 - Forks: 0

phadej/postgresql-simple-url

Heroku helpers for pulmurice server

Language: Haskell - Size: 49.8 KB - Last synced: 29 days ago - Pushed: 6 months ago - Stars: 2 - Forks: 1

phadej/generics-sop-lens

Lenses for types in generics-sop

Language: Haskell - Size: 51.8 KB - Last synced: 18 days ago - Pushed: 6 months ago - Stars: 4 - Forks: 0

phadej/time-parsers

Date & time parsers

Language: Haskell - Size: 58.6 KB - Last synced: 19 days ago - Pushed: 6 months ago - Stars: 4 - Forks: 0

phadej/aeson-compat

Compatibility package for aeson

Language: Haskell - Size: 114 KB - Last synced: 19 days ago - Pushed: about 1 year ago - Stars: 4 - Forks: 7

phadej/insert-ordered-containers

Associative containers retating insertion order for traversals

Language: Haskell - Size: 107 KB - Last synced: 19 days ago - Pushed: 6 months ago - Stars: 11 - Forks: 15

phadej/binary-tagged

Tagged binary serialisation

Language: Haskell - Size: 194 KB - Last synced: 7 months ago - Pushed: 7 months ago - Stars: 5 - Forks: 5

phadej/zinza

Typed templates with jinja like syntax. Docs on Hackage.

Language: Haskell - Size: 94.7 KB - Last synced: 11 days ago - Pushed: 6 months ago - Stars: 9 - Forks: 3

phadej/urakka

Language: Haskell - Size: 28.3 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

phadej/gentle-introduction

This is not a prelude, this is gentle introduction

Language: Haskell - Size: 720 KB - Last synced: about 1 month ago - Pushed: about 1 month ago - Stars: 3 - Forks: 0