Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by phadej

A curated list of projects in awesome lists by phadej .

https://github.com/phadej/igbinary

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

Last synced: 26 Oct 2024

https://github.com/phadej/optika

Optics library for JavaScript

Last synced: 27 Oct 2024

https://github.com/phadej/cabal-fmt

An experiment of formatting .cabal files

Last synced: 26 Oct 2024

https://github.com/phadej/cabal-extras

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

Last synced: 26 Oct 2024

https://github.com/phadej/relaxed-json

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

Last synced: 26 Oct 2024

https://github.com/phadej/typify

Runtime type checking for JavaScript

Last synced: 27 Oct 2024

https://github.com/phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

Last synced: 28 Oct 2024

https://github.com/phadej/menrva

Ambitious data-flow library

Last synced: 28 Oct 2024

https://github.com/phadej/kleene

Kleene algebra, regular expressions

Last synced: 27 Oct 2024

https://github.com/phadej/overloaded

Overloaded plugin

Last synced: 27 Oct 2024

https://github.com/phadej/tdigest

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

Last synced: 28 Oct 2024

https://github.com/phadej/docker-haskell-example

How to build Docker image for Haskell web app?

Last synced: 07 Nov 2024

https://github.com/phadej/git-badc0de

Make git commits with pretty hashes

Last synced: 28 Oct 2024

https://github.com/phadej/idioms-plugins

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

Last synced: 28 Oct 2024

https://github.com/phadej/vec

Nat, Fin, Vec

Last synced: 26 Oct 2024

https://github.com/phadej/graafi

cycle.js expirement

Last synced: 28 Oct 2024

https://github.com/phadej/topograph

Directed Acyclic Graphs

Last synced: 26 Oct 2024

https://github.com/phadej/staged

Staged Streams and other stuff

Last synced: 28 Oct 2024

https://github.com/phadej/kleene-type

Regular expressions of types

Last synced: 28 Oct 2024

https://github.com/phadej/latex-svg

Render LaTeX math to SVG mages

Last synced: 28 Oct 2024

https://github.com/phadej/boring

Boring and Absurd types

Last synced: 27 Oct 2024

https://github.com/phadej/acme-kmett

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

Last synced: 07 Nov 2024

https://github.com/phadej/trampa

Trampolines, to emulate tail-recursion.

Last synced: 28 Oct 2024

https://github.com/phadej/trustee

Hackage Trustee helper tool

Last synced: 28 Oct 2024

https://github.com/phadej/heroku-docker-haskell-test

Heroku + docker + haskell = ?

Last synced: 10 Oct 2024

https://github.com/phadej/bound-extras

ScopeT and ScopeH

Last synced: 27 Oct 2024

https://github.com/phadej/language-pts

Pure Type Systems

Last synced: 28 Oct 2024

https://github.com/phadej/preload-trick

"Preload" Haskell packages to override them

Last synced: 10 Oct 2024

https://github.com/phadej/docker-ghc

GHC + Cabal docker image

Last synced: 07 Nov 2024

https://github.com/phadej/insert-ordered-containers

Associative containers retating insertion order for traversals

Last synced: 28 Oct 2024

https://github.com/phadej/hooglite

Alternative and lite implementation of Hoogle

Last synced: 28 Oct 2024

https://github.com/phadej/aws-lambda-haskell-runtime

Build AWS Lambda's with Haskell

aws haskell lambda runtime

Last synced: 28 Oct 2024

https://github.com/phadej/saison

Stream Aeson, fruity, spicy, well carbonated.

Last synced: 10 Oct 2024

https://github.com/phadej/cabal-refact

Refactoring tool for .cabal files

Last synced: 10 Oct 2024

https://github.com/phadej/typify-parser

Type signature parser for typify

Last synced: 28 Oct 2024

https://github.com/phadej/lens-laws

Existential Optics: discovering correct lens laws

Last synced: 10 Oct 2024

https://github.com/phadej/sasha

A staged lexer generator

Last synced: 28 Oct 2024

https://github.com/phadej/gists

Oleg's gists

hakyll

Last synced: 07 Nov 2024

https://github.com/phadej/ljs

Generate docs from your source

Last synced: 28 Oct 2024

https://github.com/phadej/zinza

Typed templates with jinja like syntax. Docs on Hackage.

Last synced: 27 Oct 2024

https://github.com/phadej/npm-freeze

Freeze the node dependencies

Last synced: 28 Oct 2024

https://github.com/phadej/jsstana

s-expression match patterns for Mozilla Parser AST

Last synced: 28 Oct 2024

https://github.com/phadej/file-embed-lzma

Use Template Haskell to embed (LZMA compressed) data.

Last synced: 28 Oct 2024

https://github.com/phadej/generic-lens-lite

Lite version of generic-lens

Last synced: 28 Oct 2024

https://github.com/phadej/aeson-optics

Law-abiding optics for aeson

Last synced: 28 Oct 2024

https://github.com/phadej/ncill

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

Last synced: 07 Nov 2024

https://github.com/phadej/minicsv

Very minimal csv library

Last synced: 10 Oct 2024

https://github.com/phadej/travis-meta-yaml

.travis.yml preprocessor

Last synced: 28 Oct 2024

https://github.com/phadej/singleton-bool

Type level booleans

Last synced: 28 Oct 2024

https://github.com/phadej/regression-simple

Simple linear and quadratic regression

Last synced: 28 Oct 2024

https://github.com/phadej/docker-stackage

