dcolish/Cockerel dcolish/Cockerel

  • Stars
    star
    25
  • Rank 936,100 (Top 19 %)
  • Language
    Python
  • License
    Other
  • Created about 14 years ago
  • Updated over 12 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dcolish/Cockerel
github

dcolish

Reviews

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

Repository Details

An Online Logic Assistant Based on Coq

More Repositories

1

flask-markdown

Markdown jinja2 extension for Flask
Python
199
star
2

purely-fun

Purely Functional Data Structures
Haskell
34
star
3

fusionsql

Python client for Fusion Tables
Python
7
star
4

BusinessCat

Taking care of business!
6
star
5

cmdflow

Shell like syntax for Popen
Python
3
star
6

Refugee

A Simple Migration Tool
Python
3
star
7

Presentations

Various Presentations I've given
C
3
star
8

bin-extras

Making shell life better
Python
2
star
9

PyMET

Python lib for working with the Trimet APIs
Python
2
star
10

BLITZ

BLITZ Kernel Simulator
C++
2
star
11

github-scraper

Scrape messages from Github Commits
JavaScript
2
star
12

imgurder

Imgur uploader written in haskell
Haskell
2
star
13

Snoctxt

Prepend text to a file
C
2
star
14

AtomicPy

Atomic Primitives for Python
C
2
star
15

work

A stupid simple time tracker.
Python
2
star
16

Flowfox

Send to your Flowdock team inbox from Firefox
JavaScript
2
star
17

osxscripts

ScriptingBridge Scripts for OSX
Ruby
1
star
18

ruby-fun

derping around
Ruby
1
star
19

PyFSA

Python Libraries and Samples of Finite State Automata
Python
1
star
20

euler

My project euler solutions
Haskell
1
star
21

salt-sprint-toolkit

Basics of what you might want for hacking on salt
Ruby
1
star
22

hotpocket

It will destroy your mouth
1
star
23

lua-hero

experiments in heroku deployments
Shell
1
star