steinwaywhw Goto Github PK

6887psets

Problem Sets for MIT 6.887 Formal Reasoning About Programs

ace

Ace (Ajax.org Cloud9 Editor)

algorithms

A place to hold small algorithm implementations

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

assertshape

Python library for asserting n-dim array shapes using Einstein notations.

ats-category

Playing with the book Category Theory for Programmers

ats-cmake

CMake Modules and Examples for building ATS projects

ats-czmq

ATS bindings to czmq

ats-docs-and-tips

A repository to hold docs and tips for ATS

ats-icu

ICU Wrapper for ATS2

ats-lang.github.io

For hosting certain parts of http://www.ats-lang.org

ats-learn-lambda

Learn Lambda Calculus in ATS

ats-learn-some-logics

My own repo for learning logics by encoding them in ATS

ats-list

My own list library

ats-mode-sublimetext

An ATS mode for Sublime Text 2/3 and TextMate

ats-pad

Your online ATS editor

ats-parcc

A parsing combinator library.

ats-pi

A typed pi calculus based on classical linear multirole logic.

ats-postgresql

A PostgreSQL wrapping for ATS 2

ats-postiats

ATS2: Unleashing the Potentials of Types and Templates

ats-postiats-contrib

ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

ats-pprint

A pretty-printing library based on Wadler and Leijen's work

ats-python3

ATS to Python 3 Transpiler

ats-qt-demo

ats-redis

An ATS binding for hiredis.

ats-sds

Simple dynamic string library wrapper.

ats-session-elixir-demo

A demo repo for talks/posters about session type implementation in ATS and elixir.

ats-session-examples

Examples of Session Types in ATS

ats-session-playground

Just a Playground

ats-sessions

Session Types Library for ATS