pcapriotti/hott-exercises pcapriotti/hott-exercises

  • Stars
    star
    22
  • Rank 1,046,928 (Top 21 %)
  • Language Agda
  • Created about 11 years ago
  • Updated almost 8 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pcapriotti/hott-exercises
github

pcapriotti

Reviews

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

Repository Details

Solutions of the exercises of the HoTT book

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

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