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

You Might Also Like

Employee monitoring software with screenshots

Clear visibility and insights into how employees work. Even remotely

Our computer monitoring software allows employees, field contractors, and freelancers to manually clock in when they begin working on an assignment. The application will take screenshots randomly or at set intervals, which allows employers to observe the work process. The application only tracks activity when the employee is clocked in. No spying, only transparency.

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