linear-logic
by ekmett
They see me rollin'. They're Heyting. -- Chamillionaire, 2005
AI summary
Linear logic implementation
An implementation of intuitionistic linear logic using Haskell.
- stars
- 83
- forks
- 2
- watching
- 6
Similar projects
Found by comparing what the projects do, not just their names.
Linear algebra library
A set of low-dimensional linear algebra primitives for use in Haskell programs
Haskell framework
Category theory for Haskell with a strong lens-like flavor.
Linear logic encoder
An encoding of linear logic in Coq with minimal examples and automated proofs
Functor library
Provides a Haskell implementation of functors with contravariant behavior
Semigroup toolkit
A Haskell package providing a set of semigroups and tools for deriving them with generics.
Term manipulator
Combinators for manipulating locally-nameless generalized de Bruijn terms
Data structure experiment
A playground for advanced data structures in Haskell
Comonad definition
Provides definitions and laws for building comonads in Haskell
Haskell reflection library
Provides a way to represent and manipulate arbitrary Haskell code structure using a reflection mechanism
OpenGL bindings library
Provides Haskell bindings to the OpenGL specification
Linear type library
A standard library providing minimal facilities to write practical code with linear types in Haskell.
Logic prog lang
A compiler-based implementation of a minimalist logic programming language
Machine Learning Library
Implementations of basic machine learning algorithms in Haskell
Linear algebra toolkit
A language and framework for linear algebra and image manipulation with a focus on simplicity and extensibility.
Type transformer library
A Haskell implementation of profunctors, which are higher-kinded concepts for transforming and manipulating functions between types
