Discover phadej/agda-np Open Source project by Oleg Grenrus (@phadej)

Stars
2
Language Agda
Created about 2 years ago
Updated about 2 years ago

phadej

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

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

igbinary

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

258

optika

Optics library for JavaScript

JavaScript

140

cabal-fmt

An experiment of formatting .cabal files

Haskell

typify

Runtime type checking for JavaScript

JavaScript

relaxed-json

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

JavaScript

cabal-extras

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

Haskell

write-yourself-a-typed-functional-language

Write yourself a typed functional language

Haskell

menrva

Ambitious data-flow library

JavaScript

kleene

Kleene algebra, regular expressions

Haskell

docker-haskell-example

How to build Docker image for Haskell web app?

Dockerfile

tdigest

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

Haskell

overloaded

Overloaded plugin

Haskell

idioms-plugins

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

Haskell

vec

Nat, Fin, Vec

Haskell

git-badc0de

Make git commits with pretty hashes

topograph

Directed Acyclic Graphs

Haskell

graafi

cycle.js expirement

JavaScript

latex-svg

Render LaTeX math to SVG mages

Haskell

acme-kmett

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

Makefile

staged

Staged Streams and other stuff

Haskell

boring

Boring and Absurd types

Haskell

trampa

Trampolines, to emulate tail-recursion.

JavaScript

bound-extras

ScopeT and ScopeH

Haskell

kleene-type

Regular expressions of types

Haskell

trustee

Hackage Trustee helper tool

Haskell

heroku-docker-haskell-test

Heroku + docker + haskell = ?

Shell

preload-trick

"Preload" Haskell packages to override them

Haskell

language-pts

Pure Type Systems

Haskell

docker-ghc

GHC + Cabal docker image

Dockerfile

aws-lambda-haskell-runtime

Build AWS Lambda's with Haskell

Haskell

hooglite

Alternative and lite implementation of Hoogle

Haskell

insert-ordered-containers

Associative containers retating insertion order for traversals

Haskell

saison

Stream Aeson, fruity, spicy, well carbonated.

Haskell

typify-parser

Type signature parser for typify

JavaScript

gists

Oleg's gists

JetBrains MPS

ljs

Generate docs from your source

JavaScript

lens-laws

Existential Optics: discovering correct lens laws

Coq

zinza

Typed templates with jinja like syntax. Docs on Hackage.

Haskell

cabal-refact

Refactoring tool for .cabal files

Haskell

jsstana

s-expression match patterns for Mozilla Parser AST

JavaScript

npm-freeze

Freeze the node dependencies

JavaScript

generic-lens-lite

Lite version of generic-lens

Haskell

aeson-optics

Law-abiding optics for aeson

Haskell

file-embed-lzma

Use Template Haskell to embed (LZMA compressed) data.

Haskell

base64-bytestring-type

A newtype around ByteString, for base64 encoding.

singleton-bool

vec-backpack

travis-meta-yaml

.travis.yml preprocessor

Haskell

minicsv

Very minimal csv library

Haskell

sasha

A staged lexer generator

Haskell

docker-stackage

Docker image with stackage config

Haskell

lazy-seq

Lazy sequence for JavaScript

JavaScript

regression-simple

Simple linear and quadratic regression

Haskell

JuicyPixels-scale-dct

Scale JuicyPixels images with DCT

Haskell

rc4

RC4 random number generator

JavaScript

binary-tagged

Tagged binary serialisation

Haskell

ncill

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

Agda

dlist-nonempty

Non-empty difference lists

Haskell

spdx

SPDX license expression language - Haskell implementation

Haskell

range-set-list

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

Haskell

minicurl

Minimal bindings to libcurl

Haskell

servant-tiny

A tiny servant version, to learn and experiment

Haskell

haskell-monad-http

A MonadHTTP type class

Haskell

libperf

Bindings to Linux perf_event_open functionality

time-parsers

aeson-compat

Compatibility package for aeson

Haskell

aeson-extra

Extra goodies for aeson

Haskell

hkd

"higher-kinded data"

Haskell

regex-applicative-text

regex-applicative on text

Haskell

generics-sop-lens

Lenses for types in generics-sop

Haskell

cabal-env

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

Haskell

mixfix

Mixfix espression parser

JavaScript

dec

Decidable propositions

Haskell

staged-gg

Staged GHC.Generics

Haskell

changelog-d

Changelog from the directory of entries

Haskell

servant-universe

Megarepository for most servant packages

Makefile

representable-fd

Representable functors with FunctionalDependencies

Haskell

end

Evolving non-determinism

Haskell

unsatisfiable

Unsatisfiable type-class

Haskell

ansi-pretty

AnsiPretty type-class for ansi-wl-pprint

Haskell

nucpp

NuCPP is non-standard not-C preprocessor

Haskell

ghcjs-ubuntu

Packaging GHCJS for Ubuntu

Haskell

th-letrec

Implicit (recursive) let insertion

Haskell

crypt-sha512

Pure Haskell implelementation for GNU SHA512 crypt algorithm

gentle-introduction

This is not a prelude, this is gentle introduction

Haskell

step-function

Step functions, staircase functions or piecewise constant functions.

Haskell

servant-blaze

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

Haskell

helhug-types

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

HTML

symbolic

Symbolic Floating

Haskell

postgresql-simple-url

Heroku helpers for pulmurice server

Haskell

servant-record

Servant API from a record

Haskell

transformers-quantified

How much stuff breaks?

Haskell

boolean-normal-forms

Boolean normal forms: NNF, DNF & CNF

Haskell

servant-cassava

Servant CSV content-type for cassava

Haskell

stackage-extras

Currently: packdeps for everything on Stackage

Haskell

acme-operators

Operators of Haskell, all in one place!

Haskell

metametapost

A Haskell EDSL to write MetaPost programs

Haskell

github-issues

A barebones issues description context dumper, so you can grep them offline

Haskell

100

servant-lucid

Servant support for lucid

Haskell

phadej/agda-np

phadej

Reviews

Repository Details

More Repositories