Built something? We create video reels & spotlights for GitHub projects.Promote your project →
Home / Developers / dagit
Developer Profile

dagit

Discovered public repositories for dagit in the GitHub catalog.

↗

dagit/haskell-ordnub

Data.List.nub is O(n²). This one is O(n log n) by requiring an Ord instance.

↗

dagit/1GAM

My public attempts at the one game a month challenge

↗

dagit/lambdabot

A friendly IRC bot and apprentice coder, written in Haskell.

↗

dagit/agda

Agda is a dependently typed programming language. This is a clone of the Agda darcs repo that can be found at http://code.haskell.org/Agda.

↗

dagit/cabal

Official upstream development repository for Cabal and cabal-install

↗

dagit/cabal-dev

A wrapper program around cabal and cabal-install that maintains sandboxed build environments.

↗

dagit/lin-alg

Haskell library for low-dimensional linear algebra, especially graphics and physics numeric calculations

↗

dagit/zenc

GHC's Core name mangling (Z-Encoding)

↗

dagit/boab

boab, obstensibly a b-tree, is a Haskell B+ tree implementation.

FOR MAINTAINERS

Built something? Put it in front of millions of developers.

We make a short reel about your project and post it across YouTube, Instagram, Threads, and X. Send a link, we do the rest.