Skip to content
View zenzike's full-sized avatar

Highlights

  • Pro

Organizations

@hdbc @haskell-distributed

Block or report zenzike

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A Really Cool Calculator written in Haskell... or is it?

Haskell 45 1 Updated Aug 26, 2021

An introductory course to Homotopy Type Theory

Agda 376 29 Updated Jul 24, 2020

Emacs minor mode to automatically reload interactive haskell sessions

Emacs Lisp 2 1 Updated Nov 21, 2020

A fast, flexible, fused effect system for Haskell

Haskell 667 52 Updated Mar 27, 2026

A simple combinator library

Haskell 30 Updated Nov 5, 2018

Suggesting substitutions that don't quite fit.

10 Updated Sep 28, 2018

A comparison of how computational effects and handlers are implemented in various programming languages.

Shell 146 9 Updated Mar 29, 2019

Demonstration for how to build "traverse" using GHC.Generics efficiently

Haskell 22 2 Updated Oct 11, 2018

Generically derive traversals, lenses, and prisms.

Haskell 441 56 Updated Aug 27, 2025

Lokaltog's home repo. Contains emacs config files and various local config files (for git, fish, bspwm, etc.)

Emacs Lisp 86 1 Updated May 30, 2016

A proxy using Haskell to control starcraft using BWAPI

Haskell 7 1 Updated Sep 5, 2014

Haskell bindings to the LLVM compiler infrastructure project.

Haskell 2 1 Updated Aug 4, 2013

The missing package manager for OS X.

Ruby 1 Updated Jul 4, 2012

A community-driven framework for managing your zsh configuration. Includes 40+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, macports, etc), over 80 terminal themes to spice up you…

Shell 1 Updated Feb 18, 2014
Vim Script 1 2 Updated Mar 18, 2014
Haskell 1 Updated Feb 13, 2012
Vim Script 2 Updated Dec 31, 2011

Cloud Haskell core libraries

Haskell 741 98 Updated Mar 7, 2026

HDBC performance measuring

Haskell 1 2 Updated Dec 15, 2013

An HDBC extension for the Snap framework (ODBC implementation)

Haskell 1 Updated May 14, 2011

An HDBC extension for the Snap framework (PostgreSQL implementation)

Haskell 2 1 Updated May 14, 2011

An HDBC extension for the Snap framework (Sqlite3 implementation)

Haskell 5 1 Updated May 14, 2011

An HDBC extension for the Snap framework

Haskell 8 2 Updated May 14, 2011

Haskell bindings to GLUT

Haskell 61 15 Updated Jul 24, 2025

Mirror of the Glasgow Haskell Compiler. Please submit issues and patches to GHC's Gitlab instance (https://gitlab.haskell.org/ghc/ghc). First time contributors are encouraged to get started with th…

Haskell 3,227 730 Updated Mar 29, 2026

XML parser and renderer with HTML 5 quirks mode

Haskell 22 22 Updated Jul 4, 2024

Hexpat renderer for blaze-html

Haskell 6 1 Updated May 11, 2011

Haskell highlighting syntax for GNU Source-highlight

JavaScript 1 Updated Oct 14, 2012

Dotfiles

Perl 210 194 Updated Aug 8, 2020

A dark scheme for vim

Vim Script 1 Updated Aug 14, 2012
Next