• Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created almost 7 years ago
  • Updated about 5 years ago

Reviews

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

Repository Details

testsuit of protocol-radius haskell package

More Repositories

1

haskell-relational-record

This repository includes a joined query generator based on typefull relational algebra, and mapping tools between SQL values list and Haskell record type.
Haskell
234
star
2

haskell-time-locale-compat

Compatibility of TimeLocale between old-locale and time-1.5
Haskell
7
star
3

haskell-invertible-syntax-poly

Extends invertible-syntax library capable to use parameterized token type.
Haskell
6
star
4

haskell-debian-build

Debian package build sequence tools
Haskell
6
star
5

logic-examples

small examples of proof object programming
Haskell
5
star
6

haskell-tiny-intro

Haskell
5
star
7

haskell-quickcheck-simple

Test properties and default-mains for QuickCheck
Haskell
4
star
8

sfja-code

Codes for 'Software Foundations'
Coq
4
star
9

haskell-th-reify-compat

Compatibility for the result type of TH reify
Haskell
3
star
10

haskell-text-ldap

Parser and Printer for LDAP text data stream
Haskell
3
star
11

haskell-th-data-compat

Compatibility for data definition template of TH
Haskell
3
star
12

pfds

Codes for the book "Purely Functional Data Structure"
OCaml
3
star
13

haskell-invertible-syntax-parsec

Turn Parsec type into instance of invertible-syntax-poly.
Haskell
3
star
14

kazu-meeting

Codes for haskellers' meeting
Haskell
3
star
15

ideals-varieties-and-algorithms

Reading memo of Ideals Varieties and Algorithms
HTML
3
star
16

tapl

Codes for the book " Types and Programming Languages (TaPL)"
Haskell
3
star
17

haskell-lazys

Lisp like Programming Language denoted by S-Expression. Curried function and Lazy evaluation language.
Haskell
3
star
18

haskell-CV-sample

Sample Codes using OpenCV
Haskell
2
star
19

haskell-day-2018

HTML
2
star
20

haskell-bytestring-short

Backport copy of Data.ByteString.Short
Haskell
2
star
21

CoPL-read

Coq
2
star
22

haskell-th-bang-compat

Haskell
2
star
23

caml-haskell

Haskell interpreter implementation challenge in OCaml
OCaml
2
star
24

dns-resolver

Haskell
2
star
25

haskell-lfsr

Simple implementation of Linear Feedback Shift Register.
Haskell
2
star
26

caml-haskell2

Challenge to implement Programming Language Haskell in OCaml
OCaml
2
star
27

haskell-data-handle

Haskell library to copy datas between file handle and string
Haskell
2
star
28

haskell-product-isomorphic

Haskell
2
star
29

pshack

Codes for PostScript hands-on
Haskell
2
star
30

haskell-beginner

Codes for haskell beginners' meeting
Haskell
2
star
31

haskell-local-address

Functions to get local interface address
Haskell
2
star
32

haskell-invertible-syntax-attoparsec

Turn attoparsec Parser types into instance of invertible-syntax-poly.
Haskell
2
star
33

haskell-json-rpc-generic

Generic encoder and decode for JSON-RPC
Haskell
2
star
34

network-env

Scripts to switch network environment
Shell
1
star
35

haskell-hspec-bracket

The bracket definitions for Hspec
Haskell
1
star
36

icfpc-khibino

1
star
37

coq-TopSE-201203

Top SE Coq seminar 2012-03
Coq
1
star
38

pfds-read

meeting to read PFDS
OCaml
1
star
39

lookup-mypaedia

MyPaedia support for lookup.el - import from mypaedia-fpw-package-1.0.7
Emacs Lisp
1
star
40

haskell-debian-build.rebuild

Debian package build sequence tools
Haskell
1
star
41

haskell-protocol-radius

parser and printer for radius protocol packet
Haskell
1
star
42

debian-build-multidist

Wrapper script for pbuilder and cowbuilder to support for multi-distribution
Shell
1
star
43

haskell-th-constraint-compat

Compatibility for type constraint template
Shell
1
star
44

haskell-hdbc-tool.201303

Stub generation against DB schema
Haskell
1
star
45

haskell-aeson-generic-compat

Compatible generic class names of Aeson
Shell
1
star
46

ghc-src-read

Documents for GHC source code reading party
Haskell
1
star
47

introduction-to-algorithms

Codes for the book "Introduction to Algorithms"
OCaml
1
star
48

haskell-day-2012

Haskell day 2012-05-27 presentation.
1
star
49

mount-cgfs

Script to mount cgroup FS without systemd
1
star
50

haskelldb-genschema

Generating DB schema for HaskellDB
Haskell
1
star
51

haskelldb-connect-hdbc

Bracketed HDBC session for HaskellDB
Haskell
1
star
52

empty

Empty repository
1
star
53

ga-haskell-single-try

Shell
1
star
54

coq-Category-201205

Codes which is written in a proof party about Category Theory at 2012/05 Tokyo
Coq
1
star
55

haskell-cabal-test-compat

Compatibility interface of cabal test-suite.
Haskell
1
star