An Online Logic Assistant Based on Coq
☆25Feb 15, 2012Updated 14 years ago
Alternatives and similar repositories for Cockerel
Users that are interested in Cockerel are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Code for Get Python 3 site☆21Jul 11, 2011Updated 14 years ago
- A mini-site for checking Google's Gmail feed with Oauth.☆29Aug 10, 2010Updated 15 years ago
- Just a micro blog☆23Jul 23, 2015Updated 10 years ago
- My homepage☆31Aug 4, 2010Updated 15 years ago
- Scripts and scripts you can use to quickly launch and build ec2 instances.☆30May 16, 2011Updated 14 years ago
- The Brighton and Hove Python User Group website☆27Oct 1, 2020Updated 5 years ago
- Asyncmongo-ORM is a object-relation mapping for asyncmongo☆27May 7, 2012Updated 13 years ago
- Secure key management service for middle-box decryption of TLS traffic☆16Sep 4, 2024Updated last year
- ☆20Jul 14, 2014Updated 11 years ago
- Minimalistic wrapper around the Apache HTTPClient adding Shibboleth support☆16Aug 31, 2015Updated 10 years ago
- A simple API for CouchSurfing.org☆31Dec 19, 2016Updated 9 years ago
- Code Kick Off lets you choose and integrate technologies like HTML5 boilerplate, Compass, different CSS grid frameworks & Wordpress, to s…☆16Jul 9, 2011Updated 14 years ago
- ☆39Jul 31, 2013Updated 12 years ago
- metrics driven development☆10Feb 8, 2026Updated last month
- Sourcecode for the bf3 developer news aggregator.☆82Aug 31, 2011Updated 14 years ago
- The Popular Silk Icon Package in CSS Sprite form to improve peformance and ease of use☆84Oct 6, 2008Updated 17 years ago
- qq python lib.☆28Sep 18, 2015Updated 10 years ago
- Drag a file from your computer to any text field to upload and add link☆83Feb 28, 2011Updated 15 years ago
- A sessions library for Tornado using AsyncMongo☆30Mar 11, 2012Updated 14 years ago
- LEGACY REPOSITORY: latest work located @☆56May 31, 2015Updated 10 years ago
- Quickly uploads an image/audio combination to Youtube☆27Jun 10, 2018Updated 7 years ago
- Open-source implementation of the NSI protocol with support for different backends☆13Jan 20, 2025Updated last year
- Discussion Summarization is the process of condensing a text document which is a collection of discussion threads, using CBS (Cluster Bas…☆12Apr 10, 2014Updated 11 years ago
- This repo contains the code to reproduce the experimental results of https://arxiv.org/abs/1803.02596☆14Jul 7, 2018Updated 7 years ago
- ALE (Auckland Layout Editor)☆13Aug 28, 2025Updated 6 months ago
- CoffeeScript WSGI Middleware☆22May 3, 2011Updated 14 years ago
- A Flask skeleton for Apache/mod_wsgi deployment and many other goodies☆180Oct 18, 2019Updated 6 years ago
- A simplified JSON Schema☆19Sep 24, 2011Updated 14 years ago
- A way to limit git repos by ssh☆34Oct 18, 2011Updated 14 years ago
- A blogging platform written in Rust for Cloudflare Workers, integrated with Standard Notes☆20Mar 2, 2026Updated 3 weeks ago
- A powerful, generic tool designed to provide the perfect solution for constructing and invoking clean architecture use cases in Python.☆11Jan 30, 2024Updated 2 years ago
- OUTDATED VERSION collective consciousness fiction generator☆44Dec 1, 2014Updated 11 years ago
- Open platform for Network as a Service resources.☆37Jul 8, 2022Updated 3 years ago
- A bookmarking site using appengine and tornado (with delicious import feature)☆93Dec 24, 2010Updated 15 years ago
- Unity SDK for Azure Mobile Engagement☆13Mar 28, 2023Updated 2 years ago
- Dashboard for tracking real-life cards on a real-life Kanban board(s)☆31Jul 8, 2022Updated 3 years ago
- Automatic browser refresh on file change or update is what you can call it. NodeJuice is a set of tools which allows you to develop with…☆78Sep 7, 2012Updated 13 years ago
- A community opinionated template for deploying Kubernetes clusters on-prem and in AWS using Pulumi, SOPS, Sealed Secrets, GitHub Actions,…☆17Sep 17, 2025Updated 6 months ago
- Ruby CLI for InfluxDB☆31Jun 28, 2021Updated 4 years ago