Citrine Programming Language. Coconut Programming Language. Home · ainfosec/crema Wiki. Céu: The Programming Language. Crystal. Codename One - Reinventing Mobile Development (mobile app development mobile application development) CakeML. Cinderella. News · Blog · Gallery · Download · Flyer (3.3 MB, PDF) · Indra's Pearls · MatheVital If you love somebody… on: Tue 17 of Sep, 2013 [18:51 UTC] Experience Geometry on your desktop and on the web Easily create startling geometric constructions!
Starting from simple triangle relations, continuing with trigonometric theorems up to fractals and transformation groups Cinderella lets you create and manipulate visualizations in an intuitive, yet powerful way. Using Java® technologies, constructions are seamlessly exported to the WWW. Use simulations for virtual laboratories Freely experiment with masses, springs, charges and fields! Expand to your needs. Documentation : CindyScript. OPEN SPHiNX C. CHR - Constraint Handling Rules. CHR 2014 Workshop On July 18th 2014, the 11th International Workshop on CHR will take place in Vienna, Austria.
The workshop is affiliated with ICLP and RTA, as a part of FLoC 2014 and the Vienna Summer of Logic. More information. Cool. A Truly Integrated Functional Logic Language [CurryWiki] A Truly Integrated Functional Logic Language Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely functional programming and logic programming.
Moreover, it also covers the most important operational principles developed in the area of integrated functional logic languages: “residuation” and “narrowing”. Code Monster from Crunchzilla. <h2>Code Monster gets kids excited about programming.
Chipmunk Basic presents a vintage traditional command-line console programming environment, and supports a very simple old-fashioned and easy-to-learn Basic Programming Language syntax (But line numbers are not required in Basic programs written using an external editor.) The Chipmunk Basic language also supports a few more advanced extensions. Free for educational and personal use. Downloads Chipmunk Basic for Mac OS X - (version 3.6.6b0 for Mac OS X 10.6 thru 10.8 (Mountain Lion), 2012Apr) (Includes a stand-alone application and a Terminal command-line binary.) Documentation The Old Fashioned Chipmunk Basic Reference Manual (or a pdf) Quick Reference for the Mac OS specific commands Old (1996) notes on some experimental Object Oriented extensions Some nicely HTML formatted General Documentation for Chipmunk Basic , contributed by Jim DeVona.
General Information. WinCUPL. Get Started We'll tell you all you need to know to start evaluating and working with this product.
Complete, easy-to-use design software for all Atmel SPLDs and CPLDs. It is supported on Windows98, WindowsNT, Windows2000, and WindowsXP platforms. It supports CUPL design entry, functional simulation, and includes the latest filter technologies. FIT5_0.ZIP Atmel WinCUPL Fitter File-Logic Doubling Versions Note: If you are currently using FIT5_0.Zip prior to rev 220.127.116.11 with Atmel WinCUPL version 5.2.16 this file is all you need to update. Paulhodge/circa. Converge. Compile-Time Meta-Programming (CTMP) can be thought of as being a more powerful cousin of macros; formally, it is said to allow the user of a programming language a mechanism to interact with the compiler.
Most commonly CTMP is used to allow the construction of arbitrary program fragments by user code. In essence Converge provides a mechanism to allow its concrete syntax to describe abstract syntax trees - conventionally called ITree's in Converge - which can then be then spliced into a source file. First examples As a first example, consider this program which, at compile-time, computes the 30th entry in the Fibonacci sequence (computationally, a fairly expensive operation) and assigns it to the fib30 variable:
Dafny: A language and program verifier for functional correctness. The Dafny programming language is designed to support the static verification of programs.
It is imperative, sequential, supports generic classes, dynamic allocation, and inductive datatypes, and builds in specification constructs. The specifications include pre- and postconditions, frame specifications (read and write sets), and termination metrics. To further support specifications, the language also offers updatable ghost variables, recursive functions, and types like sets and sequences. Specifications and ghost constructs are used only during verification; the compiler omits them from the executable code. The Dafny verifier is run as part of the compiler. The easiest way to try out Dafny is in your web browser at rise4fun. The Dafny verifier is powered by Boogie and Z3.
Catrobat. Combinatory Logic Interpreter with Arithmetical Combinator Basis. Version 1.1 $Id: oame-cl.html,v 1.8 2009/11/15 04:55:49 bediger Exp $ Bruce Ediger This document describes how to build and use cl-arith v1.1. cl-arith interprets a programming language with a lot of similarities to "Combinatory Logic" (CL) formal systems with a basis set of O, A,M, E combinators, or a basis set of A, M,E, N combinators.
It doesn't exactly interpret any "Combinatory Logic" in that it runs on computers with finite CPU speed and a finite memory. Most or all formal systems fail to take these limits into account. Another page documents the design and implementation of an earlier version of a combinatory logic interpreter, one that has a different set of built-in primitives. After building the interpreter's executable, you can start it from the command line: Crack-language - The Crack Programming Language. Crack aims to provide the ease of development of a scripting language with the performance of a compiled language.
The "crack" program is a "script executor" that compiles source to machine code on the fly (it will eventually cache the code to intermediate formats as appropriate). It can also compile a script to a native binary. The crack language itself derives concepts from C++, Java and Python, incorporating object-oriented programming, operator overloading and strong typing.
Crack is still evolving. For minor version changes there is currently no guarantee of compatibility between versions, this situation will change when we get to 1.0, at which point backwards compatibility will be guaranteed until the next major version change. Crack is released under the Mozilla Public License, version 2.0 News. Cosmos. Converge. Cinch Programming Language.
CHIPL. Chime Programming Language - About. Ceylon: Welcome to Ceylon. Cell. Cobalt Blue Programming Language - Home. Casanova Language - Home. The Cobra Programming Language. ITK. CodeWorker: a parsing tool and a source code generator. The Ciao System. Claire : a language for optimization. CafeOBJ Official Page. Archives of the Caml Mailing list: Camlot 0.6. The Casbah Project. The goal of the Casbah Project is to build an open source application framework to enable the development of cool applications. NEWS We've released Casbah-0.1.1, the first public release of the Casbah Web application framework. You can download it from one of the mirrors, or read the Release Notes for 0.1.1. Please send feedback, bug reports, feature requests, etc. to the Core Developers mailing list. Casbah's Lightweight Distributed Objects (LDO) protocol has been updated and is being carefully separated from Casbah so that it can be used independently. If you're interested in contributing to Casbah, join the Developers or Users mailing list.
Casbah is designed to be We chose the name ``Casbah'' to reflect the fact that we employ the Bazaar development model , in the tradition of Linux, Apache, Perl, and others. Do you want diagrams and screenshots? The Choon Programming Language. Copyright © Stephen Sykes, 2002. Choon is an esoteric programming language. Its special features are: Output is in the form of music - a wav file in the reference interpreter There are no variables or alterable storage as such It is Turing complete. Chipmunk Basic Home Page. CocoaBasic. Welcome to DSITRI (Dr. Schaller IT Research Initiative) - a research initiative for promoting information technology.
It is operated as a network of interested developers and contributors. DSITRI stands for innovation and creativity in research as well as solid, reliable and trustworthy German craftsmanship in software development focussed on MacOS X and Linux. It is the policy of DSITRI to let potential users and customers participate and comment as early as in the alpha releases of software through our [Forum].
You are cordially invited to have a look at the current Projects our Partner [Shop]. Finally, we would like our visitors and anybody else concerned to know that there have been several "UCE/SPAM" incidents involving our domain, dsitri.de, and we are in no way responsible for these mails. CMake - Cross Platform Make. CSL - About. C Scripting Language (CSL) is a powerful and easy PROGRAMMING LANGUAGE available for Windows, OS/2 and Unixish systems.
CSL follows the C syntax very closely and programmers used to C, C++ and Java will immediately be familiar with it. CSL is used like an interpreter: You write the program with your favorite editor and run it directly like any shell script. More than that, the CSL scripting engine can be integrated into your own applications as a macro language. Cruise-Project. Home. Cucumber - Making BDD fun. The Centum Programming Language. CL: Programming Language and Proof Assistant. What is CL? CL (Clausal Language) is a declarative programming language with the look and feel of a modern functional programming language.
CL identifies the domain of symbolic expressions of LISP with the domain of natural numbers. Functions and predicates of CL are recursive functions and predicates over natural numbers. The coding comfort of LISP is achieved with the help of a pairing function. CLI toolkit - How to quickly implement a command line interface.
Conscript: embeddable scripting engine for .NET. Cython: C-Extensions for Python. Church Wiki. Church is a probabilistic programming language designed for expressive description of generative models (Goodman, Mansinghka, Roy, Bonawitz and Tenenbaum, 2008). Church is a derivative of the programming language Scheme with probabilistic semantics. This website serves as a portal to work related to Church, tutorials, reference implementations and a repository of probabilistic models expressed in Church. Interactive tutorials Perhaps the best way to grasp the Church (and more broadly, probabilistic programming) idiom is to work through a tutorial.
Academic publications The original Church paper and the work that it has inspired are part of several much larger trends that span cognitive science, theoretical computer science, probability, and statistics. Home. B advanced / Home / Home. CVM-Forth - Browse Files. Cx Compiler - Browse Files. The C5 Programming Language Home Page. ChucK => Strongly-timed, On-the-fly Audio Programming Language. Coherence home page. Comeau Computing. The Caml language: Home. The Coq Proof Assistant. Cc65 - a freeware C compiler for 6502 based systems. The Ciao System. The Colm Programming Language. Copper. [ Info | Downloads | Documentation | License | Trouble Shooting | Bugzilla site | Google Code site ] Cibyl - Cibyl is a programming environment and binary translator that allows compiled C programs to execute on J2ME-capable phones. Cat - cat-language - The Cat wiki home page. - The Cat Programming Language Project.
My favorites ▼ | Sign in Project Home Downloads Wiki Issues Source. Ctalk - The Ctalk Programming Language Archives. CrocoPat: A Tool for Simple and Efficient Relational Computation. Simon Fraser University (SFU), CanadaEcole Polytechnique Fédérale de Lausanne (EPFL), Switzerland University of California at Berkeley, USA Brandenburg University of Technology at Cottbus, Germany Objectives Relational programmingCrocoPat manipulates relations of any arity, including graphs (which are binary relations).
Cvmforth - Forth compiler for the Compiled Virtual Machine. Chasm-asm - A CHIP-8 pseudo-assembler. Citrix - A simple programming language. Collapsej - A new programming language, based on Quantum Computing, Aspect and Feature-Oriented Programming. Clojure - home. Circa - Introduction. Clay Programming Language. Why Clay? Clay is concise. If you've written generic programs with C++ templates, you know how verbose it is. This is because type names are longer in generic code. Clay solves this problem elegantly by providing whole program type propagation.
Clever programming language. Www.c-lambda.se. The Comma Project. CYBOP. Cim. The Cobra Programming Language. The Color Transformation Language. Free Development software downloads. Clean. Crack-language - The Crack Programming Language. Crack aims to provide the ease of development of a scripting language with the performance of a compiled language. The "crack" program is a "script executor" that compiles source to machine code on the fly (it will eventually cache the code to intermediate formats as appropriate). It can also compile a script to a native binary.
The crack language itself derives concepts from C++, Java and Python, incorporating object-oriented programming, operator overloading and strong typing. Crack is still evolving. For minor version changes there is currently no guarantee of compatibility between versions, this situation will change when we get to 1.0, at which point backwards compatibility will be guaranteed until the next major version change. Start [Crules] Cowlark.com. The Croc Programming Language. CDuce: CDuce. Cobalt Blue Programming Language.
Casanova Language. C$ Programming Language. Ceres programming language - Browse Files. CIL (C Intermediate Language) Cheshire - Neural networks programming language.