glguy/LensTalk glguy/LensTalk

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    Haskell
  • Created almost 12 years ago
  • Updated almost 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
glguy/LensTalk
github

glguy

Reviews

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

Repository Details

Introductory lens presentation

More Repositories

1

irc-core

Haskell IRC library and console client - Join us on libera.chat #glirc
Haskell
157
star
2

utf8-string

Support for reading and writing UTF8 Strings in Haskell
Haskell
45
star
3

advent2019

Advent of Code 2019 solutions
Haskell
43
star
4

advent2018

Advent of Code 2018 Solutions
Haskell
37
star
5

advent

Advent of Code complete solution archive and common library
Haskell
35
star
6

advent2017

Advent of Code 2017 solutions
Haskell
27
star
7

toml-parser

Haskell parser and printer for the TOML 1.0.0 file format
Haskell
23
star
8

generic-traverse

Demonstration for how to build "traverse" using GHC.Generics efficiently
Haskell
22
star
9

TwosGame

Haskell
21
star
10

th-abstraction

Uniform interface to reified data type information via Template Haskell
Haskell
20
star
11

config-value

Simple, layout-based, unambiguous configuration language implemented in Haskell
Haskell
17
star
12

advent2020

Advent of Code 2020 Haskell Solutions
Haskell
16
star
13

Ninjas

Haskell game where multiple players attempt to blend in with computer controlled characters while being first to visit the key locations on the board.
Haskell
15
star
14

advent2021

Haskell solutions for https://adventofcode.com/2021/
Haskell
14
star
15

hpaste

A pastebin written in Haskell
Haskell
14
star
16

ssh-hans

Haskell
12
star
17

advent2016

Haskell
11
star
18

advent2015

Haskell
11
star
19

tries

Haskell
11
star
20

intcode

Intocode interpreter for Advent of Code 2019
Haskell
9
star
21

GhcPkgUtils

Utilities for keeping up to date with hackage
Haskell
9
star
22

minecraft-proxy

Minecraft protocol proxy
Haskell
9
star
23

5puzzle

Puzzle solutions by encoding to SAT with Ersatz
Haskell
7
star
24

config-schema

Self-documenting, combinator constructed configuration schemas
Haskell
7
star
25

operations

Exploration of an object encoding for Haskell
Haskell
6
star
26

breadth-first-parser-combinators

Haskell
6
star
27

prettyprinter-vty

Prettyprinter backend for VTY
Haskell
5
star
28

sat-for-games

SAT tutorial exercise code
Haskell
5
star
29

TripleGame

Haskell
4
star
30

config-app

Interactive configuration in GHCJS
HTML
4
star
31

punionfind

Persistent Disjoint set operation supporting the union/find operations in Haskell
Haskell
4
star
32

ord

An exploration of a variant of ordinals in Agda
Agda
4
star
33

type-open-syntax-demo

Demonstration of building models of expression languages with highly-typed, open recursion patterns
Haskell
4
star
34

example-embedded-haskell

Haskell
3
star
35

hm

Implementation of Hindley-Milner type checking as an exercise in using the unification-fd package
Haskell
3
star
36

my-agda-lib

Agda
3
star
37

algorithmic-heights

Haskell
3
star
38

AddParens

Teaching tool for Haskell that adds parentheses and explicit layout to an expression
Haskell
3
star
39

kami-solver

Haskell
2
star
40

CookieCalculator

C
2
star
41

lift-nary-operator

Use GHC.Generics to lift operators to work pointwise over product types
Haskell
2
star
42

RefreshLog

Haskell
2
star
43

wordle

Haskell
2
star
44

s5s

SOCKS 5 proxy server
Haskell
2
star
45

PdxTrackRouter

Bukkit plugin to support automatic junctions based on player's destination preference
Java
2
star
46

how-to-call-c

Haskell
2
star
47

set-game

Haskell, vty-based clone of the popular card game
Haskell
2
star
48

tt-ratings

Implementation of David J. Marcus' "New table tennis rating system"
JavaScript
2
star
49

linux-capabilities

Haskell-binding to the linux capabilities (libcap) library
Haskell
1
star
50

synacor-vm

C
1
star
51

quarto

Console-based implementation of Quarto board game
Haskell
1
star
52

networked-game

Haskell
1
star
53

PdxExplorers

A bukkit plug-in which allows users to configure multi-waypoint routes, track completion, and issue rewards
Java
1
star
54

sysyb

Use GHC.Generics without using it!
Haskell
1
star
55

circular-slide-rule

Haskell
1
star
56

Bombs

Haskell
1
star
57

smartlua

Lua
1
star
58

irc0

Haskell
1
star
59

animated-dangerzone

Haskell
1
star
60

Yinsh

Clone of the Yinsh board game
Haskell
1
star
61

vty-hangman-helper

Console-based application to assist in solving Hanging With Friends puzzles
Haskell
1
star
62

newttrs

Implementation of the New Table Tennis Rating System
Haskell
1
star
63

sticks

Exploration solving a little wooden puzzle
Haskell
1
star
64

simple-spreadsheet-tools

Simple text-based spreadsheet tools
Haskell
1
star
65

vty-samegame

Console-based Haskell implementation of Same Game
Haskell
1
star
66

lens-th

Haskell
1
star
67

snowcone

IRCd server notice console
C++
1
star