Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Java C# Haskell Makefile Shell Ruby Other
Fetching latest commit…
Cannot retrieve the latest commit at this time.
|Failed to load latest commit information.|
Data - Example CKS type and value definitions. Data/Test - The test cases used by the automated test runner. Implementation - CKS runtime libraries for different programming languages. Implementation/Java - CKS runtime library for Java AND the CKS bindings generators for Java, C#, and Haskell. Implementation/C# - CKS runtime library for C# Implementation/Haskell - CKS runtime library for Haskell Implementation/Test - Automated test runner for all languages (written in Java). Website - Sources for CKS website. Converted to HTML via the Ruby tool "WebGen".