Discover gelisam/typelevel-rewrite-rules Open Source project

Stars
62
Rank 490,914 (Top 10 %)
Language
Haskell
Created almost 5 years ago
Updated 7 months ago

gelisam

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

rewrite rules for type-level equalities

frp-zoo

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

Haskell

490

hawk

Haskell text processor for the command-line

Haskell

361

git-slides

Text-based slides using vim and git.

Shell

152

klister

an implementation of stuck macros

Haskell

129

category-syntax

do-notation for Category and "Arrow without arr"

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

typechecker-combinators

Haskell

laughable

Clowns to the left of me, jokers to the right

Haskell

deploy-hint

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

Haskell

surjective

An output coverage checker

Haskell

giggles-is-you

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

Haskell

strongly-typed-bound

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

Haskell

circular-sig

a twelf-like type-checker supporting recursive signatures

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

acme-tiny-rules

a parody of Tiny Glade with inference rules instead of castles

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

ice-cream-privacy

Haskell

rerec

Haskell

hs-promote

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

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

reactive-banana-anti-tutorial

companion code for my blog post

Haskell

queues

Compare the performance of a few Haskell queue implementations.

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

gelisam/typelevel-rewrite-rules

gelisam

Reviews

Repository Details

More Repositories