background preloader

Panther - based on Scratch - Home

Panther - based on Scratch - Home

Related:  P

πVC: The Pi Verifying Compiler Accompanies The Calculus of Computation: Decision Procedures with Applications to Verification Home | Download | Tutorial | Pi Programs | Book A verifying compiler compiles specified programs, which contain normal program text and additional text specifying desired properties of the program. A verifying compiler attempts to prove that the specified properties hold for all possible inputs to the program. For example, a partially specified implementation of Bubble Sort, BubbleSort.pi, contains the typical implementation and a specification that the returned array is sorted.

Corona SDK BasicBuild your games or apps in record time and start monetizing with in-app purchases or ads.BUY $16/monthProPro adds advanced graphics, all Corona Plugins, analytics and much more.BUY $49/monthEnterpriseCall any native library (C++/Objective-C/Java) from your Corona app and do offline builds.CONTACT US Download Corona and you are automatically a Corona SDK Starter. You can build and publish your apps for free.Upgrade to Basic, Pro or Enterprise when you are ready for more functionality. Do you have existing apps?

Waterbear is Like Scratch, but for JavaScript Unlike Scratch, you can view the code generated by Waterbear. Elza's vision for the project is much like that of Alan Kay's vision for Squeak and the ideas in the book Mindstorms by Seymour Papert. Elza hopes it can be used in programming books and courses to allow learners to explore code in a more immersive environment, or enable individuals to become "casual programmers." He uses his own kids as examples. His 10 year old son learned Scratch and has moved on to more advanced programming. Kodu Kodu is a new visual programming language made specifically for creating games. It is designed to be accessible for children and enjoyable for anyone. The programming environment runs on the Xbox, allowing rapid design iteration using only a game controller for input. Programming as a Creative Medium The core of the Kodu project is the programming user interface. The language is simple and entirely icon-based.

Practical Programming Language: reliable code and software developer productivity What is PPL? PPL is a programming language specifically designed from the ground up to help writing more reliable code in less time. Why should I possibly be interested in PPL? Tools Intel® XDK HTML5 development environment - develop, emulate, test-on-device and build apps Download Today Intel® XDK a HTML5 cross-platform solution enables developers to write web and hybrid apps once, and deploy across many app stores and form factor devices. Easy-to-use: Streamlined workflow from design to app storeDevelop faster: Integrated design, test, and build toolsDeploy simply: Across more app stores, and form factors Intel XDK is available as a free download for Windows* 7 & 8 , Apple OS X*, and Ubuntu* Linux*

Designing A Website For Your Class Lesson Plans and Teacher Timesavers - Huge Collection - Instant Lessons View Collection Need Tons of New Worksheets? - 50,000+ printables - Save Time! View Now... PRISM: PRogramming In Statistical Modeling Contents Introduction — What is PRISM? (For theoretical details of PRISM and our recent research, see prism-intro.pdf [411KB], which is a compilation of past slides.) PRISM is a general programming language intended for symbolic-statistical modeling. It is a new and unprecedented programming language with learning ability for statistical parameters embedded in programs. Its programming system, shortly called “PRISM system” here, is a powerful tool for building complex statistical models.

iWebKit: The free iPhone webapp and website framework.SnippetSpace iWebKit is a file package designed to help you create your own iPhone, iPod Touch and iPad compatible website or webapp. The kit is accessible to anyone even people with little html knowledge and is simple to understand thanks to the included user guide. In a couple of minutes you will have created a professional looking mobile website. iWebKit is the framework of choice because it is very easy to use, loads extremely fast, is compatible with all devices & extendable. It is simple html that anyone can edit contrary to some other solutions that use a lot of javascript & Ajax. Simplicity is the key! What is new in V5.04

EDUsummIT 2011: moving education into the digital age Some 120 prominent stakeholders are expected from the EDUsummIT community who are committed to examining the impact of evidence and dissemination strategies on future ICT policies and practices globally. They will report on the impact of UNESCO programmes in ICT in education which served as the basis for the first EDUsummIT conference in 2009 and led to a Call to Action on the Future of ICT in Education. Building on the outcomes of EDUsummIT 2009, the 2011 conference also aims to refine national, international and regional models for the use of ICT in 21st-century education and develop strategies to build a global community in the field of ICT in Education. pdScript - Precision software & consulting pdScript (Precision Delphi Script) is a standalone executable interpreter of Pascal Script language, with a native support for graphical user interface. pdScript interpreter allows you to execute your scripts directly from Windows environment, from the command-line or via dynamically linked interpreter embedded into your application. You can also build a standalone executable applications from your scripts, including an optional encryption of the code. pdScript IDE (Precision Delphi Script IDE) is a development environment for writing the code and designing the forms (GUI) in a Pascal Script language. pdScript IDE can also be used as a standalone editor of scripts, that are designed for any product that relies on "RemObjects Pascal Script engine" (its use is not limited to pdScript interpreter).

AppGyver Fully native capabilities Create complex logic, extend with JavaScript Integrate APIs in minutes Live preview, painless distribution