Discover phadej/ncill Open Source project by Oleg Grenrus (@phadej)

Stars
5
Rank 2,861,937 (Top 57 %)
Language Agda
Created about 6 years ago
Updated over 4 years ago

phadej

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

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

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

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

agda-np

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

Agda

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/ncill

phadej

Reviews

Repository Details

More Repositories