yav/haskell-lexer

A fully compliant Haskell 98 lexer.

Language: Haskell - Size: 55.7 KB - Last synced: 19 days ago - Pushed: about 1 month ago - Stars: 15 - Forks: 6

yav/graphmod

A utility for displaying the module dependencies of Haskell programs.

Language: Haskell - Size: 536 KB - Last synced: 19 days ago - Pushed: over 1 year ago - Stars: 177 - Forks: 30

yav/cdg

Language: Haskell - Size: 8.79 KB - Last synced: 4 months ago - Pushed: 4 months ago - Stars: 0 - Forks: 0

yav/yann

Language: Haskell - Size: 19.5 KB - Last synced: 5 months ago - Pushed: 5 months ago - Stars: 0 - Forks: 0

yav/MageKnight

Language: Haskell - Size: 292 MB - Last synced: 3 months ago - Pushed: 3 months ago - Stars: 4 - Forks: 0

yav/web-games

Language: Haskell - Size: 62.7 MB - Last synced: 9 months ago - Pushed: 9 months ago - Stars: 1 - Forks: 0

yav/pretty-show

Tools for working with derived Show instances in Haskell.

Language: Haskell - Size: 256 KB - Last synced: 19 days ago - Pushed: over 1 year ago - Stars: 56 - Forks: 15

yav/KOI

Common code for interactive browser based games

Language: Haskell - Size: 69.3 KB - Last synced: about 2 months ago - Pushed: 2 months ago - Stars: 0 - Forks: 0

yav/GraphSCC

Tarjan's algorithm for computing strongly connected components

Language: Haskell - Size: 62.5 KB - Last synced: about 1 year ago - Pushed: almost 11 years ago - Stars: 5 - Forks: 2

yav/presburger

Decision procedures for Presburger arithmetic in Haskell

Language: Haskell - Size: 1.99 MB - Last synced: 19 days ago - Pushed: over 3 years ago - Stars: 29 - Forks: 8

yav/1d-chess

Language: HTML - Size: 5.86 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 0 - Forks: 0

yav/advent_of_code

Language: Haskell - Size: 161 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 2 - Forks: 0

yav/monadlib

A monad transformer library for Haskell

Language: Haskell - Size: 280 KB - Last synced: about 1 year ago - Pushed: about 2 years ago - Stars: 29 - Forks: 5

yav/arlington-pdf-model Fork of pdf-association/arlington-pdf-model

A vendor- and implementation-independent specification-derived, machine-readable model of PDF.

Language: C - Size: 86.6 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 0 - Forks: 0

yav/dump-core

Language: Haskell - Size: 313 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 43 - Forks: 9

yav/games

Language: Haskell - Size: 40.9 MB - Last synced: about 1 year ago - Pushed: almost 2 years ago - Stars: 4 - Forks: 3

yav/simple-get-opt

A simple library for processing command-line options to Haskell programs.

Language: Haskell - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 1 - Forks: 1

yav/type-nat-solver

A plugin for solving numeric constraints in GHC's type-checker

Language: Haskell - Size: 759 KB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 50 - Forks: 4

yav/zen

Language: Haskell - Size: 37.1 KB - Last synced: about 1 year ago - Pushed: over 2 years ago - Stars: 0 - Forks: 1

yav/simple-smt

Language: Haskell - Size: 49.8 KB - Last synced: about 1 year ago - Pushed: over 1 year ago - Stars: 17 - Forks: 19

yav/songs

Language: HTML - Size: 4.6 MB - Last synced: about 2 months ago - Pushed: about 2 months ago - Stars: 0 - Forks: 0

yav/url

A URL package for Haskell

Language: Haskell - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: almost 3 years ago - Stars: 13 - Forks: 6

yav/happy Fork of haskell/happy

The Happy parser generator for Haskell

Language: Haskell - Size: 1.73 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

yav/sbv

Symbolic Bit Vectors in Haskell. Express properties about bit-precise Haskell programs and automatically prove them using SMT solvers.

Language: Haskell - Size: 6.03 MB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 4 - Forks: 43

yav/bytestring Fork of haskell/bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

Language: Haskell - Size: 12 MB - Last synced: about 1 year ago - Pushed: almost 7 years ago - Stars: 1 - Forks: 0

yav/yav.github.com

Language: HTML - Size: 7.54 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

yav/hansa_teutonica

Language: Lua - Size: 50.3 MB - Last synced: about 1 year ago - Pushed: about 3 years ago - Stars: 1 - Forks: 0

yav/panic

