RyanGlScott/nfa2dfa RyanGlScott/nfa2dfa

  • Stars
    star
    1
  • Language
    Haskell
  • License
    GNU General Publi...
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
RyanGlScott/nfa2dfa
github

RyanGlScott

Reviews

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

Repository Details

Conversion of automata via subset construction

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

constraint-tuples

Partially applicable constraint tuples
Haskell
1
star
27

cabal-project-parser

Haskell
1
star
28

cabal-gh5164

A minimal reproduction of Cabal bug #5164
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