RyanGlScott/constraint-tuples RyanGlScott/constraint-tuples

  • Stars
    star
    1
  • Language
    Haskell
  • License
    BSD 3-Clause "New...
  • Created about 5 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
RyanGlScott/constraint-tuples
github

RyanGlScott

Reviews

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

Repository Details

Partially applicable constraint tuples

More Repositories

1

ghc-software-foundations

The Software Foundations book, in GHC
Haskell
80
star
2

text-show

Efficient conversion of values into Text
Haskell
38
star
3

eliminators

Dependently typed elimination functions using singletons
Haskell
27
star
4

th-lift

Derive Template Haskell's Lift class for datatypes.
Haskell
14
star
5

gists

The greatest hits of https://gist.github.com/RyanGlScott
Haskell
11
star
6

echo

A cross-platform, cross-console way to handle echoing terminal input
Haskell
10
star
7

code-page

Windows code page library for Haskell
Haskell
10
star
8

levitation

Following along with the paper "The Practical Guide to Levitation" by Ahmad Salim Al-Sibahi
Idris
8
star
9

BluetoothTest

A proof of concept demonstrating that and Android app and a BlueCove server can communicate with each other.
Java
7
star
10

text-show-instances

Additional instances for text-show
Haskell
6
star
11

proxied

Make functions consume Proxy instead of undefined
Haskell
6
star
12

mintty

A reliable way to detect the presence of a MinTTY console on Windows
Haskell
4
star
13

keycode

Maps web browser keycodes to their corresponding keyboard keys
Haskell
4
star
14

hermit-bluetooth

An attempt to make Haskell, Android, and Bluetooth have a group conversation.
Haskell
4
star
15

lift-generics

GHC.Generics-based Language.Haskell.TH.Syntax.lift implementation
Haskell
4
star
16

cabal-gh5423

A minimal reproduction of Cabal bug #5423
Haskell
2
star
17

submods-to-source-repos

Convert a submodule-using cabal.project file to one that uses source-repository-packages
Haskell
2
star
18

cabal-sdist-bug

Haskell
1
star
19

ghc-t16935

A minimal reproduction of GHC #16935
Haskell
1
star
20

singleton-gadts

SingKind instances for GADTs
Haskell
1
star
21

ci-maintenance

Miscellaneous hacks I use to maintain projects with .travis.yml scripts.
Haskell
1
star
22

cabal-gh4253

A minimal example that showcases Cabal bug #4253
Haskell
1
star
23

ghc-t16211-t16234

A minimal way to reproduce the bugs observed in GHC #16211 and #16234
Haskell
1
star
24

cabal-gh5213

A minimal reproduction of Cabal bug #5213
Haskell
1
star
25

hmatrix-segfault

A Windows-only, GHCi-only segfault discovered in an hmatrix example. Hoo boy.
Haskell
1
star
26

cabal-project-parser

Haskell
1
star
27

cabal-gh5164

A minimal reproduction of Cabal bug #5164
Haskell
1
star
28

nfa2dfa

Conversion of automata via subset construction
Haskell
1
star
29

cabal-optional-project-bug

cabal.project's optional-packages are too eager
Haskell
1
star
30

ghc-plugin-test

Testing out GHC's plugin feature
Haskell
1
star
31

Canway

Conway's Game of Life implemented with blank-canvas
Haskell
1
star
32

lr0-item-set

Constructs the set of LR(0) items from a DCFG
Haskell
1
star
33

ghc-t11084

A minimal example of GHC Trac #11084
Haskell
1
star
34

cabal-gh4367

Is this cabal issue 4367?
Haskell
1
star
35

RyanGlScott.github.io

SCSS
1
star
36

vigenere

A Vigenère cipher encrypter/decrypter in Haskell
Haskell
1
star