A Haskell library for reporting unexpected behavior.

Language: Haskell - Size: 4.88 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 3 - Forks: 1

yav/alsa-haskell

Haskell bindings to the ALSA libray

Language: Haskell - Size: 156 KB - Last synced: about 1 year ago - Pushed: about 15 years ago - Stars: 5 - Forks: 0

yav/elf

Haskell library for parsing ELF object files

Language: Haskell - Size: 255 KB - Last synced: about 1 year ago - Pushed: over 13 years ago - Stars: 5 - Forks: 8

yav/wable

Language: Haskell - Size: 21.5 KB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

yav/quebec

Language: Lua - Size: 17.6 KB - Last synced: about 1 year ago - Pushed: almost 4 years ago - Stars: 0 - Forks: 0

yav/hs-search

Size: 0 Bytes - Last synced: about 1 year ago - Pushed: about 4 years ago - Stars: 0 - Forks: 0

yav/haskell-vim Fork of neovimhaskell/haskell-vim

Custom Haskell Vimscripts

Size: 223 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

yav/smtLib

Haskell datatypes for generating SMTLIB files.

Language: Haskell - Size: 865 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 11 - Forks: 5

yav/deck-builder

Deck builder!

Language: Haskell - Size: 113 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

yav/hp2html

View GHC profile files as HTML

Language: JavaScript - Size: 1.16 MB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 6 - Forks: 1

yav/bgg

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 0

yav/HM

Language: Haskell - Size: 20.5 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0

yav/misc

Miscellaneous files

Language: Haskell - Size: 9.77 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 1 - Forks: 0

yav/vector-graphics

Language: Haskell - Size: 34.2 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

yav/LL

Language: Haskell - Size: 13.7 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 2 - Forks: 0

yav/constraint_solver

Language: Haskell - Size: 220 KB - Last synced: about 1 year ago - Pushed: about 8 years ago - Stars: 2 - Forks: 0

yav/RNN

Language: Haskell - Size: 2.93 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

yav/lang

Language: Haskell - Size: 0 Bytes - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

yav/Lagoon

Language: Haskell - Size: 97.7 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

yav/wp

Language: Haskell - Size: 113 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

yav/cabal-mon

Monitor parallel Cabal builds

Language: Haskell - Size: 11.7 KB - Last synced: about 1 year ago - Pushed: almost 8 years ago - Stars: 1 - Forks: 1

yav/hsview

A tool for viewing Haskell source code

Language: Haskell - Size: 195 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 1 - Forks: 0

yav/mascarade

An implementation of the card game

Language: Haskell - Size: 215 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 1 - Forks: 0

yav/sequent-core

A GHC plugin framework for optimizations using sequent calculus style AST

Language: Haskell - Size: 116 KB - Last synced: about 1 year ago - Pushed: over 9 years ago - Stars: 2 - Forks: 4

yav/haskore-vintage

An old version of the Haskore library

Language: Haskell - Size: 469 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 5 - Forks: 1

yav/math-defender

Language: Haskell - Size: 246 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

yav/allegro

A binding to the Allegro game library

Language: Haskell - Size: 4.26 MB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 1 - Forks: 0

yav/linear-zendo

An implementation of `zendo` using linear-arithmetic

Language: Haskell - Size: 152 KB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 1 - Forks: 0

yav/module-98

An implementation of the Haskell 98 module system.

Language: Haskell - Size: 26.4 KB - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 1 - Forks: 2

yav/tc-solver

Language: Haskell - Size: 719 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 4 - Forks: 1

yav/memory-arrays

An example of using type-level naturals for safe array manipulation.

Language: Haskell - Size: 558 KB - Last synced: about 1 year ago - Pushed: about 13 years ago - Stars: 3 - Forks: 0

yav/hobbit

The old hobbit compiler

Language: Haskell - Size: 282 KB - Last synced: about 1 year ago - Pushed: over 13 years ago - Stars: 6 - Forks: 2

yav/colorize-haskell

Highligt Haskell source

Language: Haskell - Size: 5.86 KB - Last synced: 19 days ago - Pushed: about 1 year ago - Stars: 2 - Forks: 2

yav/hm-types

Tools for constructing "Hindley-Milner + qualified types + kinds" based type systems.

Language: Haskell - Size: 66.4 KB - Last synced: about 1 year ago - Pushed: about 7 years ago - Stars: 4 - Forks: 0

yav/parsimony

Haskell parser combinators derived from Parsec

Language: Haskell - Size: 523 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 3 - Forks: 0

