pcapriotti/scheme pcapriotti/scheme

  • Stars
    star
    2
  • Language
    Python
  • Created over 3 years ago
  • Updated over 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
pcapriotti/scheme
github

pcapriotti

Reviews

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

Repository Details

Toy scheme compiler

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

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

pipes-conduit

Conduit adapters for pipes
Haskell
2
star
16

iron

A 2048 clone
Rust
1
star
17

hikki

Minimalistic Note-taking Tool
C
1
star
18

dbus-qq

Haskell quasi-quoter for DBus functions
Haskell
1
star