RyanGlScott/levitation RyanGlScott/levitation

  • Stars
    star
    8
  • Rank 2,099,232 (Top 42 %)
  • Language Idris
  • Created almost 8 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
RyanGlScott/levitation
github

RyanGlScott

Reviews

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

Repository Details

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

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

BluetoothTest

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

text-show-instances

Additional instances for text-show
Haskell
6
star
10

proxied

Make functions consume Proxy instead of undefined
Haskell
6
star
11

mintty

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

keycode

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

hermit-bluetooth

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

lift-generics

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

cabal-gh5423

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

submods-to-source-repos

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

cabal-sdist-bug

Haskell
1
star
18

ghc-t16935

A minimal reproduction of GHC #16935
Haskell
1
star
19

singleton-gadts

SingKind instances for GADTs
Haskell
1
star
20

ci-maintenance

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

cabal-gh4253

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

ghc-t16211-t16234

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

cabal-gh5213

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

hmatrix-segfault

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

constraint-tuples

Partially applicable constraint tuples
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