Discover gelisam/strongly-typed-bound Open Source project

Stars
9
Rank 1,882,776 (Top 39 %)
Language
Haskell
Created over 9 years ago
Updated over 9 years ago

gelisam

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

My version of Kmett's "strongly typed bound for acowley" snippet.

frp-zoo

Comparing many FRP implementations by reimplementing the same toy app in each.

Haskell

487

hawk

Haskell text processor for the command-line

Haskell

356

git-slides

Text-based slides using vim and git.

Shell

152

klister

an implementation of stuck macros

Haskell

122

category-syntax

do-notation for Category and "Arrow without arr"

Haskell

typelevel-rewrite-rules

rewrite rules for type-level equalities

Haskell

linear-examples

Example uses of linear types

Haskell

n-ary-functor

A single typeclass for Functor, Bifunctor, Trifunctor, etc.

Haskell

conway

Demonstrating comonad transformers.

Haskell

hyzzy

A framework for defining text adventures via Haskell files. Play by combining functions, not by guessing phrases.

Haskell

ludum-dare-31

The theme for LD31 was "Entire Game on One Screen"

Haskell

magic-typelevel-elem

Demonstrating how to make type families faster using typechecker plugins

Haskell

cabal-rangefinder

A tool to fill in the version ranges in a cabal file.

Haskell

mastering-haskell

The slides for my Packt course, "Mastering Haskell".

Shell

commutative

Using Haskell's type system to guarantee commutativity.

Haskell

laughable

Clowns to the left of me, jokers to the right

Haskell

surjective

An output coverage checker

Haskell

deploy-hint

Demonstrating that you don't need to install ghc in order to use the hint library.

Haskell

circular-sig

a twelf-like type-checker supporting recursive signatures

Haskell

giggles-is-you

A reimplementation of Baba is You in Haskell, for our weekly haskell-beginners presentations.

Haskell

objc2java

Convert pure ObjectiveC code to pure Java code, libraries be damned.

Haskell

ludum-dare-35

The theme for LD35 was: "shapeshift"

Elm

nominalize

Generate types using type-generic programming, retaining control over the names of the constructors and the fields.

Haskell

image-watcher

Display an image and update it when the file changes

Haskell

ludum-dare-34

The themes for LD34 were: "two button controls" and "growing"

JavaScript

apecs-hint-demo

demonstrating how to use hint to dynamically modify the game world of an apecs-based game

Haskell

slides

A place to host my git-slides presentations

stm-variants

The STM API we know and love, but useable in more circumstances

Haskell

dot-utils

A set of small command-line tools for transforming GraphViz dot-files

Haskell

k-playground

for implementing toy languages using the K Framework

Haskell

acme-circular-containers

Spineless containers which are fast to read but inefficient to update

Haskell

jira-dependencies

from JIRA's .csv export to graphviz's dot format

Haskell

tarjan

an agda implementation of Tarjan's strongly connected components algorithm

Agda

chopt-test-task

Haskell

worldly

based on Conor McBride's "Worldly Type Systems" talk

Haskell

ludum-dare-44

The theme for LD44 was "Your life is currency"

Rust

agda-playground

a series of ambitious experiments in the functional language / proof assistant Agda.

Vim Script

transliterator

Haskell

premonoidal

Agda encoding of premonoidal categories

Agda

submake

Use git to replay part of a bash pipeline.

Haskell

directed-graph-ui

A tool for creating directed graphs.

JavaScript

queues

Compare the performance of a few Haskell queue implementations.

Haskell

ice-cream-privacy

Haskell

rerec

Haskell

hs-promote

C++-style type promotion for Haskell's numeric hierarchy

Haskell

reactive-banana-anti-tutorial

companion code for my blog post

Haskell

hint-demo

Haskell

trie-based-frp

An implementation of higher-order FRP based on shared tries instead of unsafePerformIO.

Haskell

glut-events

For writing GLUT's main loop in the style of Haskell's main function.

Haskell

acme-tiny-rules

a parody of Tiny Glade with inference rules instead of castles

Haskell

relocation-bug

Haskell

raml

contravariant-case

An API for Divisible and Decidable which looks like pattern-matching.

Haskell

ludum-dare-42

The theme for LD42 was "Running out of Space"

TypeScript

adicity

A DSL in which composition and application are unified.

Haskell

stack-bug

A demonstration of a bug which doesn't fit in a gist because it requires directories.

Haskell

free-premonoidal

Haskell

existentials

A type-level DSL for placing existential constraints on some arguments of a type constructor

Haskell

haskell-code-explorer-bug

a minimal repro

Haskell

croportunity-cost

A game about clicking and not clicking on plants.

Elm

ludum-dare-43

Haskell

timesheet

Simple text-based time tracking

Haskell

pure-framework-chat

Haskell

tic-tac-top

The AI for a tiny board game I invented.

Haskell

face-down

Haskell

install-before-test

How to configure project.cabal so that tests are run after the install.

Haskell

memento

Write a Virtual DOM for anything!

Haskell

dotfiles

My default setup, including config files and shell scripts.

Python

gif-browser

a tiny application for browsing through the frames of an animated gif.

Haskell

lens-syntax

Pointful syntax for optic compositions

Haskell

typechecker-combinators

Haskell

gelisam/strongly-typed-bound

gelisam

Reviews

Repository Details

More Repositories