pcapriotti/kaya pcapriotti/kaya

  • This repository has been archived on 19/Nov/2023
  • Stars
    star
    12
  • Rank 1,594,549 (Top 32 %)
  • Language
    Ruby
  • License
    GNU General Publi...
  • Created over 15 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pcapriotti/kaya
github

pcapriotti

Reviews

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

Repository Details

KDE Board Game Suite

More Repositories

1

optparse-applicative

Applicative option parser
Haskell
911
star
2

agda-base

Base library for HoTT in Agda
Agda
36
star
3

agda-categories

Category theory and algebra
Agda
27
star
4

hott-exercises

Solutions of the exercises of the HoTT book
Agda
22
star
5

github-trac

Trac plugin for github integration
Python
19
star
6

pipes-core

Compositional pipelines
Haskell
19
star
7

pledger

Command line accounting tool and python library
Python
14
star
8

pipes-extra

Pipe utilities
Haskell
9
star
9

rui

GUI abstraction library for ruby
Ruby
5
star
10

skema

Command line template expansion tool
Ruby
4
star
11

qr

QR encoder library
Haskell
4
star
12

pipes-network

Pipe utilities to deal with sockets.
Haskell
3
star
13

pipes-attoparsec

Utilities to convert a parser into a pipe
Haskell
2
star
14

pipes-zlib

Pipes to deal with zipped data
Haskell
2
star
15

scheme

Toy scheme compiler
Python
2
star
16

pipes-conduit

Conduit adapters for pipes
Haskell
2
star
17

iron

A 2048 clone
Rust
1
star
18

hikki

Minimalistic Note-taking Tool
C
1
star
19

dbus-qq

Haskell quasi-quoter for DBus functions
Haskell
1
star