yav/value-supply

A Haskell library for generating new names without threading state.

Language: Haskell - Size: 709 KB - Last synced: about 1 year ago - Pushed: about 13 years ago - Stars: 6 - Forks: 1

yav/haskell-zipper

A Haskell datastructure for working with locations in trees or forests.

Language: Haskell - Size: 16.6 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 14 - Forks: 1

yav/mini-sat

A Haskell implementation of a simple SAT solver

Language: Haskell - Size: 532 KB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 2 - Forks: 0

yav/alex Fork of haskell/alex

A lexical analyser generator for Haskell

Language: Haskell - Size: 655 KB - Last synced: about 1 year ago - Pushed: almost 5 years ago - Stars: 0 - Forks: 0

yav/sand-box

Size: 0 Bytes - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 1 - Forks: 0

yav/monadic-language-talk

Language: JavaScript - Size: 2.64 MB - Last synced: about 1 year ago - Pushed: about 5 years ago - Stars: 0 - Forks: 0

yav/arduino-test

Language: C++ - Size: 43.9 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

yav/llvm-pretty Fork of elliottt/llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding

Language: Haskell - Size: 274 KB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 1 - Forks: 0

yav/mystery_mansion

Size: 4.06 MB - Last synced: about 1 year ago - Pushed: about 6 years ago - Stars: 0 - Forks: 0

yav/ghc Fork of ghc/ghc

Mirror of the Glasgow Haskell Compiler. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected]). First time contributors are encouraged to get started by just sending a Pull Request.

Language: Haskell - Size: 175 MB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

yav/language-lua Fork of glguy/language-lua

Lua parser and pretty-printer

Language: Lua - Size: 530 KB - Last synced: about 1 year ago - Pushed: over 6 years ago - Stars: 0 - Forks: 0

yav/ghc-proposals Fork of ghc-proposals/ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Size: 75.2 KB - Last synced: about 1 year ago - Pushed: over 5 years ago - Stars: 0 - Forks: 0

yav/rfcs Fork of haskell/rfcs

Discussion about proposed changes to the Haskell programming language

Size: 14.6 KB - Last synced: about 1 year ago - Pushed: over 7 years ago - Stars: 1 - Forks: 0

yav/hashtables Fork of gregorycollins/hashtables

Mutable hash tables for Haskell, in the ST monad

Language: Haskell - Size: 181 KB - Last synced: about 1 year ago - Pushed: over 8 years ago - Stars: 0 - Forks: 0

yav/satisfaction Fork of travitch/satisfaction

A DPLL SAT solver written in Haskell

Language: Haskell - Size: 613 KB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

yav/config-lang Fork of glguy/config-value

Language: Logos - Size: 127 KB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

yav/tries Fork of glguy/tries

Language: Haskell - Size: 239 KB - Last synced: about 1 year ago - Pushed: about 9 years ago - Stars: 0 - Forks: 0

yav/port-audio-play

A library for simple and portable playing of sounds

Language: C - Size: 105 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

yav/tcod-raw Fork of elliottt/tcod-raw

Raw bindings to libtcod

Language: C - Size: 1.73 MB - Last synced: about 1 year ago - Pushed: over 10 years ago - Stars: 0 - Forks: 0

yav/curl Fork of GaloisInc/curl

A Haskell binding to the curl library

Language: Shell - Size: 121 KB - Last synced: about 1 year ago - Pushed: about 12 years ago - Stars: 0 - Forks: 0

yav/Yinsh Fork of glguy/Yinsh

Clone of the Yinsh board game

Language: Haskell - Size: 247 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

yav/Ninjas Fork of glguy/Ninjas

Language: Haskell - Size: 699 KB - Last synced: about 1 year ago - Pushed: over 11 years ago - Stars: 0 - Forks: 0

yav/HollingBerries Fork of apauley/HollingBerries

A fictional scenario implemented in multiple languages in order to compare language paradigms.

Language: Erlang - Size: 127 KB - Last synced: about 1 year ago - Pushed: almost 12 years ago - Stars: 1 - Forks: 0

yav/sprites Fork of elliottt/sprites

Haskell Sprite Library

Language: Haskell - Size: 250 KB - Last synced: about 1 year ago - Pushed: almost 14 years ago - Stars: 1 - Forks: 1

yav/clutter Fork of elliottt/clutter

Haskell bindings to the clutter library

Language: Haskell - Size: 175 KB - Last synced: about 1 year ago - Pushed: over 14 years ago - Stars: 1 - Forks: 1