jamescheney

Pinned Repositories

aprolog
αProlog
Language:OCaml173
FSharp.Linq.ComposableQuery
Compositional Query Framework for F# Queries, based on "A Practical Theory of Language-Integrated Query"
Language:F#67 22 1413
process
Library for dealing with system processes
Language:Haskell87 22 13482
database-wiki
Automatically exported from code.google.com/p/database-wiki
Language:Java2 7 260
opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:OCaml1 2 00
process
Library for dealing with system processes
Language:Haskell0 2 00
prov-constraints
A checker for PROV-CONSTRAINTS
1 3 01
ProvMark
Language:Python0 2 00
links
Links: Linking Theory to Practice for the Web
Language:OCaml332 19 58942

jamescheney's Repositories

jamescheney/database-wiki
Automatically exported from code.google.com/p/database-wiki
Language:Java2 7 260
jamescheney/opam-repository
Main public package repository for OPAM, the source package manager of OCaml.
Language:OCaml1 2 00
jamescheney/prov-constraints
A checker for PROV-CONSTRAINTS
1 3 01
jamescheney/process
Library for dealing with system processes
Language:Haskell0 2 00
jamescheney/ProvMark
Language:Python0 2 00