• Stars
    star
    24
  • Rank 986,245 (Top 20 %)
  • Language
    Python
  • License
    Other
  • Created almost 13 years ago
  • Updated almost 13 years ago

Reviews

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

Repository Details

A simple recipe for Bottle.py + Twitter Bootstrap + Heroku

More Repositories

1

analyze

making data science easy and safe with data frames in haskell
Haskell
27
star
2

overeasy

A purely functional E-Graph library
Haskell
9
star
3

polyendtracker-formats

Collaborative documentation of the file formats used by the Polyend Tracker
8
star
4

blanks

Fill-in-the-blanks - A library factoring out substitution from ASTs
Haskell
6
star
5

scrapti

Utility to convert Polyend Tracker PTI files (WIP)
Haskell
5
star
6

minipat

Music pattern language + live coding environment
Haskell
5
star
7

notate

An easy workflow for IHaskell notebooks using intero.
Haskell
4
star
8

climb

Building blocks for a GHCi-like REPL with colon-commands
Haskell
4
star
9

tactique

A proof search and construction framework (based on refinery)
Haskell
4
star
10

exathunk

A typed-AST-over-RPC framework for distributed purely-functional programming
Java
3
star
11

yapyotr

yet another python binding for Off-the-Record (OTR) Messaging
Python
3
star
12

infernal

The Infernal Machine - An AWS Lambda Custom Runtime for Haskell
Haskell
3
star
13

iwantaride

A demo for a ride-sharing website build at Techraising Spring 2012
Python
3
star
14

little-rio

When you need just the RIO monad
Haskell
3
star
15

knowledge_games

A chess engine
Python
2
star
16

dcpy

DCPU-16 utils (parser, assembler, disassembler) for Python
Python
2
star
17

Wecolage

A social pasting engine
Python
2
star
18

thunkjs

Experiments with JSON Schema
Python
2
star
19

sascheme

Still Another Scheme
Python
2
star
20

cppeuler

Some Project Euler solutions in C++
C++
2
star
21

jquery_scrollbox

A scrolling plugin for jQuery
JavaScript
2
star
22

Wecolage_Django

Wecolage for Django
Python
2
star
23

jthrift

The start of a port of the Thrift IDL parser + code generator to Java
C++
2
star
24

dahdit

Binary parsing and serialization with integrated size
Haskell
2
star
25

hyper-eval

Haskell
1
star
26

docker-idris-custom

Shell
1
star
27

biosignals

Course project for CPSC 554X
Jupyter Notebook
1
star
28

uniter

A generic first-order unification library using union-maps
Haskell
1
star
29

parabuf

1
star
30

ltlspec

Haskell
1
star
31

jsubschema

A dialect of JSON-Schema together with utilities for code-generation, validation, and more.
Java
1
star
32

looksee

A simple text parser with decent errors
Haskell
1
star
33

lyric

An abstract machine for the Verse language
Haskell
1
star
34

idr-package-set

1
star
35

s2ihaskell

Builds containers for Haskell programs using s2i and Stack
Makefile
1
star
36

simple-parser

Simple parser combinators
Haskell
1
star
37

aeson-via

Wrappers to derive-via Aeson ToJSON/FromJSON typeclasses
Haskell
1
star
38

midriff

a WIP midi library for haskell
Haskell
1
star
39

farce

Exploring schema-based REST API definitions by implementing Parse.com's API
Java
1
star
40

dxedrine

Haskell
1
star
41

bowtie

Tying knots in functors
Haskell
1
star
42

haskell-rtaudio

Haskell wrapper for RtAudio, the lightweight, cross-platform Audio I/O library.
C++
1
star