dcolish/Cockerel dcolish/Cockerel

  • Stars
    star
    25
  • Rank 957,573 (Top 19 %)
  • Language
    Python
  • License
    Other
  • Created over 14 years ago
  • Updated almost 13 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

AtomicPy

Atomic Primitives for Python
C
3
star
6

cmdflow

Shell like syntax for Popen
Python
3
star
7

Refugee

A Simple Migration Tool
Python
3
star
8

Presentations

Various Presentations I've given
C
3
star
9

bin-extras

Making shell life better
Python
2
star
10

PyMET

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

BLITZ

BLITZ Kernel Simulator
C++
2
star
12

github-scraper

Scrape messages from Github Commits
JavaScript
2
star
13

imgurder

Imgur uploader written in haskell
Haskell
2
star
14

Snoctxt

Prepend text to a file
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