np/boolexpr np/boolexpr

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Haskell
  • Created almost 13 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
np/boolexpr
github

np

Reviews

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

Repository Details

Haskell library for Boolean expressions with various representations and search queries.

More Repositories

1

ling

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming
Haskell
108
star
2

hx

Bitcoin CLI tools: Haskell port of Sx using Haskoin
Shell
14
star
3

camllexer

An independant OCaml lexer, extracted from OCaml/Camlp4
OCaml
12
star
4

names-for-free

TeX
8
star
5

mbox-tools

A collection of command line tools on the mbox format
Haskell
6
star
6

strict-io

A thin layer on top standard IO modules like System.IO and Data.IORef that re-expose strict functions using the SIO monad
Haskell
5
star
7

hlatex

LaTeX document builder for Haskell
Haskell
5
star
8

servant-job

Job API in Haskell Servant
Haskell
4
star
9

tdoc

TDoc is a typed document builder with support for (X)HTML
Haskell
4
star
10

guarded-recursion

Guarded recursion in Agda
Agda
3
star
11

mime-bytestring

A for of the mime haskell package to work on bytestrings as well
Haskell
3
star
12

NomPa

Agda
3
star
13

patches-map

A library for patches (diffs) on maps: composable, mergeable and invertible
Haskell
3
star
14

wordcloud

Haskell library which makes word/tag clouds.
Haskell
2
star
15

hxmppc

Haskell XMPP (Jabber Client) Command Line Interface (CLI)
Haskell
2
star
16

bashing-twitter

Twitter tools written in bash
Shell
2
star
17

agda-parametricity

Deriving parametricity results in Agda: "theorems for free"
Agda
2
star
18

qlen

Haskell
2
star
19

json-tools

A collection of JSON tools
Shell
2
star
20

codec-mbox

An Haskell library to read and write mailboxes in mbox format
Haskell
2
star
21

agda-pkg

A simple tool to emulate packages in Agda
Shell
2
star
22

hasquail

Quail in Haskell
Haskell
2
star
23

frquotes

Translate the French-Quotes in a UTF-8 Haskell file into a Quasi-Quotation that can be instantiated later on.
Haskell
2
star
24

umm

UMM: A small command-line accounting tool [continuing Uwe Hollerbach's work]
Haskell
2
star
25

xcompose

XCompose configuration file and its generator
Haskell
2
star
26

2048

The 2048 game as a puerly functional program in Haskell
Haskell
1
star
27

hack-handler-hyena

hack handler hyena
Haskell
1
star
28

nested-agda

Agda
1
star
29

geconomicus

Tools and simulation for the game Ğeconomicus
Haskell
1
star
30

agda-git-experiment

darcs-bridge experiment with Agda repository
Haskell
1
star
31

zsh-conf

Zsh configuration files
Shell
1
star
32

airtame-nixos

Nix package for AIRTAME (binary version)
Nix
1
star
33

vim-conf

Vim Script
1
star
34

csv-nptools

A collection of CSV tools
Haskell
1
star
35

docker-bitcore-node

Docker recipe for bitcore-node
1
star
36

crypto-agda

1
star