Beast code in Giters

effectfully's repositories

agda

Agda is a dependently typed programming language / interactive theorem prover.

NOASSERTION000

tiny-lang

Language:HaskellBSD-3-Clause600

non-constant-memory

showcase for conduit on non-constant memory usage

Language:HaskellNOASSERTION000

vec

Nat, Fin, Vec

Language:Haskell000

delete-largest

Language:Haskell000

plutus-prototype

Language:HTMLApache-2.0000

registry

Language:Haskell000

hasktags-emacs

An automated TAGS generator for emacs for easier traversal of haskell code

Language:Shell000

HaskPascEuler

Language:Haskell000

leetcode-haskell

Language:HaskellNOASSERTION500

random-stuff

Language:Agda1900

fastdogs

Language:HaskellBSD-3-Clause000

ops-lib

NixOps deployment configuration library for IOHK devops

Apache-2.0000

iterations-leak

Language:Haskell000

haskell-challenges

Code challenges to solve with Haskell

Language:HaskellMIT000

flat

Principled and efficient binary serialization

BSD-3-Clause000

monad-var

Generic operations over variables

Language:Haskell300

Generic

A library for doing generic programming in Agda

Language:AgdaMIT2800

inference-in-agda

A tutorial on how Agda infers things

Language:HTML3100

agda-stdlib

The Agda standard library

Language:AgdaNOASSERTION000

agda-html-to-md

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

Language:HaskellBSD-3-Clause200

git-undo-el

A command for Emacs to regress or "undo" a region back through its Git history

000

proto-tt

Language:Agda600

zkbec

Language:Haskell000

Cubes

A dependently typed type checker for a TT with intervals

Language:Agda2000

plutus-core-semantics

Language:OCamlNOASSERTION000

STLC

Dependently typed Algorithm M and friends

Language:Agda2500

universum

:milky_way: Prelude used in @Serokell

Language:HaskellMIT000

req-blowup

Language:Haskell100

prefolds

Composable monadic short-circuiting streaming folds

Language:HaskellBSD-3-Clause1900