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 15 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- 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 14 years ago
- Secure key management service for middle-box decryption of TLS traffic☆17Jun 12, 2026Updated 3 weeks ago
- ☆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☆11May 17, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- 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☆29Mar 11, 2012Updated 14 years ago
- LEGACY REPOSITORY: latest work located @☆56May 31, 2015Updated 11 years ago
- Quickly uploads an image/audio combination to Youtube☆27Jun 10, 2018Updated 8 years ago
- Open-source implementation of the NSI protocol with support for different backends☆14Jan 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 12 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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 10 months ago
- CoffeeScript WSGI Middleware☆22May 3, 2011Updated 15 years ago
- A Flask skeleton for Apache/mod_wsgi deployment and many other goodies☆179Oct 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☆21Apr 8, 2026Updated 2 months ago
- A powerful, generic tool designed to provide the perfect solution for constructing and invoking clean architecture use cases in Python.☆12Jan 30, 2024Updated 2 years ago
- OUTDATED VERSION collective consciousness fiction generator☆43Dec 1, 2014Updated 11 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 3 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 9 months ago
- Ruby CLI for InfluxDB☆31Jun 28, 2021Updated 5 years ago