Docker image with stackage config

Last synced: 07 Nov 2024

https://github.com/phadej/rc4

RC4 random number generator

Last synced: 28 Oct 2024

https://github.com/phadej/lazy-seq

Lazy sequence for JavaScript

Last synced: 28 Oct 2024

https://github.com/phadej/mixfix

Mixfix espression parser

Last synced: 07 Nov 2024

https://github.com/phadej/juicypixels-scale-dct

Scale JuicyPixels images with DCT

Last synced: 28 Oct 2024

https://github.com/phadej/integer-conversion

Effecient conversion from text to Integer

Last synced: 28 Oct 2024

https://github.com/phadej/vec-backpack

Last synced: 10 Oct 2024

https://github.com/phadej/binary-tagged

Tagged binary serialisation

Last synced: 10 Oct 2024

https://github.com/phadej/spdx

SPDX license expression language - Haskell implementation

Last synced: 28 Oct 2024

https://github.com/phadej/defun

Defunctionalization helpers

Last synced: 07 Nov 2024

https://github.com/phadej/range-set-list

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

Last synced: 28 Oct 2024

https://github.com/phadej/regex-applicative-text

regex-applicative on text

Last synced: 28 Oct 2024

https://github.com/phadej/time-parsers

Date & time parsers

Last synced: 28 Oct 2024

https://github.com/phadej/dlist-nonempty

Non-empty difference lists

Last synced: 28 Oct 2024

https://github.com/phadej/cabal-fields

An alternative parser for cabal-like files

Last synced: 07 Nov 2024

https://github.com/phadej/haskell-monad-http

A MonadHTTP type class

Last synced: 07 Nov 2024

https://github.com/phadej/minicurl

Minimal bindings to libcurl

Last synced: 10 Oct 2024

https://github.com/phadej/generics-sop-lens

Lenses for types in generics-sop

Last synced: 28 Oct 2024

https://github.com/phadej/aeson-extra

Extra goodies for aeson

Last synced: 28 Oct 2024

https://github.com/phadej/aeson-compat

Compatibility package for aeson

Last synced: 28 Oct 2024

https://github.com/phadej/puresat

Pure Haskell SAT solver

Last synced: 28 Oct 2024

https://github.com/phadej/dec

Decidable propositions

Last synced: 28 Oct 2024

https://github.com/phadej/unsatisfiable

Unsatisfiable type-class

Last synced: 07 Nov 2024

https://github.com/phadej/hkd

"higher-kinded data"

Last synced: 10 Oct 2024

https://github.com/phadej/staged-gg

Staged GHC.Generics

Last synced: 28 Oct 2024

https://github.com/phadej/servant-tiny

A tiny servant version, to learn and experiment

Last synced: 07 Nov 2024

https://github.com/phadej/sa

Simulated annealing

Last synced: 07 Nov 2024

https://github.com/phadej/libperf

Bindings to Linux perf_event_open functionality

Last synced: 10 Oct 2024

https://github.com/phadej/cabal-solver-sat

cabal-install solver using sat-simple

Last synced: 28 Oct 2024

https://github.com/phadej/gentle-introduction

This is not a prelude, this is gentle introduction

Last synced: 10 Oct 2024

https://github.com/phadej/end

Evolving non-determinism

Last synced: 07 Nov 2024

https://github.com/phadej/ansi-pretty

AnsiPretty type-class for ansi-wl-pprint

Last synced: 10 Oct 2024

https://github.com/phadej/changelog-d

Changelog from the directory of entries

Last synced: 10 Oct 2024

https://github.com/phadej/ghcjs-ubuntu

Packaging GHCJS for Ubuntu

Last synced: 07 Nov 2024

https://github.com/phadej/th-letrec

Implicit (recursive) let insertion

Last synced: 28 Oct 2024

https://github.com/phadej/servant-universe

Megarepository for most servant packages

Last synced: 07 Nov 2024

https://github.com/phadej/crypt-sha512

Pure Haskell implelementation for GNU SHA512 crypt algorithm

Last synced: 10 Oct 2024

https://github.com/phadej/debruijn

de Bruijn indices and levels for well-scoped terms

Last synced: 28 Oct 2024

https://github.com/phadej/nucpp

NuCPP is non-standard not-C preprocessor

Last synced: 07 Nov 2024

https://github.com/phadej/sbv-releases

Last synced: 07 Nov 2024

https://github.com/phadej/servant-cassava

Servant CSV content-type for cassava

Last synced: 07 Nov 2024

https://github.com/phadej/acme-operators

Operators of Haskell, all in one place!

Last synced: 07 Nov 2024

https://github.com/phadej/symbolic

Symbolic Floating

Last synced: 07 Nov 2024

https://github.com/phadej/months

Month, YearMonth, Quarter, YearQuarter

Last synced: 28 Oct 2024

https://github.com/phadej/boolean-normal-forms

Boolean normal forms: NNF, DNF & CNF

Last synced: 10 Oct 2024

https://github.com/phadej/agda-np

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

Last synced: 07 Nov 2024

https://github.com/phadej/transformers-quantified

How much stuff breaks?

Last synced: 07 Nov 2024

https://github.com/phadej/servant-blaze

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

Last synced: 07 Nov 2024

https://github.com/phadej/tajna

Local 12factor environments and secrets

Last synced: 07 Nov 2024

https://github.com/phadej/servant-lucid

Servant support for lucid

Last synced: 07 Nov 2024