linear-logic
Linear logic implementation
An implementation of intuitionistic linear logic using Haskell.
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
83 stars
6 watching
2 forks
Language: Haskell
last commit: over 4 years ago category-theorychu-spaceshaskelllinear-logicmathproof
Related projects:
| Repository | Description | Stars |
|---|---|---|
| ekmett/linear | A set of low-dimensional linear algebra primitives for use in Haskell programs | 203 |
| ekmett/hask | Category theory for Haskell with a strong lens-like flavor. | 163 |
 kai-qu/linear-logic | An encoding of linear logic in Coq with minimal examples and automated proofs | 21 |
| ekmett/contravariant | Provides a Haskell implementation of functors with contravariant behavior | 73 |
| ekmett/semigroups | A Haskell package providing a set of semigroups and tools for deriving them with generics. | 62 |
| ekmett/bound | Combinators for manipulating locally-nameless generalized de Bruijn terms | 121 |
| ekmett/structures | A playground for advanced data structures in Haskell | 63 |
| ekmett/comonad | Provides definitions and laws for building comonads in Haskell | 77 |
| ekmett/reflection | Provides a way to represent and manipulate arbitrary Haskell code structure using a reflection mechanism | 104 |
| ekmett/gl | Provides Haskell bindings to the OpenGL specification | 93 |
 tweag/linear-base | A standard library providing minimal facilities to write practical code with linear types in Haskell. | 336 |
 luc-tielen/eclair-lang | A compiler-based implementation of a minimalist logic programming language | 220 |
 ajtulloch/haskell-ml | Implementations of basic machine learning algorithms in Haskell | 57 |
 sebbekarlsson/glms | A language and framework for linear algebra and image manipulation with a focus on simplicity and extensibility. | 40 |
| ekmett/profunctors | A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types | 70 |