Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 29.542.241 Times

cockerel dev 1.0

Company: Dan Colish
Date Added: August 20, 2013  |  Visits: 262

cockerel dev

Report Broken Link
Printer Friendly Version


Product Homepage
Download (16 downloads)



cockerel is a lesson planner and prover for math classes.<br /><br />Requires you have Coq 8.2pl1 or higher installed.<br /><br /><br />Cockerel is a web based interactive mathematical lesson planner. It allows instructors to create mathematical lesson plans using wiki markup and then assign these to students.<br /><br />This code base will be extremely unstable over the summer. If you plan on using it send me a message.<br /><br />Instructions for Installing<br /><br />If you would like to run this software you must have Coq >= 8.2pl1 installed. Please see the Coq site for installation details; http://coq.inria.fr<br /><br />You must also have Python >= 2.6.5 installed on your system. Please see the project documentation for installation details; http://www.python.org/download<br /><br />Once you have satisified these dependencies, you can continue with installation. I strongly recommend using the virtualenv project for managing the python namespace. Assuming you have a project python install with setuptools, you can create a new virutalenv around the project directory to install into. This can be done with:<br /><br /> virutalenv some_env_path<br /> . some_env_path/bin/activate<br /> easy_install cockerel<br /><br />To start Cockerel run<br /><br /> cockerel<br /><br />To start Coqd run<br /><br /> coqd<br /><br />The Cockerel webpage will be at http://localhost:5000 by default

Requirements: No special requirements
Platforms: *nix, Linux
Keyword: 82pl1 Assuming Cockerel Cockerel Dev Cockerelto Create Details Dev Higher Install Installation Installed Lesson Mathematical Planner Project Python Start Virutalenv
Users rating: 0/10

License: Freeware Size: 10.24 KB
USER REVIEWS
More Reviews or Write Review


COCKEREL DEV RELATED
Business  -  Heaven Sent Image 1.00
My name is Roz . I am based in West Yorkshire and specialise in Weddings and Portraits. I will create an album that tells the story of your wedding day from start to finish. Since your wedding is one of the most important days of your...
30.2 MB  
Productivity  -  Contact2Send 1.2.0.0
This application helps you to send Contact details for one choosen Contact. When you find right person from start page, select any details that you want to send by sms (message) or by email. You can send Contact's details such as phone numbers,...
1024 KB  
Audio Recorders  -  Screen Video Recorder 1.3
Screen Video Recorder allows you to record all screen or part of the screen and audio activity on your computer and create standard AVI video files using installed codecs. It's free! Some ways you can use this software: Record web cams...
513.36 KB  
Card Games  -  Yukon Solitaire 1.0
Yukon Solitaire is a solitaire card game similar to Spider Solitaire. Played with one deck and four suits, the object of the card game yukon solitaire is to create four stacks of same-suited cards. Each stack of cards must start with a king, and...
2.44 MB  
Finance  -  Tomahawk Gold 4.5.1
Tomahawk Gold will give you a full word processing application which enables you to edit and create PDF files without Adobe software installed on your computer. Distribute your documents in the universal PDF format with ease. Tomahawk can be used...
 
Communication Tools  -  iPhone Configuration Utility 3.4.0.283
iPhone Configuration Utility (iPCU) lets you easily create, maintain, encrypt, and install configuration profiles, track and install provisioning profiles and authorized applications, and capture device information including console logs....
31.7 MB  
Programming  -  interssection 0.1.0
Python lib that lets you treat Atom and RSS feeds like sets. interssection provides Feed class that reads feeds from string (either URL or XML) and supports all frozenset methods apart from copy() and __contains__(elem). You can change...
10.24 KB  
Utilities  -  EverEasy! 1.8
EverEasy is a simple and easy-to-use to-do app.You can create some different projects and context. Tasks will sort by project or context. ? KEY FEATURES 1.Context:Sort tasks by context. 2.Project:Sort tasks by project. 3.Log:Show...
2.2 MB  
Libraries  -  Linux::net::dev 1.00
Linux::net::dev is a Perl extension for parsing /proc/net/dev. SYNOPSIS use Linux::net::dev; my $devs = Linux::net::dev::info(); print "Devices (bytes read):n"; foreach (keys %$devs) { print " $_ ($devs->{$_}->{rbytes})n"; }...
6.14 KB  
Development Editors  -  Noostr 0.6-1005.11.120
Noostr is a social news platform, similar in function to sites like Reddit and Hacker News. Using the Noostr platform, you can create your own social news site in less than 5 minutes (possibly even under 2 minutes). Installation
71.68 KB  
NEW DOWNLOADS IN LINUX SOFTWARE, NETWORK & INTERNET
Linux Software  -  Polling Autodialer Software 3.4
ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....
488 B  
Linux Software  -  Total Video Converter Mac Free 3.5.5
Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...
17.7 MB  
Linux Software  -  Skeith mod_log_sql Analyzer 2.10beta2
Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.
47.5 KB  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
Network & Internet  -  Free WiFi Hotspot 3.3.1
Free WiFi Hotspot is a super easy solution to turn your laptop or notebook into a portable Wi-Fi hotspot, wirelessly sharing your internet connections like DSL, Cable, Bluetooth, Mobile Broadband Card, Dial-Up, etc. through the built-in wireless...
1.04 MB  
Network & Internet  -  Easy Uploads 1.8
Easy uploads is a file storage media streaming application designed by Filestreamers that allows you to upload, store, and stream your files from their virtually unlimited file storage server. Easy Uploads can backup,share, and stream your files...
615.97 KB  
Network & Internet  -  IPv6 CARE 3.2b
IPv6 CARE, "IPv6 Compliant Automatic Runtime Environment", is a Linux tool able to patch ipv6-agnostic programs on-the-fly ('patch' mode). It can also generate a diagnosis about the IPv6 compliance of an application ('check' mode).
409.6 KB  
Network & Internet  -  PacketFence ZEN 3.1.0
PacketFence is a fully supported, trusted, Free and Open Source network access control (NAC) system. Boosting an impressive feature set including a captive-portal for registration and remediation, centralized wired and wireless management, 802.1X...
1024 MB  
Network & Internet  -  django-dbstorage 1.3
A Django file storage backend for files in the database.
10.24 KB