Morphism Tech

Mathematical Software

San Francisco, CA

Pinned Repositories

bankchain
BankChain
Language:Solidity1 1 41
constrained-transformers
Haskell Constraint Transformers - The Forgetful/Free Adjunction
Language:Haskell0 0 00
distributors
Distributors - lax distributive endoprofunctors for unifying grammars, printers and parsers
Language:Haskell4 0 00
free-categories
free categories
Language:Haskell9 2 62
indexed-transformers
Atkey Indexed Monad Transformers
Language:Haskell5 2 00
singletons-default
dependently typed optional values with defaults
Language:Haskell0 0 00
squeal
Squeal, a deep embedding of SQL in Haskell
Language:Haskell369 16 12932

Morphism Tech's Repositories

morphismtech/squeal
Squeal, a deep embedding of SQL in Haskell
Language:Haskell369 16 12932
morphismtech/free-categories
free categories
Language:Haskell9 2 62
morphismtech/indexed-transformers
Atkey Indexed Monad Transformers
Language:Haskell5 2 00
morphismtech/distributors
Distributors - lax distributive endoprofunctors for unifying grammars, printers and parsers
Language:Haskell4 0 00
morphismtech/bankchain
BankChain
Language:Solidity1 1 41
morphismtech/constrained-transformers
Haskell Constraint Transformers - The Forgetful/Free Adjunction
Language:Haskell0 0 00
morphismtech/singletons-default
dependently typed optional values with defaults
Language:Haskell0 0 00