midori programming language download

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.

Features

easily re-hostable to a new machine/os
C code intergration (via libFFI) (eventually)
simple, clean, and consistent sytax
easy extension of syntax
uses libGMP
fast

Project Activity

See All Activity >

License

BSD License

Follow midori programming language

midori programming language Web Site

Other Useful Business Software

Control remote support software for remote workers and IT teams

Raise the bar for remote support and reduce customer downtime.

ConnectWise ScreenConnect, formerly ConnectWise Control, is a remote support solution for Managed Service Providers (MSP), Value Added Resellers (VAR), internal IT teams, and managed security providers. Fast, reliable, secure, and simple to use, ConnectWise ScreenConnect helps businesses solve their customers' issues faster from any location. The platform features remote support, remote access, remote meeting, customization, and integrations with leading business tools.

Learn More

Rate This Project

User Reviews

Be the first to post a review of midori programming language!

Additional Project Details

Languages

English

Intended Audience

Manufacturing, Advanced End Users, Developers, Other Audience, Testers, Engineering

User Interface

Console/Terminal, Command-line

Programming Language

Haskell

Related Categories

Haskell Compilers, Haskell Interpreters, Haskell Cross Compilers, Haskell Programming Languages

Registered

2011-07-30

Similar Business Software

Cython

Cython is an optimizing static compiler for both the Python programming language and the extended Cython programming language (based on Pyrex). It makes writing C extensions for Python as easy as Python itself. Cython gives you the combined power of Python and C to let you write Python code that...

See Software
Fortran

Fortran has been designed from the ground up for computationally intensive applications in science and engineering. Mature and battle-tested compilers and libraries allow you to write code that runs close to the metal, fast. Fortran is statically and strongly typed, which allows the compiler to...

See Software
Apache Groovy

Apache Groovy is a powerful, optionally typed and dynamic language, with static-typing and static compilation capabilities, for the Java platform aimed at improving developer productivity thanks to a concise, familiar and easy to learn syntax. It integrates smoothly with any Java program, and...

See Software