effectfully

effectfully

User data from Github https://github.com/effectfully

Github PK Tool:Github PK Tool


Organizations
input-output-hk
dpndnt
monadfix
effectfully's Most Used Languages
effectfully's GitHub Stats

effectfully's repositories

Language:HTMLLicense:Apache-2.0Stargazers:0Forks:0Issues:2
Language:HaskellStargazers:0Forks:0Issues:0

haskell-challenges

Code challenges to solve with Haskell

Language:HaskellLicense:MITStargazers:0Forks:0Issues:0

flat

Principled and efficient binary serialization

License:BSD-3-ClauseStargazers:0Forks:0Issues:0

monad-var

Generic operations over variables

Language:HaskellStargazers:3Forks:0Issues:1

Generic

A library for doing generic programming in Agda

Language:AgdaLicense:MITStargazers:25Forks:4Issues:2

inference-in-agda

A tutorial on how Agda infers things

Language:HTMLStargazers:22Forks:0Issues:0

vec

Nat, Fin, Vec

Language:HaskellStargazers:0Forks:0Issues:0

agda-stdlib

The Agda standard library

Language:AgdaLicense:NOASSERTIONStargazers:0Forks:0Issues:0

agda-html-to-md

A tiny tool that takes output of `htmlize` and turns it into a markdown text consumable by `pandoc`

Language:HaskellLicense:BSD-3-ClauseStargazers:1Forks:0Issues:0
Language:AgdaStargazers:17Forks:3Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:6Forks:2Issues:25
Language:AgdaStargazers:6Forks:0Issues:0
Language:HaskellStargazers:0Forks:0Issues:0

Cubes

A dependently typed type checker for a TT with intervals

Language:AgdaStargazers:18Forks:1Issues:0
Language:OCamlLicense:NOASSERTIONStargazers:0Forks:0Issues:0

STLC

Dependently typed Algorithm M and friends

Language:AgdaStargazers:21Forks:1Issues:1

universum

:milky_way: Prelude used in @Serokell

Language:HaskellLicense:MITStargazers:0Forks:0Issues:0
Language:HaskellStargazers:1Forks:0Issues:0

prefolds

Composable monadic short-circuiting streaming folds

Language:HaskellLicense:NOASSERTIONStargazers:18Forks:2Issues:1
Language:HaskellLicense:MITStargazers:0Forks:0Issues:0
Language:HaskellLicense:MITStargazers:0Forks:0Issues:0

unliftio

The MonadUnliftIO typeclass for unlifting monads to IO

Language:HaskellLicense:NOASSERTIONStargazers:0Forks:0Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:1Forks:0Issues:0

non-constant-memory

showcase for conduit on non-constant memory usage

Language:HaskellLicense:NOASSERTIONStargazers:0Forks:0Issues:0
Language:HaskellStargazers:0Forks:0Issues:0

OTT

Observational Type Theory as an Agda library

Language:AgdaStargazers:42Forks:3Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:3Forks:1Issues:2
Language:PascalStargazers:0Forks:0Issues:0
Language:HaskellLicense:NOASSERTIONStargazers:1Forks:0Issues:0