andreasabel Goto Github PK

io-streams-haproxy

HAProxy protocol v1.5 support for io-streams

ipl

Agda formalization of Intuitionistic Propositional Logic

java-adt

A tool to create immutable algebraic data structures and visitors for Java (such as abstract syntax trees).

lambda-definability

Lambda-definability and NBE for simply-typed lambda-calculus and maybe beyond

language-c

Source repository for https://hackage.haskell.org/package/language-c

language-python

A parser for Python 2.x and 3.x written in Haskell

lifted-async

Run lifted IO operations asynchronously and wait for their results

linear-base

Standard library for linear types in Haskell.

linear-generics

Support for linearly-typed generics in Haskell

logrel-mltt

A Logical Relation for Martin-Löf Type Theory in Agda

loop

Uwe Schönings LOOP language

malcolm-wallace-universe

Malcolm Wallace's packages

map-syntax

Syntax sugar and explicit semantics for statically defined maps

meeting-logic-and-types-2018

Division meeting Logic and Types 2018

meeting-logic-and-types-2019

Organization of the Meeting of the CSE Logic & Types Division on 20 September 2019

microlens

A lightweight (but compatible with ‘lens’) lenses library

miniagda

A prototypical dependently typed languages with sized types and variances

miniagda-mode

An emacs mode for MiniAgda

missingh

Utility library [Haskell]

monadplus

Generalized filter combinators

mono-traversable

Type classes for mapping, folding, and traversing monomorphic containers

monoid-extras

Miscellaneous constructions on monoids

natlog

Lightweight Python-based Prolog system with simplified natural syntax

network

Low-level networking interface

newtype

ocaml

The core OCaml system: compilers, runtime system, base libraries

oops

operational

Implement monads by specifying instructions and their desired operational semantics.

optparse-applicative

Applicative option parser

palmgren-archive

Research material of Erik Palmgren (1963–2019)