• Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language
    OCaml
  • Created over 13 years ago
  • Updated over 13 years ago

Reviews

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

Repository Details

Codes for the book "Purely Functional Data Structure"

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

haskell-invertible-syntax-parsec

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

kazu-meeting

Codes for haskellers' meeting
Haskell
3
star
14

ideals-varieties-and-algorithms

Reading memo of Ideals Varieties and Algorithms
HTML
3
star
15

tapl

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

haskell-lazys

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

haskell-CV-sample

Sample Codes using OpenCV
Haskell
2
star
18

haskell-day-2018

HTML
2
star
19

haskell-bytestring-short

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

CoPL-read

Coq
2
star
21

haskell-th-bang-compat

Haskell
2
star
22

caml-haskell

Haskell interpreter implementation challenge in OCaml
OCaml
2
star
23

dns-resolver

Haskell
2
star
24

haskell-lfsr

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

caml-haskell2

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

haskell-data-handle

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

haskell-product-isomorphic

Haskell
2
star
28

pshack

Codes for PostScript hands-on
Haskell
2
star
29

haskell-beginner

Codes for haskell beginners' meeting
Haskell
2
star
30

haskell-local-address

Functions to get local interface address
Haskell
2
star
31

haskell-invertible-syntax-attoparsec

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

haskell-json-rpc-generic

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

network-env

Scripts to switch network environment
Shell
1
star
34

haskell-hspec-bracket

The bracket definitions for Hspec
Haskell
1
star
35

icfpc-khibino

1
star
36

coq-TopSE-201203

Top SE Coq seminar 2012-03
Coq
1
star
37

pfds-read

meeting to read PFDS
OCaml
1
star
38

lookup-mypaedia

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

haskell-debian-build.rebuild

Debian package build sequence tools
Haskell
1
star
40

haskell-protocol-radius

parser and printer for radius protocol packet
Haskell
1
star
41

debian-build-multidist

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

haskell-th-constraint-compat

Compatibility for type constraint template
Shell
1
star
43

haskell-hdbc-tool.201303

Stub generation against DB schema
Haskell
1
star
44

haskell-aeson-generic-compat

Compatible generic class names of Aeson
Shell
1
star
45

ghc-src-read

Documents for GHC source code reading party
Haskell
1
star
46

introduction-to-algorithms

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

haskell-day-2012

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

mount-cgfs

Script to mount cgroup FS without systemd
1
star
49

haskelldb-genschema

Generating DB schema for HaskellDB
Haskell
1
star
50

haskelldb-connect-hdbc

Bracketed HDBC session for HaskellDB
Haskell
1
star
51

empty

Empty repository
1
star
52

ga-haskell-single-try

Shell
1
star
53

haskell-protocol-radius-test

testsuit of protocol-radius haskell package
Haskell
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