• Stars
    star
    108
  • Rank 321,259 (Top 7 %)
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created over 9 years ago
  • Updated over 1 year ago

Reviews

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

Repository Details

LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming

Build Status

Here are some instructions on how to use the ling tool chain.

Requirements

If you're new to Haskell your simplest option might be to install stack: http://docs.haskellstack.org/en/stable/README.html#how-to-install

Building

Once the repository is cloned, you can setup a local Haskell environment:

$ stack setup

Then to build the tool chain:

$ stack build

Finally you can run the compiler on a simple example:

$ stack exec -- ling --seq --fuse --pretty --compile fixtures/compile/double.ll

The command above is type checking, apply sequencing and fusion. It finally prints the final version in Ling and in C.

Contributions

Various contributions can be made whether you know Haskell or not.

Beside hacking on the tool chain, you can:

  • Write small programs in the language
  • Submit bug reports
  • Join the discussion on the evolution of the language
  • Help with the documentations and tutorials

Documentation

More Repositories

1

hx

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

camllexer

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

names-for-free

TeX
8
star
4

mbox-tools

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

boolexpr

Haskell library for Boolean expressions with various representations and search queries.
Haskell
5
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