juhp Goto Github PK

2017.fossasia.org

Website of FOSSASIA OpenTechSummit 2017 http://2017.fossasia.org

adjunctions

Simple adjunctions

aeson

A fast Haskell JSON library

aeson-yaml

Encode any Aeson (JSON) value as YAML (in pure Haskell)

agda

Agda is a dependently typed programming language / interactive theorem prover.

agda-lecture-notes

Agda lecture notes for the Functional Programming course at TU Delft

am-i-a-real-dev

Find out if you are a Real Dev ™

anitya

A cross-distribution upstream release monitoring project

anthy-unicode

Anthy Unicode - Another Anthy

asknot-ng

What can I do for $ORGANIZATION?

barley

Get going with Haskell ASAP

base64-bytestring

Fast base64 encoding and decoding for Haskell.

beginning-rust-programming

Source code for the book Beginning Rust Programming by Ric Messier

blaze-builder

Efficient serialization of Haskell values to lazy bytestrings with a large average chunk size.

bodhi-cli

Bodhi CLI client outputing JSON

bodhi-hs

Fedora Bodhi REST client library

book

The Rust Programming Language

c2hs

c2hs is a pre-processor for Haskell FFI bindings to C libraries

cabal

Official upstream development repository for Cabal and cabal-install

cabal-dev

A wrapper program around cabal and cabal-install that maintains sandboxed build environments.

cabal-file

Access to the local cabal repo index cache

cabal-file-th

Template haskell function to bring cabal file fields into your source.

cabal-rpm

Haskell Cabal RPM packaging tool

cached-json-file

cargo-sweep

A cargo subcommand for cleaning up unused build files generated by Cargo

cblrepo

Tool to simplify managing a consistent set of Haskell packages for distributions.

chez-scheme-rpm

Fedora RPM built on copr

clifm

Command Line Interface File Manager

cloud-haskell

This is an umbrella development repository for Cloud Haskell

cmark

CommonMark parsing and rendering library and program in C