pcapriotti/agda-categories pcapriotti/agda-categories

  • This repository has been archived on 19/Nov/2023
  • Stars
    star
    27
  • Rank 904,134 (Top 18 %)
  • Language Agda
  • Created about 11 years ago
  • Updated about 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pcapriotti/agda-categories
github

pcapriotti

Reviews

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

Repository Details

Category theory and algebra

More Repositories

1

optparse-applicative

Applicative option parser
Haskell
911
star
2

agda-base

Base library for HoTT in Agda
Agda
36
star
3

hott-exercises

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

github-trac

Trac plugin for github integration
Python
19
star
5

pipes-core

Compositional pipelines
Haskell
19
star
6

pledger

Command line accounting tool and python library
Python
14
star
7

kaya

KDE Board Game Suite
Ruby
12
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