midori programming language 1.0

Publisher: Midori-pl Date added: 08 April, 2013
License: Freeware Size: 11.7 MB

Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.

Description:

Programming language based off pure type systems, and COQ. Currently aimed at both systems, and application programming. Has a simple syntax, and (planned) C integration.easily re-hostable to a new machine/osC code intergration (via libFFI) (eventually)simple, clean, and consistent sytaxeasy extension of syntaxuses libGMPfast

midori programming language 1.0 - Post Your Review
 * 
 * 
     
 * 
Related Scripts

C# Programming Language Future Features is an article which gives you some explanation about the four new features that will be introduced in C#. These features are generics, iterators, anonymous methods, and partial types. An iterator is a language

The EnergyMech is a fully functional IRC bot, written entirely in the C programming language. It has common features such as userlists, shitlists, channel protection, DCC partyline, botnet and lots more.

Sims Car in Graphics code introduces you to graphics in C/C and enhance the level of knowledge in this programming language.

Eleven is a programming language for creating reliable, scalable web applications.

RPy is a very simple, yet robust, Python interface to the R Programming Language. It can manage all kinds of R objects and can execute arbitrary R functions (including the graphic functions).

Guido van Robot, or GvR for short, is a programming language and free software application designed to introduce beginners to the fundamentals of programming. GvR runs on Windows, Macintosh, and GNU/Linux, in a variety of languages!

X* is a powerful, extensible programming language that is using an Extensible Entity approach (A very enhanced OOP). I've been programming for the past 10 years with dozens of Programming Languages from different Paradigms... I wanted more.

Quorum is a programming language designed in empirical studies with humans to be intuitive and easy to use.

Very high level modular programming language with multiple dispatch, object-oriented programming, functional closures and goal-directed programming.

EAMPL Programming Language new programming language for Computing

Ktopsy is an educational compilation tool. Ktopsy is an educational compilation tool. Its purpose is to teach how a compiler and an interpreter work. Each step of compilation process is separated (lexical analysis, syntaxical analysis and object code generation).

One of the requirements of current Semantic Web applications is to deal with heterogenous data. One of the requirements of current Semantic Web applications is to deal with heterogenous data. Data represented and stored using the Extensible Markup Language (XML) is almost ubiquitous and is the standard for data exchange.

Related Software

Cedalion is a programming language, different from any programming language you've encountered before. Cedalion is a programming language, different from any programming language you've encountered before.

Midori features full integration with GTK+2, fast rendering with WebKit, tabs, windows, and session management, flexibly configurable Web Search, user scripts and user styles support, straightforward bookmark management, customizable and extensible i Midori features full integration with GTK+2, fast rendering with WebKit, tabs, windows, and session management, flexibly configurable Web Search, user scripts and user styles support, straightforward bookmark management, customizable and extensible i

DALEKTRON is written in a programming language called Smalltalk. DALEKTRON is written in a programming language called Smalltalk. Some of you may have heard of this language before but most of you probably have not.

BOLT Programming was built to be a simple and accessible programming language. BOLT Programming was built to be a simple and accessible programming language.

Logo is an interactive programming language for adventurers of all ages. Logo is an interactive programming language for adventurers of all ages.

Visual Prolog is a multi paradigm programming language based on a logical language Prolog. Visual Prolog is a multi paradigm programming language based on a logical language Prolog. The goal of Visual Prolog is to support industrial strength programming of complex knowledge emphasized problems.

PathLP, that actually refers to a path oriented logic programming language is a new programming language that you can use. PathLP, that actually refers to a path oriented logic programming language is a new programming language that you can use.PathLP is a logic programming language of guarded path expressions.

The World Programming System (WPS) has at its core a computer language interpreter that can interpret some of the language of SAS. The World Programming System (WPS) has at its core a computer language interpreter that can interpret some of the language of SAS.

Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler. Logtalk is an object-oriented logic programming language that can use most Prolog implementations as a back-end compiler.

Bulk-Synchronous GPU Programming Compiler  This is a compiler for the Bulk-Synchronous GPU Programming (BSGP) language. Bulk-Synchronous GPU Programming Compiler This is a compiler for the Bulk-Synchronous GPU Programming (BSGP) language. BSGP is a new language for general-purpose computation on a graphics processing unit (GPU).